Radoslav Ivanov
Radoslav Ivanov
Verified email at seas.upenn.edu - Homepage
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
742019
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
662015
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
422016
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
232016
Attack-resilient sensor fusion
R Ivanov, M Pajic, I Lee
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 …, 2014
232014
Resilient multidimensional sensor fusion using measurement history
R Ivanov, M Pajic, I Lee
Proceedings of the 3rd international conference on High confidence networked …, 2014
222014
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
182015
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
132013
Parameter invariant design of medical alarms
J Weimer, R Ivanov, A Roederer, S Chen, I Lee
IEEE Design & Test, 0
13*
Demo abstract: Roslab—A modular programming environment for robotic applications
N Bezzo, J Park, A King, P Gebhard, R Ivanov, I Lee
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014
122014
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
102020
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
102017
Robust Estimation Using Context-Aware Filtering
R Ivanov, N Atanasov, M Pajic, G Pappas, I Lee
53rd Annual Allerton Conference on Communication, Control, and Computing, 2015
102015
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
92017
Adaptive transient fault model for sensor attack detection
M Jo, J Park, Y Baek, R Ivanov, J Weimer, SH Son, I Lee
2016 IEEE 4th International Conference on Cyber-Physical Systems, Networks …, 2016
92016
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
82018
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
72018
Prediction of Critical Pulmonary Shunts in Infants
R Ivanov, J Weimer, AF Simpao, MA Rehman, I Lee
IEEE Transactions on Control Systems Technology, 2016
72016
Continuous estimation using context-dependent discrete measurements
R Ivanov, N Atanasov, M Pajic, J Weimer, GJ Pappas, I Lee
IEEE Transactions on Automatic Control 64 (1), 238-253, 2018
52018
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
42018
The system can't perform the operation now. Try again later.
Articles 1–20