UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee UPenn Lee
Home About Me Research Teaching PRECISE RTG Group News Publications Awards Contact
Recent Publications   |   Books   |   Journal Publications   |   Book Chapters   |   Conference Papers   |   Selected Papers by Area   |   Other

 

Detecting Security Leaks in Hybrid Systems with Information Flow Analysis. Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, and Rajeev Alur. In Proceedings of 17th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2019), San Diego, CA, USA, October 2019. (Best Paper Award)

Overhead-aware deployment of runtime monitors. Teng Zhang, Greg Eakman, Insup Lee, and Oleg Sokolsky. In Proceedings of 19th International Conference on Runtime Verification (RV 2019), Porto, Portuga, October 2019.

A Retrospective Look at the Monitoring and Checking (MaC) Framework. Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathan. In Proceedings of 19th International Conference on Runtime Verification (RV 2019), Porto, Portuga, October 2019.

Holistic resource allocation for multicore real-time systems. Meng Xu, Linh T.X. Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, and Insup Lee. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019), Montreal, Canada, April 2019. (Best Paper Award)

Reducing Pulse Oximetry False Alarms Without Missing Life-Threatening Events. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher P. Bonafide, James Weimer, and Insup Lee. In Proceedings of IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2018), Washington, D.C., USA, September 2018.

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin and Shinichi Shiraishi. In Proceedings of IEEE International Conference on Cloud Computing (CLOUD 2018), San Francisco, CA, USA, July 2018.

Data Freshness Over-Engineering: Formulation and Results. Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE ISORC 2018, Singapore, May 2018 (Best Paper Award).

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE ISORC 2018, Singapore, May 2018.

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman. In Proceedings of IEEE ISORC 2018, Singapore, May 2018.

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.

LogSafe: Secure and Scalable Data Logger for IoT Devices. Hung Nguyen, Radoslav Ivanov, Linh T.X. Phan, Oleg Sokolsky, James Weimer, and Insup Lee. In Proceedings of 3rd ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI 2018), Orlando, FL, USA, April 2018.

Joint Rate Control and Demand Balancing for Electric Vehicle Charging. Fanxin Kong, Xue Liu, Insup Lee. In Proceedings of 3rd ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI 2018), Orlando, FL, USA, April 2018.

Context-Aware Detection in Medical Cyber-Physical Systems. Radoslav Ivanov, James Weimer, and Insup Lee. In Proceedings of 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2018), Porto, Portugal, April 2018.

Cyber-Physical System Checkpointing and Recovery. Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee. In Proceedings of 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2018), Porto, Portugal, April 2018.

KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract.. Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun. In Proceedings of 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2018), Porto, Portugal, April 2018.

Parameter Invariant Monitoring for Signal Temporal Logic. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. In Proceedings of 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018), Porto, Portugal, April 2018.

Multi-Mode Virtualization for Soft Real-Time Systems. Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher Gill, Linh T. X. Phan, Insup Lee, and Oleg Sokolsky. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018), Porto, Portugal, 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.

Relevant Publications

Copyright © 2011-2019 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.