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

 

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.

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.

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.

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.

Attack-Resilient State Estimation in the Presence of Noise. Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas. In Proceedings of 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015.

Platform-Specific Code Generation from Platform-Independent Timed Models. BaekGyu Kim, Lu Feng, Oleg Sokolsky and Insup Lee. In IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Optimizing the Resource Requirements of Hierarchical Scheduling Systems. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, and Jin-Young Choi. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), held in conjunction with 36th IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Towards Compositional Mixed-Criticality Real-Time Scheduling in Open Systems. Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, and Insup Lee. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), held in conjunction with 36th IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Cache-aware Interfaces for Compositional Real-Time Systems. Linh T.X. Phan, Meng Xu, and Insup Lee. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015), held in conjunction with 36th IEEE Real-Time Systems Symposium (RTSS 2015), San Antonio, TX, USA, December 2015.

Relevant Publications

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