Radoslav Ivanov

Most-cited papers

Verisig: verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov, James Weimer, R. Alur, George Pappas +1 more
2018International Conference on Hybrid Systems: Computation and Control302 citations
Semantic Scholar
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, R. Alur +2 more
2021International Conference on Computer Aided Verification89 citations Open access
Semantic Scholar
Case study: verifying the safety of an autonomous racing car with a neural network controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, R. Alur +2 more
2019International Conference on Hybrid Systems: Computation and Control86 citations
Semantic Scholar
Sensor attack detection in the presence of transient faults
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic +1 more
2015International Conference on Cyber-Physical Systems81 citations
Semantic Scholar
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems
Radoslav Ivanov, Miroslav Pajic, Insup Lee
2016ACM Transactions on Embedded Computing Systems74 citations Open access
Semantic Scholar
Credal Bayesian Deep Learning
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin +3 more
2023Trans. Mach. Learn. Res.51 citations
Semantic Scholar
Compositional Learning and Verification of Neural Network Controllers
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya +2 more
2021ACM Transactions on Embedded Computing Systems41 citations
Semantic Scholar
Cloud-Based Secure Logger for Medical Devices
Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen +6 more
2016IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies32 citations Open access
Semantic Scholar
Attack-resilient sensor fusion
Radoslav Ivanov, Miroslav Pajic, Insup Lee
2014Design, Automation and Test in Europe29 citations Open access
Semantic Scholar
LogSafe: Secure and Scalable Data Logger for IoT Devices
Hung Nguyen, Radoslav Ivanov, L. Phan, O. Sokolsky +2 more
2018International Conference on Internet-of-Things Design and Implementation22 citations Open access
Semantic Scholar
Early detection of critical pulmonary shunts in infants
Radoslav Ivanov, James Weimer, Allan F. Simpao, M. Rehman +1 more
2015International Conference on Cyber-Physical Systems21 citations Open access
Semantic Scholar
Imprecise Bayesian Neural Networks
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin +3 more
2023arXiv.org19 citations Open access
Semantic Scholar
Resilient multidimensional sensor fusion using measurement history
Radoslav Ivanov, Miroslav Pajic, Insup Lee
2014International Conference on High Confidence Networked Systems19 citations Open access
Semantic Scholar
Parameter-Invariant Monitor Design for Cyber–Physical Systems
James Weimer, Radoslav Ivanov, Sanjian Chen, Alex Roederer +2 more
2018Proceedings of the IEEE18 citations Open access
Semantic Scholar
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, M. Forets +6 more
2021ARCH@ADHS17 citations Open access
Semantic Scholar
Confidence Composition for Monitors of Verification Assumptions
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu +3 more
2021International Conference on Cyber-Physical Systems17 citations Open access
Semantic Scholar
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic +2 more
2017ACM Trans. Cyber Phys. Syst.17 citations Open access
Semantic Scholar
Risk Verification of Stochastic Systems with Neural Network Controllers
Matthew Cleaveland, L. Lindemann, Radoslav Ivanov, George Pappas
2022Artificial Intelligence15 citations Open access
Semantic Scholar
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta +3 more
2019ARCH@CPSIoTWeek15 citations Open access
Semantic Scholar
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov +4 more
2020IEEE robotics & automation magazine14 citations Open access
Semantic Scholar
Reducing Pulse Oximetry False Alarms Without Missing Life-Threatening Events
Hung Nguyen, Sooyong Jang, Radoslav Ivanov, C. Bonafide +2 more
2018Smart Health14 citations Open access
Semantic Scholar
Context-Aware Detection in Medical Cyber-Physical Systems
Radoslav Ivanov, James Weimer, Insup Lee
2018International Conference on Cyber-Physical Systems14 citations Open access
Semantic Scholar
Parameter-Invariant Design of Medical Alarms
James Weimer, Radoslav Ivanov, Alex Roederer, Sanjian Chen +1 more
2015IEEE design & test14 citations Open access
Semantic Scholar
Demo abstract: ROSLab — A modular programming environment for robotic applications
N. Bezzo, Junkil Park, Andrew L. King, Peter Gebhard +2 more
2014International Conference on Cyber-Physical Systems13 citations
Semantic Scholar
Robust estimation using context-aware filtering
Radoslav Ivanov, Nikolay A. Atanasov, Miroslav Pajic, George J. Pappas +1 more
2015Allerton Conference on Communication, Control, and Computing12 citations Open access
Semantic Scholar
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things
Radoslav Ivanov, Hung Nguyen, James Weimer, O. Sokolsky +1 more
2018IEEE International Symposium on Real-Time Distributed Computing11 citations Open access
Semantic Scholar
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov +3 more
2020arXiv.org10 citations
Semantic Scholar
Adaptive Transient Fault Model for Sensor Attack Detection
Minsu Jo, Junkil Park, Young-mi Baek, Radoslav Ivanov +3 more
2016International Conference on Cyber-Physical Systems, Networks, and Applications10 citations Open access
Semantic Scholar
Contract-based blame assignment by trace analysis
Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, O. Sokolsky +1 more
2013International Conference on High Confidence Networked Systems9 citations Open access
Semantic Scholar
Towards Context-Aware Cyber-Physical Systems
Radoslav Ivanov, James Weimer, Insup Lee
20182018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)8 citations
Semantic Scholar
Prediction of Critical Pulmonary Shunts in Infants
Radoslav Ivanov, James Weimer, Allan F. Simpao, M. Rehman +1 more
2016IEEE Transactions on Control Systems Technology8 citations Open access
Semantic Scholar
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks
R. Kaur, Radoslav Ivanov, Matthew Cleaveland, O. Sokolsky +1 more
2020SAFECOMP Workshops7 citations
Semantic Scholar
Estimation of Blood Oxygen Content Using Context-Aware Filtering
Radoslav Ivanov, Nikolay A. Atanasov, James Weimer, Miroslav Pajic +4 more
2016International Conference on Cyber-Physical Systems7 citations
Semantic Scholar
Data-Driven Modeling and Verification of Perception-Based Autonomous Systems
Thomas Waite, Alexander Robey, Hamed Hassani, George Pappas +1 more
2023arXiv.org5 citations
Semantic Scholar
ModelGuard: Runtime Validation of Lipschitz-continuous Models
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021IFAC Conference on Analysis and Design of Hybrid Systems5 citations Open access
Semantic Scholar
Continuous Estimation Using Context-Dependent Discrete Measurements
Radoslav Ivanov, Nikolay A. Atanasov, Miroslav Pajic, James Weimer +2 more
2019IEEE Transactions on Automatic Control5 citations Open access
Semantic Scholar
Towards formalization of wireless vehicular networking
R. Kaur, Jungyeol Kim, O. Sokolsky, S. Sarkar +2 more
20202020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)4 citations
Semantic Scholar
RePulmo: a remote pulmonary monitoring system
Hung Nguyen, Radoslav Ivanov, S. DeMauro, James Weimer
2019SIGBED4 citations
Semantic Scholar
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, M. Juliato +5 more
2022arXiv.org3 citations Open access
Semantic Scholar
Confidence Calibration with Bounded Error Using Transformations
Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
20213 citations
Semantic Scholar
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov, James Weimer, O. Sokolsky, Insup Lee
2019DESTION@CPSIoTWeek3 citations Open access
Semantic Scholar
Context-Aware Sensor Fusion For Securing Cyber-Physical Systems
Radoslav Ivanov
20173 citations
Semantic Scholar
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification
Vivian Lin, Radoslav Ivanov, James Weimer, O. Sokolsky +1 more
2022Principles of Systems Design2 citations
Semantic Scholar
Attack-Resilient Sensor Fusion for CPS
Radoslav Ivanov, Miroslav Pajic, Insup Lee
20171 citations
Semantic Scholar
Robust Localization Using Context-Aware Filtering
Radoslav Ivanov, Nikolay A. Atanasov, Miroslav Pajic, Insup Lee +1 more
20151 citations
Semantic Scholar
Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves
Deepthi Shashidhar, Mingzhe Lin, Radoslav Ivanov, Insup Lee +6 more
2014IEEE International Symposium on Computer-Based Medical Systems1 citations
Semantic Scholar
Confidence Calibration with Bounded Error Using Transformations
Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
2021arXiv.org0 citations
Semantic Scholar
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models
Minsu Jo, Junkil Park, Young-mi Baek, Radoslav Ivanov +3 more
2016IEEE International Conference on Embedded and Real-Time Computing Systems and Applications0 citations
Semantic Scholar
2-2014 Attack-Resilient Sensor Fusion
Radoslav Ivanov
20160 citations
Semantic Scholar
State Estimation Filters Written Preliminary Exam II Report
Radoslav Ivanov
20150 citations
Semantic Scholar