| 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 | 337 | 2019 |
| 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 | 98 | 2020 |
| 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 | 96 | 2015 |
| 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 | 83 | 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 | 72 | 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 | 56 | 2016 |
| 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 | 50 | 2021 |
| 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 | 45 | 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 | 44 | 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 | 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 | 27 | 2015 |
| Resilient multidimensional sensor fusion using measurement history R Ivanov, M Pajic, I Lee Proceedings of the 3rd international conference on High confidence networked …, 2014 | 26 | 2014 |
| 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 | 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 | 19 | 2017 |
| Credal Bayesian deep learning M Caprio, S Dutta, KJ Jang, V Lin, R Ivanov, O Sokolsky, I Lee Transactions on Machine Learning Research, 2024 | 18 | 2024 |
| 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 | 18 | 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 |
| Parameter invariant design of medical alarms J Weimer, R Ivanov, A Roederer, S Chen, I Lee IEEE Design & Test, 0 | 15* | |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu