Follow
Radoslav Ivanov
Title
Cited by
Cited by
Year
Verisig: verifying safety properties of hybrid systems with neural network controllers
R Ivanov, J Weimer, R Alur, GJ Pappas, I Lee
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
2842019
Sensor attack detection in the presence of transient faults
J Park, R Ivanov, J Weimer, M Pajic, I Lee
Cyber-Physical Systems (ICCPS), 2015 ACM/IEEE International Conference on, 1-10, 2015
972015
Case study: verifying the safety of an autonomous racing car with a neural network controller
R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
792020
Verifying the Safety of Autonomous Systems with Neural Network Controllers
R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee
ACM Transactions on Embedded Computing Systems (TECS) 20 (1), 1-26, 2020
592020
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning
R Ivanov, T Carpenter, J Weimer, R Alur, G Pappas, I Lee
International Conference on Computer Aided Verification, 249-262, 2021
552021
Attack-resilient sensor fusion for safety-critical cyber-physical systems
R Ivanov, M Pajic, I Lee
ACM Transactions on Embedded Computing Systems (TECS) 15 (1), 1-24, 2016
522016
Cloud-Based Secure Logger for Medical Devices
H Nguyen, B Acharya, R Ivanov, A Haeberlen, LTX Phan, O Sokolsky, ...
Connected Health: Applications, Systems and Engineering Technologies (CHASE …, 2016
442016
Compositional Learning and Verification of Neural Network Controllers
R Ivanov, K Jothimurugan, S Hsu, S Vaidya, R Alur, O Bastani
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
312021
Attack-resilient sensor fusion
R Ivanov, M Pajic, I Lee
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 …, 2014
312014
Resilient multidimensional sensor fusion using measurement history
R Ivanov, M Pajic, I Lee
Proceedings of the 3rd international conference on High confidence networked …, 2014
302014
LogSafe: Secure and Scalable Data Logger for IoT Devices
H Nguyen, R Ivanov, LTX Phan, O Sokolsky, J Weimer, I Lee
2018 IEEE/ACM Third International Conference on Internet-of-Things Design …, 2018
282018
Early detection of critical pulmonary shunts in infants
R Ivanov, J Weimer, A Simpao, M Rehman, I Lee
Cyber-Physical Systems (ICCPS), 2015 ACM/IEEE International Conference on …, 2015
252015
Context-aware detection in medical cyber-physical systems
R Ivanov, J Weimer, I Lee
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
212018
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
DM Lopez, P Musau, HD Tran, S Dutta, TJ Carpenter, R Ivanov, ...
ARCH@ CPSIoTWeek, 103-119, 2019
202019
Parameter-Invariant Monitor Design for Cyber Physical Systems
J Weimer, R Ivanov, S Chen, A Roederer, O Sokolsky, I Lee
Proceedings of the IEEE, 2017
192017
Security of cyber-physical systems in the presence of transient sensor faults
J Park, R Ivanov, J Weimer, M Pajic, SH Son, I Lee
ACM Transactions on Cyber-Physical Systems 1 (3), 1-23, 2017
172017
ARCH-COMP21 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants
TT Johnson, D Manzanas Lopez, L Benet, M Forets, S Guadalupe, ...
EPiC Series in Computing 80, 2021
162021
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things
R Ivanov, H Nguyen, J Weimer, O Sokolsky, I Lee
Real-time Computing (ISORC), 2008 21th IEEE International Symposium on. IEEE, 2018
152018
Parameter invariant design of medical alarms
J Weimer, R Ivanov, A Roederer, S Chen, I Lee
IEEE Design & Test, 0
15*
Contract-based blame assignment by trace analysis
S Wang, A Ayoub, R Ivanov, O Sokolsky, I Lee
Proceedings of the 2nd ACM international conference on High confidence …, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20