Contract-based blame assignment by trace analysis. - Shaohui Wang; Anaheed Ayoub; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (HiCoNS, 2013)

Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. - Deepthi Shashidhar; Mingzhe Lin; Radoslav Ivanov; Insup Lee 001; Allan F. Simpao; Arul Lingappan; Jorge A. Gálvez; Pablo Laje; Alan W. Flake; Mohamed A. Rehman (CBMS, 2014)

Attack-resilient sensor fusion. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (DATE, 2014)

Resilient multidimensional sensor fusion using measurement history. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (HiCoNS, 2014)

Demo abstract: ROSLab - A modular programming environment for robotic applications. - Nicola Bezzo; Junkil Park; Andrew L. King; Peter Gebhard; Radoslav Ivanov; Insup Lee 001 (ICCPS, 2014)

Robust estimation using context-aware filtering. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; George J. Pappas; Insup Lee 001 (Allerton, 2015)

Early detection of critical pulmonary shunts in infants. - Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee 001 (ICCPS, 2015)

Sensor attack detection in the presence of transient faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Insup Lee 001 (ICCPS, 2015)

Parameter-Invariant Design of Medical Alarms. - James Weimer; Radoslav Ivanov; Alexander Roederer; Sanjian Chen; Insup Lee 001 (IEEE Des. Test, 2015)

Cloud-Based Secure Logger for Medical Devices. - Hung Nguyen 002; Bipeen Acharya; Radoslav Ivanov; Andreas Haeberlen; Linh T. X. Phan; Oleg Sokolsky; Jesse Walker; James Weimer; William Hanson III; Insup Lee 001 (CHASE, 2016)

Adaptive Transient Fault Model for Sensor Attack Detection. - Minsu Jo; Junkil Park; Youngmi Baek; Radoslav Ivanov; James Weimer; Sang Hyuk Son; Insup Lee 001 (CPSNA, 2016)

Estimation of Blood Oxygen Content Using Context-Aware Filtering. - Radoslav Ivanov; Nikolay Atanasov 001; James Weimer; Miroslav Pajic; Allan F. Simpao; Mohamed A. Rehman; George J. Pappas; Insup Lee 001 (ICCPS, 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 001 (RTCSA, 2016)

Prediction of Critical Pulmonary Shunts in Infants. - Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee 001 (IEEE Trans. Control. Syst. Technol., 2016)

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2016)

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 001 (ACM Trans. Cyber Phys. Syst., 2017)

Towards Context-Aware Cyber-Physical Systems. - Radoslav Ivanov; James Weimer; Insup Lee 001 (MT@CPSWeek, 2018)

Context-aware detection in medical cyber-physical systems. - Radoslav Ivanov; James Weimer; Insup Lee 001 (ICCPS, 2018)

LogSafe: Secure and Scalable Data Logger for IoT Devices. - Hung Nguyen 002; Radoslav Ivanov; Linh T. X. Phan; Oleg Sokolsky; James Weimer; Insup Lee 001 (IoTDI, 2018)

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. - Radoslav Ivanov; Hung Nguyen 002; James Weimer; Oleg Sokolsky; Insup Lee 001 (ISORC, 2018)

Parameter-Invariant Monitor Design for Cyber-Physical Systems. - James Weimer; Radoslav Ivanov; Sanjian Chen; Alexander Roederer; Oleg Sokolsky; Insup Lee 001 (Proc. IEEE, 2018)

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. - Radoslav Ivanov; James Weimer; Oleg Sokolsky; Insup Lee 001 (DESTION@CPSIoTWeek, 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 (ARCH@CPSIoTWeek, 2019)

Verisig: verifying safety properties of hybrid systems with neural network controllers. - Radoslav Ivanov; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (HSCC, 2019)

RePulmo: a remote pulmonary monitoring system. - Hung Nguyen 002; Radoslav Ivanov; Sara B. DeMauro; James Weimer (SIGBED Rev., 2019)

Continuous Estimation Using Context-Dependent Discrete Measurements. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; James Weimer; George J. Pappas; Insup Lee 001 (IEEE Trans. Autom. Control., 2019)

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 001 (HSCC, 2020)

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. - Ramneet Kaur; Radoslav Ivanov; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001 (SAFECOMP Workshops, 2020)

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. - Yiannis Kantaros; Taylor J. Carpenter; Sangdon Park 001; Radoslav Ivanov; Sooyong Jang; Insup Lee 001; James Weimer (CoRR, 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 001; James Weimer; Nicola Bezzo (IEEE Robotics Autom. Mag., 2020)

ModelGuard: Runtime Validation of Lipschitz-continuous Models. - Taylor J. Carpenter; Radoslav Ivanov; Insup Lee 001; James Weimer (ADHS, 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 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 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 001 (CAV (1), 2021)

Confidence Calibration with Bounded Error Using Transformations. - Sooyong Jang; Radoslav Ivanov; Insup Lee 001; James Weimer (CoRR, 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 001 (ACM Trans. Embed. Comput. Syst., 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)

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. - Vivian Lin; Radoslav Ivanov; James Weimer; Oleg Sokolsky; Insup Lee 001 (Principles of Systems Design, 2022)

Confidence Composition for Monitors of Verification Assumptions. - Ivan Ruchkin; Matthew Cleaveland; Radoslav Ivanov; Pengyuan Lu; Taylor J. Carpenter; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2022)

Risk verification of stochastic systems with neural network controllers. - Matthew Cleaveland; Lars Lindemann; Radoslav Ivanov; George J. Pappas (Artif. Intell., 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 001 (CoRR, 2022)

Imprecise Bayesian Neural Networks. - Michele Caprio; Souradeep Dutta; Kuk Jin Jang; Vivian Lin; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Data-Driven Modeling and Verification of Perception-Based Autonomous Systems. - Thomas Waite; Alexander Robey; Hamed Hassani; George J. Pappas; Radoslav Ivanov (CoRR, 2023)

Analyzing Neural Network Robustness Using Graph Curvature. - Shuhang Tan; Jayson Sia; Paul Bogdan; Radoslav Ivanov (ICAA, 2024)

Credal Bayesian Deep Learning. - Michele Caprio; Souradeep Dutta; Kuk Jin Jang; Vivian Lin; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (Trans. Mach. Learn. Res., 2024)

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems. - Thomas Waite; Yuang Geng; Trevor Turnquist; Ivan Ruchkin; Radoslav Ivanov (NeuS, 2025)