Characterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. Journal of Diabetes Research, Vol 2021, Num 6611064, February 2021.

Verifying the Safety of Autonomous Systems with Neural Network Controllers. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. ACM Transactions on Embedded Computing Systems (TECS) 20, Vol 1, Num 1, pp 1 -26, December 2020.

Compositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, and Insup Lee. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol 39, Num 11, pp 3288-3299, November 2020.

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling. Jaewoo Lee, Saravanan Ramanathan, Kieu-My Phan, Arvind Easwaran, Insik Shin, and Insup Lee. In IEEE Transactions on Computers, Volume 67, Issue 4, pp. 469-483, April 2018.

Continuous Glucose Monitoring for Hypoglycemia Avoidance and Glucose Counterregulation in Long-Standing Type 1 Diabetes. Michael R. Rickels, Amy J. Peleckis, Cornelia Dalton-Bakes, Joseph R. Naji, Nina Ran, Huong-Lan Nguyen, Shannon O'Brien, Sanjian Chen,Insup Lee, and Mark H. Schutta. In The Journal of Clinical Endocrinology & Metabolism, Volume 103, Issue 1, pp. 105-114, January 2018, published November 2017.

Parameter-Invariant Monitor Design for Cyber Physical Systems. James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, and Insup Lee. In Proceedings of the IEEE, Volume 106, Issue 1 pp.71-92, January 2018, published September 2017.

Process Algebraic Approach to the Schedulability Analysis and Workload Abstraction of Hierarchical Real-Time Systems. Junkil Park, Insup Lee, Oleg Sokolsky, Dae Yon Hwang, Sojin Ahn, Jin-Young Choi, and Inhye Kang. In Journal of Logical and Algebraic Methods in Programming (JLAMP), Volume 92, pp.1-18, November 2017.

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, and Insup Lee. In ACM Transactions on Cyber-Physical Systems, Volume 1 Issue 3, Article No. 15, July 2017.

Attack-Resilient State Estimation for Noisy Dynamical Systems. Miroslav Pajic, Insup Lee, George J. Pappas. In IEEE Transactions on Control of Network Systems, Volume 4 Issue 1, pp. 82-92, March 2017.

Design and Implementation of Attack-Resilient Cyber-Physical Systems. Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George J. Pappas, and Insup Lee. In IEEE Control Systems , Volume 37 Issue 2, pp. 68-81, April 2017.

Data-driven Adaptive Safety Monitoring using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. Sanjian Chen, Oleg Sokolsky, James Weimer, and Insup Lee. In Journal of Computer Science and Engineering, Volume 10, Num.3, pp.75-84, September 2016 (Open Access).

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. Radoslav Ivanov, Miroslav Pajic, and Insup Lee. In ACM Transactions on Embedded Computing Systems, Volume 15 Issue 1, February 2016.

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. Meng Xu, Linh T.X. Phan, Oleg Sokolsky, Sisu Xi, Chenyang. Lu, Christopher D. Gill, and Insup Lee. In Real-Time Systems Journal, Volume 51, Issue 6, pp 675-723, November 2015, published online April 2015.

Parameter-Invariant Design of Medical Alarms. James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, and Insup Lee. In IEEE Design & Test, Volume 32, Issue 5, pp 9-16, October 2015.

Prediction of Significant Vasospasm in Aneurysmal Subarachnoid Hemorrhage Using Automated Data. Alexander Roederer, John H. Holmes, Michelle J. Smith, Insup Lee, Soojin Park. In Neurocrit Care, Vol. 21, Num. 3, pp. 444-50, December 2014.

Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. M. Pajic, Z. Jiang, O. Sokolsky, I. Lee and R. Mangharam. In ACM Transactions on Embedded Computing, Volume 13 Issue 4s, Article No. 127, July 2014.

Model-Driven Safety Analysis of Closed-Loop Medical Systems. Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee. In IEEE Transactions on Industrial Informatics, 10(1), 2014, pp 3-16. Published in IEEE Xplore Early Access October 2012.

