关注
Radoslav Ivanov
Radoslav Ivanov
在 rpi.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
2052019
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
902015
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
662016
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
562020
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
312016
Attack-resilient sensor fusion
R Ivanov, M Pajic, I Lee
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 …, 2014
292014
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
252020
Resilient multidimensional sensor fusion using measurement history
R Ivanov, M Pajic, I Lee
Proceedings of the 3rd international conference on High confidence networked …, 2014
252014
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
222015
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
192018
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
182021
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
182018
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
172017
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
142017
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
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
132019
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
132014
Parameter invariant design of medical alarms
J Weimer, R Ivanov, A Roederer, S Chen, I Lee
IEEE Design & Test, 0
13*
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
122018
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
122016
系统目前无法执行此操作,请稍后再试。
文章 1–20