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

 

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.

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.

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.

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.

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.

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. Jaewoo Lee, Hoon Sung Chwa, Linh T.X. Phan, Insik Shin, and Insup Lee. In Proceedings of International Conference on Embedded Software (EMSOFT 2017), Seoul, South Korea, October 2017.

Monitoring Time Intervals. Teng Zhang, John Wiegley, Insup Lee, and Oleg Sokolsky. In Proceedings of 17th International Conference on Runtime Verification (RV 2017), Seattle, USA, September 2017.

Extensible Energy Planning Framework for Preemptive Tasks. Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee. In Proceedings of 20th International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada, May 2017.

Automatic Verification of Finite Precision Implementations of Linear Controllers. Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. In Proceedings of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Uppsala, Sweden, April 2017.

vCAT: Dynamic Cache Management Using CAT Virtualization. Meng Xu, Linh T.X. Phan, Hyon-Young Choi, and Insup Lee. In 23th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 17), Pittsburgh, PA, April 2017.

AutoV: An Automotive Testbed for Real-Time Virtualization. Meng Xu and Insup Lee. In Second TCRTS Workshop on Certifiable Multicore Avionics and Automotive Systems (CMAAS 2017), Pittsburgh, PA, April 2017.

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. Sangdon Park, James Weimer, and Insup Lee. In 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2017), Pittsburgh, PA, 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).

Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions. Deepak Gangadharan, Jin Hyun Kim, Insup Lee, Oleg Sokolsky, BaekGyu Kim, and Shinichi Shiraishi. In Proceedings of 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016), Daegu, South Korea, August 2016 (Invited paper).

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. Alexander Roederer, Joseph Dimartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson III, and Insup Lee. In Proceedings of First IEEE Conference on Connected Health Applications, Systems and Engineering Technologies (IEEE CHASE 2016), Washington, DC, June 2016.

Cloud-Based Secure Logger for Medical Devices. Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T.X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, C. William Hanson III, and Insup Lee. In Proceedings of IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2016), Washington, DC, USA, June 2016.

Monitoring Assumptions in Assume-Guarantee Contracts. Oleg Sokolsky, Teng Zhang, Insup Lee, and Michael McDougall. In Proceedings of Workshop on Pre- and Post-Deployment Verification Techniques (PrePost@IFM), Reykjavik, Iceland, June 2016.

Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi and Insup Lee. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016), Vienna, Austria, April 2016.

Estimation of Blood Oxygen Content Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee. In Proceedings of 7th International Conference on Cyber-Physical Systems (ICCPS 2016), Vienna, Austria, April 2016.

Protecting interoperable clinical environment with authentication. Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee. In Proceedings of Medical CPS workshop 2016, Vienna, Austria, April 2016. Also published in SIGBED Review Vol. 14, Num. 2, February 2017

Scalable Verification of Linear Controller Software. Junkil Park, Miroslav Pajic, Insup Lee and Oleg Sokolsky. In Proceedings of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, The Netherlands, April 2016.

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.

Representation of Confidence in Assurance Cases using the Beta Distribution. Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee. In Proceedings of IEEE High Assurance Systems Engineering Symposium (HASE 2016), Orlando, Florida, USA, January 2016.

Relevant Publications

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