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

 

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. Sangdon Park, Osbert Bastani, James Weimer, and Insup Lee. To appear in Proceedings of 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020), Palermo, Italy, June 2020.

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. Sangdon Park, Osbert Bastani, Nikolai Matni, and Insup Lee. To appear in Proceedings of International Conference on Learning Representations (ICLR 2020), Addis Ababa, Ethiopia, April 2020.

Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. To appear in Proceedings of 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020), Sydney, Australia, April 2020. (Received HSCC repeatability badge)

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.M. Hasanbeig, Y. Kantaros, A. Abate, D. Kroening, G. J. Pappas, I. Lee. In Proceedings of 58th IEEE Conference on Decision and Control (CDC 2019), Nice, France, December 2019.

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.

Runtime verification of parametric properties using SMEDL. Teng Zhang, Ramneet Kaur, Insup Lee, and Oleg Sokolsky. In Reactive Systems to Cyber-Physical Systems Lecture Notes in Computer Science, vol 11500, 276-293. September 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).

Verisig: verifying safety properties of hybrid systems with neural network controllers. Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. In Proceedings of 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2019), Montreal, Canada, April 2019.

LCV: A Verification Tool for Linear Controller Software. Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee. In Proceedings of Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee, Prague, Czech Republic, April 2019.

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.

Correct-by-construction implementation of runtime monitors using stepwise refinement. Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clement Pit-Claudel, Insup Lee, and Oleg Sokolsky. In Proceedings of International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2018), Beijing, China, 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.

Relevant Publications

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