AS-CRED: Reputation and Alert Service for Inter-domain Routing. Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, and Oleg Sokolsky. In IEEE Systems Journal, Vol. 7(3), pp. 396-409, (September 2013).

A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems. Madhukar Anand, Sebastian Fischmeister, and Insup Lee. In ACM Transactions on Embedded Computing Systems (TECS), Volume 13 Issue 1, Article No. 2, August 2013.

Security and Interoperable Medical Device Systems, Part 2: Failures, Consequences and Classifications. Eugene Y. Vasserman, Krishna K. Venkatasubramanian, Oleg Sokolsky, and Insup Lee. In IEEE Security & Privacy. 10(6), pp 70 - 73, November-December 2012.

Security and Interoperable Medical Device Systems: Part 1. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, and Insup Lee. In IEEE Security & Privacy. 10(5), pp 61 - 63, September-October 2012.

Trust in Collaborative Web Applications. Andrew West, Jian Chang, Krishna Venkatasubramanian, Insup Lee. In Elsevier Future Generation Computer Systems, Volume 28, Issue 8, pp.1238–1251, October 2012 (Invited Paper). Based in part on UPENN MS-CIS-10-33 technical report

Challenges and Research Directions in Medical Cyber-Physical Systems. Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian. In Special Issue on Cyber-Physical Systems, Proceedings of the IEEE, Volume 100, Issue 1, pp.75-90, January 2012 (Invited Paper).

PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Anna Philippou, Insup Lee, and Oleg Sokolsky. In Theoretical Computer Science, Volume 413, Issue 1, 2012, pp.2-20. Manuscript Number: TCS-D-10-00731R2, January 2012.

Limitations of Threshold-Based Brain Oxygen Monitoring for Seizure Detection. Soojin Park, Alexander Roederer, Ram Mani, Sarah Schmitt, Peter D. LeRoux, Lyle H. Ungar, Insup Lee, Scott E. Kasner. In Neurocritical Care. December 2011, Volume 15, Issue 3, pp 469-476

Permission to speak: A logic for access control and conformance. Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky. In Journal of Logic and Algebraic Programming, Vol. 80(1), pp. 50-74, January 2011.

Generating Reliable Code from Hybrid-Systems Models. Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, and Insup Lee. In IEEE Transactions on Computers, Vol. 59(9) pp. 1281--1294, September, 2010.

Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet. Sebastian Fischmeister, Robert Trausmuth, and Insup Lee. In IEEE Transactions on Industrial Informatics, Vol.5, no.3, pp. 325-337, August 2009.

Plug-and-Play for Medical Devices: Experiences from a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth, Biomedical Instrumentation & Technology, Volume 43, Issue 4 (July-August 2009) p.313-317.

Dynamic Trust Management, Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee, IEEE Computer, Volume 42, Issue 2, February 2009, pp. 44-52.

Compositional Real-Time Scheduling Framework with Periodic Model, Insik Shin and Insup Lee, ACM Transactions on Embedded Computing Systems (TECS), vol 7, no 3, April 2008.

A design framework for real-time embedded systems with code size and energy constraints, Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang L. Min, ACM Transactions on Embedded Computing Systems (TECS), vol 7, no 2, February 2008.

A Verifiable Language for Programming Communication Schedules, S. Fischmeister, O. Sokolsky, and I. Lee, IEEE Transactions on Computers, Vol. 56, pp. 1505-1519, November 2007.

Resources in Process Algebra, Insup Lee, Anna Philippou, Oleg Sokolsky, Journal of Logic and Algebraic Programming, Vol. 72, pp. 98-122, May/June 2007.

Compositional modeling for refinement for hierarchical hybrid systems, Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky, The Journal of Logic and Algebraic Programming, Volume 68, Issue 1-2, 2006, pp. 105-128.

