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 | 292 | 2019 |
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 | 97 | 2015 |
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 | 83 | 2020 |
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 | 61 | 2020 |
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 | 60 | 2021 |
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 | 52 | 2016 |
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 | 44 | 2016 |
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 | 33 | 2021 |
Attack-resilient sensor fusion R Ivanov, M Pajic, I Lee Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 …, 2014 | 31 | 2014 |
Resilient multidimensional sensor fusion using measurement history R Ivanov, M Pajic, I Lee Proceedings of the 3rd international conference on High confidence networked …, 2014 | 30 | 2014 |
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 | 29 | 2018 |
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 | 25 | 2015 |
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 | 21 | 2019 |
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 | 21 | 2018 |
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 | 20 | 2017 |
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 | 17 | 2017 |
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 | 16 | 2021 |
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 | 15 | 2018 |
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 | 14 | 2013 |