Radoslav Ivanov

According to our database, Radoslav Ivanov authored at least 43 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Analyzing Neural Network Robustness Using Graph Curvature.

Shuhang Tan, Jayson Sia, Paul Bogdan, Radoslav Ivanov

Proceedings of the International Conference on Assured Autonomy, 2024

2023

Data-Driven Modeling and Verification of Perception-Based Autonomous Systems.

Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov

CoRR, 2023

Imprecise Bayesian Neural Networks.

Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee

CoRR, 2023

2022

A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems.

Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee

CoRR, 2022

Risk verification of stochastic systems with neural network controllers.

Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas

Artif. Intell., 2022

Confidence Composition for Monitors of Verification Assumptions.

Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.

Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee

Proceedings of the Principles of Systems Design, 2022

2021

Compositional Learning and Verification of Neural Network Controllers.

Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani

ACM Trans. Embed. Comput. Syst., 2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

ACM Trans. Embed. Comput. Syst., 2021

Confidence Calibration with Bounded Error Using Transformations.

Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer

CoRR, 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

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, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.

Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.

Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo

IEEE Robotics Autom. Mag., 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.

Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer

CoRR, 2020

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks.

Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Case study: verifying the safety of an autonomous racing car with a neural network controller.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

Continuous Estimation Using Context-Dependent Discrete Measurements.

Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee

IEEE Trans. Autom. Control., 2019

RePulmo: a remote pulmonary monitoring system.

Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, James Weimer

SIGBED Rev., 2019

Verisig: verifying safety properties of hybrid systems with neural network controllers.

Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

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, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.

Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Parameter-Invariant Monitor Design for Cyber-Physical Systems.

James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee

Proc. IEEE, 2018

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things.

Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.

Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee

Proceedings of the 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation, 2018

Context-aware detection in medical cyber-physical systems.

Radoslav Ivanov, James Weimer, Insup Lee

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Towards Context-Aware Cyber-Physical Systems.

Radoslav Ivanov, James Weimer, Insup Lee

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.

Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee

ACM Trans. Cyber Phys. Syst., 2017

2016

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems.

Radoslav Ivanov, Miroslav Pajic, Insup Lee

ACM Trans. Embed. Comput. Syst., 2016

Prediction of Critical Pulmonary Shunts in Infants.

Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee

IEEE Trans. Control. Syst. Technol., 2016

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models.

Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Estimation of Blood Oxygen Content Using Context-Aware Filtering.

Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.

Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee

Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Cloud-Based Secure Logger for Medical Devices.

Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

2015

Parameter-Invariant Design of Medical Alarms.

James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee

IEEE Des. Test, 2015

Sensor attack detection in the presence of transient faults.

Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Early detection of critical pulmonary shunts in infants.

Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Robust estimation using context-aware filtering.

Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee

Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

2014

Demo abstract: ROSLab - A modular programming environment for robotic applications.

Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Resilient multidimensional sensor fusion using measurement history.

Radoslav Ivanov, Miroslav Pajic, Insup Lee

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Attack-resilient sensor fusion.

Radoslav Ivanov, Miroslav Pajic, Insup Lee

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves.

Deepthi Shashidhar, Mingzhe Lin, Radoslav Ivanov, Insup Lee, Allan F. Simpao, Arul Lingappan, Jorge A. Gálvez, Pablo Laje, Alan W. Flake, Mohamed A. Rehman

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

2013

Contract-based blame assignment by trace analysis.

Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013