| 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, 2012 | 522 | 2012 |
| 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 (2), 129-155, 2004 | 317 | 2004 |
| Medical cyber physical systems I Lee, O Sokolsky Proceedings of the 47th Design Automation Conference, 743-748, 2010 | 302 | 2010 |
| Robustness of Attack-resilient State Estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas | 297* | |
| 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 | 265 | 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 | 256 | 1999 |
| Hierarchical modeling and analysis of embedded systems R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ... Proceedings of the IEEE 91 (1), 11-28, 2003 | 242 | 2003 |
| 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 | 211 | 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 | 207 | 1999 |
| Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators M Pajic, J Weimer, N Bezzo, O Sokolsky, GJ Pappas, I Lee IEEE Control Systems 37 (2), 66-81, 2017 | 176 | 2017 |
| Toward patient safety in closed-loop medical device systems D Arney, M Pajic, JM Goldman, I Lee, R Mangharam, O Sokolsky Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010 | 164 | 2010 |
| Real-time multi-core virtual machine scheduling in xen S Xi, M Xu, C Lu, LTX Phan, C Gill, O Sokolsky, I Lee Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 162 | 2014 |
| Data flow testing as model checking HS Hong, SD Cha, I Lee, O Sokolsky, H Ural 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 162 | 2003 |
| Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee IEEE, 2012 | 156 | 2012 |
| Hierarchical hybrid modeling of embedded systems R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ... International Workshop on Embedded Software, 14-31, 2001 | 154 | 2001 |
| Weak bisimulation for probabilistic systems A Philippou, I Lee, O Sokolsky International Conference on Concurrency Theory, 334-349, 2000 | 151 | 2000 |
| Specification-based testing with linear temporal logic L Tan, O Sokolsky, I Lee Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 …, 2004 | 138 | 2004 |
| Incremental model checking in the modal mu-calculus O Sokolsky, S Smolka Computer Aided Verification, 351-363, 1994 | 132 | 1994 |
| Verisim: Formal analysis of network simulations K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ... IEEE Transactions on Software Engineering 28 (2), 129-145, 2002 | 128 | 2002 |
| Schedulability analysis of AADL models O Sokolsky, I Lee, D Clarke Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 125 | 2006 |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
