Radoslav Ivanov

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 38

Top Topics

Restrictive Assumptions

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Thomas Waite, Alexander Robey, Hamed Hassani, George J. Pappas, Radoslav Ivanov
Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. CoRR (2023)
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
Imprecise Bayesian Neural Networks. CoRR (2023)
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk verification of stochastic systems with neural network controllers. Artif. Intell. 313 (2022)
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design (2022)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. ICCPS (2022)
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR (2022)
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR (2022)
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS (2021)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. CoRR (2021)
Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
Confidence Calibration with Bounded Error Using Transformations. CoRR (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR (2020)
Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops (2020)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC (2020)
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27 (2) (2020)
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@CPSIoTWeek (2019)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC (2019)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR (2019)
Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, James Weimer
RePulmo: a remote pulmonary monitoring system. SIGBED Rev. 16 (2) (2019)
Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64 (1) (2019)
Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek (2019)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR (2018)
Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC (2018)
Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI (2018)
Radoslav Ivanov, James Weimer, Insup Lee
Towards Context-Aware Cyber-Physical Systems. MT@CPSWeek (2018)
James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE 106 (1) (2018)
Radoslav Ivanov, James Weimer, Insup Lee
Context-aware detection in medical cyber-physical systems. ICCPS (2018)
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. 1 (3) (2017)
Radoslav Ivanov, Miroslav Pajic, Insup Lee
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 15 (1) (2016)
Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS (2016)
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA (2016)
Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA (2016)
Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
Cloud-Based Secure Logger for Medical Devices. CHASE (2016)
Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
Prediction of Critical Pulmonary Shunts in Infants. IEEE Trans. Control. Syst. Technol. 24 (6) (2016)
Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee
Robust estimation using context-aware filtering. Allerton (2015)
James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee
Parameter-Invariant Design of Medical Alarms. IEEE Des. Test 32 (5) (2015)
Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
Early detection of critical pulmonary shunts in infants. ICCPS (2015)
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
Sensor attack detection in the presence of transient faults. ICCPS (2015)
Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee
Demo abstract: ROSLab - A modular programming environment for robotic applications. ICCPS (2014)
Radoslav Ivanov, Miroslav Pajic, Insup Lee
Resilient multidimensional sensor fusion using measurement history. HiCoNS (2014)
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
Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. CBMS (2014)
Radoslav Ivanov, Miroslav Pajic, Insup Lee
Attack-resilient sensor fusion. DATE (2014)
Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
Contract-based blame assignment by trace analysis. HiCoNS (2013)