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

 

Extensible Energy Planning Framework for Preemptive Tasks. Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee. To appear 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. To appear 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.

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.

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.

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 Sensor Fusion for Safety-Critical Cyber-Physical. Radoslav Ivanov, Miroslav Pajic, and Insup Lee. To appear in ACM Transactions on Embedded Computing Systems,accepted in Nov 2015.

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.

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.

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, and Insup Lee. In IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015), Dallas, TX, USA, October 2015.

An Intraoperative Glucose Control Benchmark for Formal Verification. Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, and Insup Lee. In 5th IFAC conference on Analysis and Design of Hybrid Systems (ADHS 2015), Atlanta, GA, USA, October 2015.

Automatic Verification of Linear Controller Software. Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky. In Proceedings of International Conference on Embedded Software (EMSOFT 2015), Amsterdam, the Netherlands, October 2015.

Robust Estimation Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee. In Proceedings of 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, IL, September/October 2015.

A Hybrid Approach to Causality Analysis. Shaohui Wang, Yoann Geo ffroy, Gregor Gossler, Oleg Sokolsky, and Insup Lee. In 15th International Conference on Runtime Verification (RV 2015), Vienna, Austria, September 2015.

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, and Insup Lee. In International Conference on Computer Safety, Reliability & Security (SEFECOMP 2015), Delft, the Netherlands, September 2015.

Towards Assurance for Plug & Play Medical Systems. Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, and Insup Lee. In International Conference on Computer Safety, Reliability & Security (SEFECOMP 2015), Delft, the Netherlands, September 2015.

Robust Monitoring of Hypovolemia in Intensive Care Patients using Photoplethysmogram Signals. Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2015), Milan, Italy, August 2015.

Robust Localization Using Context-Aware Filtering. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas. In Proceedings of Workshop on Multi-View Geometry in Robotics (MVIGRO 2015) (in conjunction with the 2015 Robotics: Science and Systems Conference (RSS 2015)), Rome, Italy, July 2015.

RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing. Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky. In 8th IEEE International Conference on Cloud Computing (IEEE CLOUD), New York, USA, June 2015.

Verified ROS-Based Deployment of Platform-Independent Control Systems. Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee. In Proceedings of 7th NASA Formal Methods Symposium (NFM 2015), Pasadena, CA, April 2015.

Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. In 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), Seattle, WA, April 2015.

Towards a Model-Based Meal Detector for Type I Diabetics. Sanjian Chen, James Weimer, Michael Rickels, Amy Peleckis and Insup Lee. In 6th Workshop on Medical Cyber-Physical Systems (MedicalCPS 2015), Seattle, WA, April 2015.

Early Detection of Critical Pulmonary Shunts in Infants. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.

Sensor attack detection in the presence of transient faults. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee. In Proceedings of 6th International Conference on Cyber-Physical Systems (ICCPS 2015), Seattle, WA, April 2015.

Platform-Specific Timing Verification Framework in Model-Based Implementation. BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, and Insup Lee. In Proceedings of Design, Automation & Test in Europe (DATE 2015), Grenoble, France, March 2015.

Relevant Publications

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