| 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 | 339 | 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 | 98 | 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 | 96 | 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 | 84 | 2021 |
| 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 | 73 | 2020 |
| 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 | 55 | 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 | 43 | 2021 |
| Attack-resilient sensor fusion R Ivanov, M Pajic, I Lee Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 …, 2014 | 36 | 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 | 30 | 2018 |
| Resilient multidimensional sensor fusion using measurement history R Ivanov, M Pajic, I Lee Proceedings of the 3rd international conference on High confidence networked …, 2014 | 29 | 2014 |
| 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 | 26 | 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 | 23* | 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 | 22 | 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 | 21 | 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 | 20 | 2021 |
| 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 | 19 | 2017 |
| Reducing pulse oximetry false alarms without missing life‐threatening events H Nguyen, S Jang, R Ivanov, CP Bonafide, J Weimer, I Lee Smart Health 9, 287-296, 2018 | 17 | 2018 |
| 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 | 16 | 2018 |
| Imprecise Bayesian Neural Networks M Caprio, S Dutta, KJ Jang, V Lin, R Ivanov, O Sokolsky, I Lee arXiv preprint arXiv:2302.09656, 2023 | 15 | 2023 |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu