Radoslav Ivanov

Orcid: 0000-0003-4987-4836

According to our database1, Radoslav Ivanov authored at least 42 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Imprecise Bayesian Neural Networks.
CoRR, 2023

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

Risk verification of stochastic systems with neural network controllers.
Artif. Intell., 2022

Confidence Composition for Monitors of Verification Assumptions.
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.
Proceedings of the Principles of Systems Design, 2022

2021
Compositional Learning and Verification of Neural Network Controllers.
ACM Trans. Embed. Comput. Syst., 2021

Verifying the Safety of Autonomous Systems with Neural Network Controllers.
ACM Trans. Embed. Comput. Syst., 2021

Confidence Calibration with Bounded Error Using Transformations.
CoRR, 2021

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.
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.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ModelGuard: Runtime Validation of Lipschitz-continuous Models.
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.
IEEE Robotics Autom. Mag., 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.
CoRR, 2020

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks.
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.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019
Continuous Estimation Using Context-Dependent Discrete Measurements.
IEEE Trans. Autom. Control., 2019

RePulmo: a remote pulmonary monitoring system.
SIGBED Rev., 2019

Verisig: verifying safety properties of hybrid systems with neural network controllers.
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.
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.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018
Parameter-Invariant Monitor Design for Cyber-Physical Systems.
Proc. IEEE, 2018

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

LogSafe: Secure and Scalable Data Logger for IoT Devices.
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.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Towards Context-Aware Cyber-Physical Systems.
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.
ACM Trans. Cyber Phys. Syst., 2017

2016
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2016

Prediction of Critical Pulmonary Shunts in Infants.
IEEE Trans. Control. Syst. Technol., 2016

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models.
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.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Adaptive Transient Fault Model for Sensor Attack Detection.
Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Cloud-Based Secure Logger for Medical Devices.
Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016

2015
Parameter-Invariant Design of Medical Alarms.
IEEE Des. Test, 2015

Sensor attack detection in the presence of transient faults.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Early detection of critical pulmonary shunts in infants.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Robust estimation using context-aware filtering.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

2014
Demo abstract: ROSLab - A modular programming environment for robotic applications.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Resilient multidimensional sensor fusion using measurement history.
Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Attack-resilient sensor fusion.
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.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

2013
Contract-based blame assignment by trace analysis.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013


  Loading...