| Cyber-physical systems: the next computing revolution R Rajkumar, I Lee, L Sha, J Stankovic Proceedings of the 47th design automation conference, 731-736, 2010 | 2626 | 2010 |
| Periodic resource model for compositional real-time guarantees I Shin, I Lee RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 2-13, 2003 | 700 | 2003 |
| Challenges and research directions in medical cyber–physical systems I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ... Proceedings of the IEEE 100 (1), 75-90, 2011 | 496 | 2011 |
| 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 | 329 | 2019 |
| Java-MaC: A run-time assurance approach for Java programs M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky Formal methods in system design 24, 129-155, 2004 | 325 | 2004 |
| Compositional real-time scheduling framework with periodic model I Shin, I Lee ACM Transactions on Embedded Computing Systems (TECS) 7 (3), 1-39, 2008 | 324 | 2008 |
| Modular specification of hybrid systems in CHARON R Alur, R Grosu, Y Hur, V Kumar, I Lee Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000 | 303 | 2000 |
| Robustness of attack-resilient state estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014 | 283 | 2014 |
| Medical cyber physical systems I Lee, O Sokolsky Proceedings of the 47th design automation conference, 743-748, 2010 | 283 | 2010 |
| Compositional analysis framework using EDP resource models A Easwaran, M Anand, I Lee 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 129-138, 2007 | 275 | 2007 |
| Opportunities and obligations for physical computing systems JA Stankovic, I Lee, A Mok, R Rajkumar Computer 38 (11), 23-31, 2005 | 275 | 2005 |
| Java-MaC: a run-time assurance tool for Java programs M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001 | 263 | 2001 |
| Runtime assurance based on formal specifications I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan International Conference on Parallel and Distributed Processing Techniques …, 1999 | 250 | 1999 |
| Hierarchical scheduling framework for virtual clustering of multiprocessors I Shin, A Easwaran, I Lee 2008 Euromicro Conference on Real-Time Systems, 181-190, 2008 | 246 | 2008 |
| Compositional real-time scheduling framework I Shin, I Lee 25th IEEE International Real-Time Systems Symposium, 57-67, 2004 | 228 | 2004 |
| Attack-resilient state estimation for noisy dynamical systems M Pajic, I Lee, GJ Pappas IEEE Transactions on Control of Network Systems 4 (1), 82-92, 2016 | 209 | 2016 |
| A temporal logic based theory of test coverage and generation HS Hong, I Lee, O Sokolsky, H Ural International conference on tools and algorithms for the construction and …, 2002 | 209 | 2002 |
| Formally specified monitoring of temporal properties M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 1999 | 199 | 1999 |
| A framework and architecture for multi-robot coordination R Fierro, A Das, J Spletzer, J Esposito, V Kumar, JP Ostrowski, G Pappas, ... The International Journal of Robotics Research 21 (10-11), 977-995, 2002 | 198 | 2002 |
| High-confidence medical device software and systems I Lee, GJ Pappas, R Cleaveland, J Hatcliff, BH Krogh, P Lee, H Rubin, ... Computer 39 (4), 33-38, 2006 | 190 | 2006 |
Oleg SokolskyUniversity of PennsylvaniaEmail verificata su cis.upenn.edu
