Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Radoslav Ivanov"
download as .bib file
@article{DBLP:journals/corr/abs-2302-09656,
author = {Michele Caprio and
Souradeep Dutta and
Kuk Jin Jang and
Vivian Lin and
Radoslav Ivanov and
Oleg Sokolsky and
Insup Lee},
title = {Imprecise Bayesian Neural Networks},
journal = {CoRR},
volume = {abs/2302.09656},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.09656},
doi = {10.48550/ARXIV.2302.09656},
eprinttype = {arXiv},
eprint = {2302.09656},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-09656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06848,
author = {Thomas Waite and
Alexander Robey and
Hamed Hassani and
George J. Pappas and
Radoslav Ivanov},
title = {Data-Driven Modeling and Verification of Perception-Based Autonomous
Systems},
journal = {CoRR},
volume = {abs/2312.06848},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06848},
doi = {10.48550/ARXIV.2312.06848},
eprinttype = {arXiv},
eprint = {2312.06848},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CleavelandLIP22,
author = {Matthew Cleaveland and
Lars Lindemann and
Radoslav Ivanov and
George J. Pappas},
title = {Risk verification of stochastic systems with neural network controllers},
journal = {Artif. Intell.},
volume = {313},
pages = {103782},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103782},
doi = {10.1016/J.ARTINT.2022.103782},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CleavelandLIP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LinIWSL22,
author = {Vivian Lin and
Radoslav Ivanov and
James Weimer and
Oleg Sokolsky and
Insup Lee},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {{T4V:} Exploring Neural Network Architectures that Improve the Scalability
of Neural Network Verification},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {585--603},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_28},
doi = {10.1007/978-3-031-22337-2\_28},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LinIWSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/RuchkinCILCSL22,
author = {Ivan Ruchkin and
Matthew Cleaveland and
Radoslav Ivanov and
Pengyuan Lu and
Taylor J. Carpenter and
Oleg Sokolsky and
Insup Lee},
title = {Confidence Composition for Monitors of Verification Assumptions},
booktitle = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2022, Milano, Italy, May 4-6, 2022},
pages = {1--12},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCPS54341.2022.00007},
doi = {10.1109/ICCPS54341.2022.00007},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/RuchkinCILCSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mipro/BorissovaIBNRYG22,
author = {Daniela Borissova and
T. Ivanova and
N. Buhtiarov and
Naiden Naidenov and
Katia Rasheva{-}Yordanova and
Radoslav Yoshinov and
Magdalena Garvanova and
Ivan Garvanov},
editor = {Neven Vrcek and
Marko Koricic and
Vera Gradisnik and
Karolj Skala and
Zeljka Car and
Marina Cicin{-}Sain and
Snjezana Babic and
Vlado Sruk and
Dejan Skvorc and
Alan Jovic and
Stjepan Gros and
Boris Vrdoljak and
Mladen Mauher and
Edvard Tijan and
Tihomir Katulic and
Juraj Petrovic and
Tihana Galinac Grbac and
Benjamin Kusen},
title = {Application of Information Technology in the Teaching of Mathematics
when Study of 2D Geometric Shapes},
booktitle = {45th Jubilee International Convention on Information, Communication
and Electronic Technology, {MIPRO} 2022, Opatija, Croatia, May 23-27,
2022},
pages = {638--643},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/MIPRO55190.2022.9803641},
doi = {10.23919/MIPRO55190.2022.9803641},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mipro/BorissovaIBNRYG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2022nsv,
editor = {Omri Isac and
Radoslav Ivanov and
Guy Katz and
Nina Narodytska and
Laura Nenzi},
title = {Software Verification and Formal Methods for ML-Enabled Autonomous
Systems - 5th International Workshop, FoMLAS 2022, and 15th International
Workshop, {NSV} 2022, Haifa, Israel, July 31 - August 1, and August
11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13466},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21222-2},
doi = {10.1007/978-3-031-21222-2},
isbn = {978-3-031-21221-5},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2022nsv.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08650,
author = {Kaustubh Sridhar and
Radoslav Ivanov and
Vuk Lesi and
Marcio Juliato and
Manoj R. Sastry and
Lily L. Yang and
James Weimer and
Oleg Sokolsky and
Insup Lee},
title = {A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/2205.08650},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08650},
doi = {10.48550/ARXIV.2205.08650},
eprinttype = {arXiv},
eprint = {2205.08650},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-09881,
author = {Matthew Cleaveland and
Lars Lindemann and
Radoslav Ivanov and
George J. Pappas},
title = {Risk Verification of Stochastic Systems with Neural Network Controllers},
journal = {CoRR},
volume = {abs/2209.09881},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.09881},
doi = {10.48550/ARXIV.2209.09881},
eprinttype = {arXiv},
eprint = {2209.09881},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-09881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/IvanovCWAPL21,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
title = {Verifying the Safety of Autonomous Systems with Neural Network Controllers},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {1},
pages = {7:1--7:26},
year = {2021},
url = {https://doi.org/10.1145/3419742},
doi = {10.1145/3419742},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/IvanovCWAPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/IvanovJHVAB21,
author = {Radoslav Ivanov and
Kishor Jothimurugan and
Steve Hsu and
Shaan Vaidya and
Rajeev Alur and
Osbert Bastani},
title = {Compositional Learning and Verification of Neural Network Controllers},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {92:1--92:26},
year = {2021},
url = {https://doi.org/10.1145/3477023},
doi = {10.1145/3477023},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/IvanovJHVAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CarpenterILW21,
author = {Taylor J. Carpenter and
Radoslav Ivanov and
Insup Lee and
James Weimer},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {ModelGuard: Runtime Validation of Lipschitz-continuous Models},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {37--42},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.471},
doi = {10.1016/J.IFACOL.2021.08.471},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/CarpenterILW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/JohnsonLBFG0ICW21,
author = {Taylor T. Johnson and
Diego Manzanas Lopez and
Luis Benet and
Marcelo Forets and
Sebasti{\'{a}}n Guadalupe and
Christian Schilling and
Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Insup Lee},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP21} Category Report: Artificial Intelligence and Neural
Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems
Plants},
booktitle = {8th International Workshop on Applied Verification of Continuous and
Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
series = {EPiC Series in Computing},
volume = {80},
pages = {90--119},
publisher = {EasyChair},
year = {2021},
url = {https://doi.org/10.29007/kfk9},
doi = {10.29007/KFK9},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/JohnsonLBFG0ICW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IvanovCWAPL21,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Verisig 2.0: Verification of Neural Network Controllers Using Taylor
Model Preconditioning},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {249--262},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_11},
doi = {10.1007/978-3-030-81685-8\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/IvanovCWAPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12680,
author = {Sooyong Jang and
Radoslav Ivanov and
Insup Lee and
James Weimer},
title = {Confidence Calibration with Bounded Error Using Transformations},
journal = {CoRR},
volume = {abs/2102.12680},
year = {2021},
url = {https://arxiv.org/abs/2102.12680},
eprinttype = {arXiv},
eprint = {2102.12680},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-15006,
author = {Taylor J. Carpenter and
Radoslav Ivanov and
Insup Lee and
James Weimer},
title = {ModelGuard: Runtime Validation of Lipschitz-continuous Models},
journal = {CoRR},
volume = {abs/2104.15006},
year = {2021},
url = {https://arxiv.org/abs/2104.15006},
eprinttype = {arXiv},
eprint = {2104.15006},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-15006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03782,
author = {Ivan Ruchkin and
Matthew Cleaveland and
Radoslav Ivanov and
Pengyuan Lu and
Taylor J. Carpenter and
Oleg Sokolsky and
Insup Lee},
title = {Confidence Composition for Monitors of Verification Assumptions},
journal = {CoRR},
volume = {abs/2111.03782},
year = {2021},
url = {https://arxiv.org/abs/2111.03782},
eprinttype = {arXiv},
eprint = {2111.03782},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/YelCFIKLWB20,
author = {Esen Yel and
Taylor J. Carpenter and
Carmelo Di Franco and
Radoslav Ivanov and
Yiannis Kantaros and
Insup Lee and
James Weimer and
Nicola Bezzo},
title = {Assured Runtime Monitoring and Planning: Toward Verification of Neural
Networks for Safe Autonomous Operations},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {27},
number = {2},
pages = {102--116},
year = {2020},
url = {https://doi.org/10.1109/MRA.2020.2981114},
doi = {10.1109/MRA.2020.2981114},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ram/YelCFIKLWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IvanovCWAPL20,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {Case study: verifying the safety of an autonomous racing car with
a neural network controller},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {28:1--28:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382216},
doi = {10.1145/3365365.3382216},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/IvanovCWAPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/is/VodyahoYZTA20,
author = {Alexander Vodyaho and
Radoslav Yoshinov and
Nataly Zhukova and
Aung Myo Thaw and
Abbas Saddam Ahmed},
editor = {Vassil Sgurev and
Vladimir Jotsov and
Rudolf Kruse and
Mincho Hadjiski},
title = {Fog Oriented Model for Data Collection in the Networks of Mobile Devices},
booktitle = {10th {IEEE} International Conference on Intelligent Systems, {IS}
2020, Varna, Bulgaria, August 28-30, 2020},
pages = {421--425},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IS48319.2020.9200138},
doi = {10.1109/IS48319.2020.9200138},
timestamp = {Mon, 28 Sep 2020 12:24:06 +0200},
biburl = {https://dblp.org/rec/conf/is/VodyahoYZTA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KaurICSL20,
author = {Ramneet Kaur and
Radoslav Ivanov and
Matthew Cleaveland and
Oleg Sokolsky and
Insup Lee},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Erwin Schoitsch and
Friedemann Bitsch and
Pedro M. Ferreira},
title = {Assurance Case Patterns for Cyber-Physical Systems with Deep Neural
Networks},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2020 Workshops
- DECSoS 2020, DepDevOps 2020, {USDAI} 2020, and {WAISE} 2020, Lisbon,
Portugal, September 15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12235},
pages = {82--97},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55583-2\_6},
doi = {10.1007/978-3-030-55583-2\_6},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/KaurICSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09792,
author = {Yiannis Kantaros and
Taylor J. Carpenter and
Sangdon Park and
Radoslav Ivanov and
Sooyong Jang and
Insup Lee and
James Weimer},
title = {VisionGuard: Runtime Detection of Adversarial Inputs to Perception
Systems},
journal = {CoRR},
volume = {abs/2002.09792},
year = {2020},
url = {https://arxiv.org/abs/2002.09792},
eprinttype = {arXiv},
eprint = {2002.09792},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/NguyenIDW19,
author = {Hung Nguyen and
Radoslav Ivanov and
Sara B. DeMauro and
James Weimer},
title = {RePulmo: a remote pulmonary monitoring system},
journal = {{SIGBED} Rev.},
volume = {16},
number = {2},
pages = {46--50},
year = {2019},
url = {https://doi.org/10.1145/3357495.3357501},
doi = {10.1145/3357495.3357501},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/NguyenIDW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/IvanovAPWPL19,
author = {Radoslav Ivanov and
Nikolay Atanasov and
Miroslav Pajic and
James Weimer and
George J. Pappas and
Insup Lee},
title = {Continuous Estimation Using Context-Dependent Discrete Measurements},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {1},
pages = {235--250},
year = {2019},
url = {https://doi.org/10.1109/TAC.2018.2797839},
doi = {10.1109/TAC.2018.2797839},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/IvanovAPWPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/IvanovWSL19,
author = {Radoslav Ivanov and
James Weimer and
Oleg Sokolsky and
Insup Lee},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Janos Sztipanovits and
Qi Zhu},
title = {Demo: verisig - verifying safety properties of hybrid systems with
neural network controllers},
booktitle = {Proceedings of the Workshop on Design Automation for {CPS} and IoT,
DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
pages = {62--63},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313151.3313164},
doi = {10.1145/3313151.3313164},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/IvanovWSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/LopezMTDCIJ19,
author = {Diego Manzanas Lopez and
Patrick Musau and
Hoang{-}Dung Tran and
Souradeep Dutta and
Taylor J. Carpenter and
Radoslav Ivanov and
Taylor T. Johnson},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Artificial Intelligence and Neural
Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems
Plants},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {103--119},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/rgv8},
doi = {10.29007/RGV8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/LopezMTDCIJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IvanovWAPL19,
author = {Radoslav Ivanov and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Verisig: verifying safety properties of hybrid systems with neural
network controllers},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {169--178},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311806},
doi = {10.1145/3302504.3311806},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/IvanovWAPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11309,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
title = {Case Study: Verifying the Safety of an Autonomous Racing Car with
a Neural Network Controller},
journal = {CoRR},
volume = {abs/1910.11309},
year = {2019},
url = {http://arxiv.org/abs/1910.11309},
eprinttype = {arXiv},
eprint = {1910.11309},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-11309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/WeimerICRSL18,
author = {James Weimer and
Radoslav Ivanov and
Sanjian Chen and
Alexander Roederer and
Oleg Sokolsky and
Insup Lee},
title = {Parameter-Invariant Monitor Design for Cyber-Physical Systems},
journal = {Proc. {IEEE}},
volume = {106},
number = {1},
pages = {71--92},
year = {2018},
url = {https://doi.org/10.1109/JPROC.2017.2723847},
doi = {10.1109/JPROC.2017.2723847},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/WeimerICRSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/IvanovWL18,
author = {Radoslav Ivanov and
James Weimer and
Insup Lee},
title = {Towards Context-Aware Cyber-Physical Systems},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {10--11},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00012},
doi = {10.1109/MT-CPS.2018.00012},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/IvanovWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/IvanovWL18,
author = {Radoslav Ivanov and
James Weimer and
Insup Lee},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Context-aware detection in medical cyber-physical systems},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {232--241},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00030},
doi = {10.1109/ICCPS.2018.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/IvanovWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/NguyenIPSWL18,
author = {Hung Nguyen and
Radoslav Ivanov and
Linh T. X. Phan and
Oleg Sokolsky and
James Weimer and
Insup Lee},
title = {LogSafe: Secure and Scalable Data Logger for IoT Devices},
booktitle = {2018 {IEEE/ACM} Third International Conference on Internet-of-Things
Design and Implementation, IoTDI 2018, Orlando, FL, USA, April 17-20,
2018},
pages = {141--152},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IoTDI.2018.00023},
doi = {10.1109/IOTDI.2018.00023},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iotdi/NguyenIPSWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/IvanovNWSL18,
author = {Radoslav Ivanov and
Hung Nguyen and
James Weimer and
Oleg Sokolsky and
Insup Lee},
title = {OpenICE-lite: Towards a Connectivity Platform for the Internet of
Medical Things},
booktitle = {21st {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2018, Singapore, Singapore, May 29-31, 2018},
pages = {103--106},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISORC.2018.00022},
doi = {10.1109/ISORC.2018.00022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/IvanovNWSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01828,
author = {Radoslav Ivanov and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
title = {Verisig: verifying safety properties of hybrid systems with neural
network controllers},
journal = {CoRR},
volume = {abs/1811.01828},
year = {2018},
url = {http://arxiv.org/abs/1811.01828},
eprinttype = {arXiv},
eprint = {1811.01828},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ParkIWPSL17,
author = {Junkil Park and
Radoslav Ivanov and
James Weimer and
Miroslav Pajic and
Sang Hyuk Son and
Insup Lee},
title = {Security of Cyber-Physical Systems in the Presence of Transient Sensor
Faults},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {1},
number = {3},
pages = {15:1--15:23},
year = {2017},
url = {https://doi.org/10.1145/3064809},
doi = {10.1145/3064809},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/ParkIWPSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/IvanovWSRL16,
author = {Radoslav Ivanov and
James Weimer and
Allan F. Simpao and
Mohamed A. Rehman and
Insup Lee},
title = {Prediction of Critical Pulmonary Shunts in Infants},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {24},
number = {6},
pages = {1936--1952},
year = {2016},
url = {https://doi.org/10.1109/TCST.2016.2538207},
doi = {10.1109/TCST.2016.2538207},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/IvanovWSRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/IvanovPL16,
author = {Radoslav Ivanov and
Miroslav Pajic and
Insup Lee},
title = {Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical
Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {1},
pages = {21:1--21:24},
year = {2016},
url = {https://doi.org/10.1145/2847418},
doi = {10.1145/2847418},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/IvanovPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chase/NguyenAIHPSWWHL16,
author = {Hung Nguyen and
Bipeen Acharya and
Radoslav Ivanov and
Andreas Haeberlen and
Linh T. X. Phan and
Oleg Sokolsky and
Jesse Walker and
James Weimer and
William Hanson III and
Insup Lee},
title = {Cloud-Based Secure Logger for Medical Devices},
booktitle = {Proceedings of the First {IEEE} International Conference on Connected
Health: Applications, Systems and Engineering Technologies, {CHASE}
2016, Washington, DC, USA, June 27-29, 2016},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CHASE.2016.48},
doi = {10.1109/CHASE.2016.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chase/NguyenAIHPSWWHL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/JoPBIWSL16,
author = {Minsu Jo and
Junkil Park and
Youngmi Baek and
Radoslav Ivanov and
James Weimer and
Sang Hyuk Son and
Insup Lee},
title = {Adaptive Transient Fault Model for Sensor Attack Detection},
booktitle = {4th {IEEE} International Conference on Cyber-Physical Systems, Networks,
and Applications, {CPSNA} 2016, Nagoya, Japan, October 6-7, 2016},
pages = {59--65},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CPSNA.2016.21},
doi = {10.1109/CPSNA.2016.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsna/JoPBIWSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/IvanovAWPSRPL16,
author = {Radoslav Ivanov and
Nikolay Atanasov and
James Weimer and
Miroslav Pajic and
Allan F. Simpao and
Mohamed A. Rehman and
George J. Pappas and
Insup Lee},
title = {Estimation of Blood Oxygen Content Using Context-Aware Filtering},
booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
pages = {28:1--28:10},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCPS.2016.7479102},
doi = {10.1109/ICCPS.2016.7479102},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/IvanovAWPSRPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/JoPBIWSL16,
author = {Minsu Jo and
Junkil Park and
Youngmi Baek and
Radoslav Ivanov and
James Weimer and
Sang Hyuk Son and
Insup Lee},
title = {Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor
Models},
booktitle = {22nd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2016, Daegu, South Korea, August
17-19, 2016},
pages = {102},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTCSA.2016.33},
doi = {10.1109/RTCSA.2016.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/JoPBIWSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/WeimerIRCL15,
author = {James Weimer and
Radoslav Ivanov and
Alexander Roederer and
Sanjian Chen and
Insup Lee},
title = {Parameter-Invariant Design of Medical Alarms},
journal = {{IEEE} Des. Test},
volume = {32},
number = {5},
pages = {9--16},
year = {2015},
url = {https://doi.org/10.1109/MDAT.2015.2451083},
doi = {10.1109/MDAT.2015.2451083},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/WeimerIRCL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/IvanovAPPL15,
author = {Radoslav Ivanov and
Nikolay Atanasov and
Miroslav Pajic and
George J. Pappas and
Insup Lee},
title = {Robust estimation using context-aware filtering},
booktitle = {53rd Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2015, Allerton Park {\&} Retreat Center, Monticello,
IL, USA, September 29 - October 2, 2015},
pages = {590--597},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ALLERTON.2015.7447058},
doi = {10.1109/ALLERTON.2015.7447058},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/allerton/IvanovAPPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/IvanovWSRL15,
author = {Radoslav Ivanov and
James Weimer and
Allan F. Simpao and
Mohamed A. Rehman and
Insup Lee},
editor = {Alexandre M. Bayen and
Michael S. Branicky},
title = {Early detection of critical pulmonary shunts in infants},
booktitle = {Proceedings of the {ACM/IEEE} Sixth International Conference on Cyber-Physical
Systems, {ICCPS} 2015, Seattle, WA, USA, April 14-16, 2015},
pages = {110--119},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2735960.2735962},
doi = {10.1145/2735960.2735962},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/IvanovWSRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ParkIWPL15,
author = {Junkil Park and
Radoslav Ivanov and
James Weimer and
Miroslav Pajic and
Insup Lee},
editor = {Alexandre M. Bayen and
Michael S. Branicky},
title = {Sensor attack detection in the presence of transient faults},
booktitle = {Proceedings of the {ACM/IEEE} Sixth International Conference on Cyber-Physical
Systems, {ICCPS} 2015, Seattle, WA, USA, April 14-16, 2015},
pages = {1--10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2735960.2735984},
doi = {10.1145/2735960.2735984},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ParkIWPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/ShashidharLILSLGLFR14,
author = {Deepthi Shashidhar and
Mingzhe Lin and
Radoslav Ivanov and
Insup Lee and
Allan F. Simpao and
Arul Lingappan and
Jorge A. G{\'{a}}lvez and
Pablo Laje and
Alan W. Flake and
Mohamed A. Rehman},
title = {Application of Python to {AIMS} Data to Analyze Intraoperative Hypotension
through Pediatric Blood Pressure Curves},
booktitle = {2014 {IEEE} 27th International Symposium on Computer-Based Medical
Systems, New York, NY, USA, May 27-29, 2014},
pages = {555--556},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CBMS.2014.135},
doi = {10.1109/CBMS.2014.135},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/ShashidharLILSLGLFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/IvanovPL14,
author = {Radoslav Ivanov and
Miroslav Pajic and
Insup Lee},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Attack-resilient sensor fusion},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.067},
doi = {10.7873/DATE.2014.067},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/IvanovPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/IvanovPL14,
author = {Radoslav Ivanov and
Miroslav Pajic and
Insup Lee},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Resilient multidimensional sensor fusion using measurement history},
booktitle = {3rd International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014},
pages = {1--10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2566468.2566475},
doi = {10.1145/2566468.2566475},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicons/IvanovPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BezzoPKGIL14,
author = {Nicola Bezzo and
Junkil Park and
Andrew L. King and
Peter Gebhard and
Radoslav Ivanov and
Insup Lee},
title = {Demo abstract: ROSLab - {A} modular programming environment for robotic
applications},
booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
Berlin, Germany, April 14-17, 2014},
pages = {214},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCPS.2014.6843727},
doi = {10.1109/ICCPS.2014.6843727},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/BezzoPKGIL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/WangAISL13,
author = {Shaohui Wang and
Anaheed Ayoub and
Radoslav Ivanov and
Oleg Sokolsky and
Insup Lee},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Contract-based blame assignment by trace analysis},
booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
2013},
pages = {117--126},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461446.2461463},
doi = {10.1145/2461446.2461463},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicons/WangAISL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lssc/HristovaID13,
author = {Radoslava Hristova and
Sofiya Ivanovska and
Mariya K. Durchova},
editor = {Ivan Lirkov and
Svetozar Margenov and
Jerzy Wasniewski},
title = {Performance Analysis of the Regional Grid Resources for an Environmental
Modeling Application},
booktitle = {Large-Scale Scientific Computing - 9th International Conference, {LSSC}
2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8353},
pages = {507--514},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-43880-0\_58},
doi = {10.1007/978-3-662-43880-0\_58},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lssc/HristovaID13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/MladenovI11,
author = {Radoslav Mladenov and
Sava Ivanov},
editor = {Boris Rachev and
Angel Smrikarov},
title = {A self-tuning hybrid flash translation layer for embedded systems},
booktitle = {Proceedings of the 12th International Conference on Computer Systems
and Technologies, CompSysTech 2011, Vienna, Austria, June 16-17, 2011},
pages = {57--62},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2023607.2023618},
doi = {10.1145/2023607.2023618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsystech/MladenovI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/MladenovI09,
author = {Radoslav Mladenov and
Sava Ivanov},
editor = {Boris Rachev and
Angel Smrikarov},
title = {Implementation design of access control system local database in flash
memory array},
booktitle = {Proceedings of the 2009 International Conference on Computer Systems
and Technologies and Workshop for PhD Students in Computing, CompSysTech
2009, Rousse, Bulgaria, June 18-19, 2009},
pages = {39},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1731740.1731783},
doi = {10.1145/1731740.1731783},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsystech/MladenovI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwca/RadoslavavT97,
author = {Pavlin Ivanovv Radoslavav and
Takehiro Tokuda},
editor = {Takashi Masuda and
Yoshifumi Masunaga and
Michiharu Tsukamoto},
title = {An Algorithm for Cost-Delay Balanced Trees and Its Application to
Wide Area Network Multicast},
booktitle = {Worldwide Computing and Its Applications, International Conference,
{WWCA} '97, Tsukuba, Japan, March 10-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1274},
pages = {294--308},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63343-X\_55},
doi = {10.1007/3-540-63343-X\_55},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/wwca/RadoslavavT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-10 11:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