High-Confidence Medical Device Software and Systems, Insup Lee, George J. Pappas, RanceCleaveland, JohnHatcliff, Bruce H.Krogh, Peter Lee, HarveyRubin, and Lui Sha, IEEE Computer, Volume 39, Issue 4, April 2006, pp. 33-38.

Opportunities and obligations for physical computing systems, John A. Stankovic, Insup Lee, Aloysius Mok, and Raj Rajkumar, Computer, Volume 38, Issue 11, November 2005, pp. 23-31.

Java-MaC: A Run-time Assurance Tool for Java Programs, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan Formal Methods in Systems Design, Vol 24, No 2, March 2004.

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System, Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, Jiaxiang Zhou International Journal in Software Tools for Technology Transfer (2004) Volume 5, Issue 4, May 2004, pages 308-319.

Hierarchical Modeling and Analysis of Embedded Systems, Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George Pappas, and Oleg Sokolsky, Proceedings of IEEE, Vol. 91, No 1, January 2003, pp. 11-28.

Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky, Computing and Control Engineering Journal, Vol 13, Number 4, 2002, pp. 180-188.

Hiding Resources that Can Fail, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott Smolka, Information Processing Letters Volume 80, Issue 1, Oct 2001.

Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan, IEEE Transactions on Software Engineering, Vol. 28, No. 2, Feb 2002, pp. 129-145. (Special Issue on Selected Papers from International Symposium on Sotware Testing and Analysis, 2000).

An Efficient State Space Generation for the Analysis of Real-time Systems, Inhye Kang, Insup Lee, and Young Si Kim, IEEE Transactions of Software Engineering, Vol. 26, No. 5, 2000.

Specification and Analysis of Real-Time Systems with PARAGON, Oleg Sokolsky, Insup Lee, and Hanêne Ben-Abdallah, Annals of Software Engineering, Vol. 7, 1999.

A Graphical Language for Specifying and Analyzing Real-Time Systems, Hanêne Ben-Abdallah and Insup Lee, Special Issue of Integrated Computer-Aided Engineering on Real-time Engineering Systems, Vol 5, No 4, 1998.

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems, Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim, Insup Lee and Hong-Liang Xie, Real-Time Systems, Vol 15, 1998.

Parallel Algorithms for Relational Coarsest Partition Problems, S.Rajasekaran and Insup Lee, IEEE Transactions on Parallel and Distributed Systems, Vol 9, No 7, July 1998.

A Process Algebra of Communicating Shared Resources with Dense Time and Priorities, Patrice Bremond-Gregoire and Insup Lee, Theoretical Computer Science, 189 1997.

A Complete Axiomatization of Finite-state (ACSR) Processes, Patrice Bremond-Gregoire, Jin-Young Choi and Insup Lee, Information and Computation, Nov 1997.

VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems, Duncan Clarke, Insup Lee and Hong-Liang Xie, Journal of Computer Software Engineering, 3(2) 1995.

A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems, Insup Lee, Patrice Bremond-Gregoire and Richard Gerber, Proceedings of the IEEE, Special Issue on Real-Time Systems Jan. 1994, pp. 158-171. (Invited Paper). IEEE Version

RTC: Language Support for Real-Time Concurrency, Victor Wolfe, Susan Davidson and Insup Lee, Real-Time Systems, Volume 5, Number 1, 1993, pp. 63-87.

Timed Atomic Commitment, Susan B. Davidson, Insup Lee, Victor Wolfe, IEEE TRANSACTIONS ON COMPUTERS, VOL. 40, NO. 5, MAY 1991.

A Performance Analysis of Timed Synchronous Comunication Primitives, Insup Lee, Susan B. Davidson, IEEE TRANSACTIONS ON COMPUTERS, VOL. 39, NO. 9, SEPTEMBER 1990.

Adding Time to Synchronous Process Communications, Insup Lee, Susan B. Davidson, IEEE TRANSACTIONS ON COMPUTERS, VOL. C-36, NO. 8, August 1987 .

Relevant Publications

• Google Scholar
• DBLP


• PRECISE Publications
• RTG Publications