Insup Lee

Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania

For latest publications, please check my Google Scholar or DBLP pages:

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, Insup Lee. Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV), Los Angeles, CA, July 2021.

Detecting OODs as datapoints with High Uncertainty. Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee. Proceedings of Workshop on Uncertainty and Robustness in Deep Learning (UDL), Virtually, July 2021.

ModelGuard: Runtime Validation of Lipschitz-continuous Models. Taylor Carpenter, Radoslav Ivanov, Insup Lee, James Weimer. Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belgium, July 2021.

Raproto: An Open Source Platform for Rapid Prototyping of Wearable Medical Devices. Amanda Watson, Hyonyoung Choi, Insup Lee, and James Weimer. Proceedings of the 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Nashville, TN, May 2021.

Real-time detectors for digital and physical adversarial inputs to perception systems. Yiannis Kantaros, Taylor Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, and James Weimer. Proceedings of the 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Nashville, TN, May 2021.

Improving Classifier Confidence using Lossy Label-Invariant Transformations. Sooyong Jang, Insup Lee, and James Weimer. Proceedings of International Conference on Artificial Intelligence and Statistics (AISTATS), April 2021.

Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher Gill, Linh Phan, Insup Lee, Oleg Sokolsky. Proceedings of the 29th International Conference on Real-Time Networks and Systems (RTNS), Nantes, France, April 2021. (Outstanding paper award)

Characterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. Journal of Diabetes Research, Vol 2021, Num 6611064, February 2021.

Verifying the Safety of Autonomous Systems with Neural Network Controllers. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. ACM Transactions on Embedded Computing Systems (TECS) 20, Vol 1, Num 1, pp 1-26, December 2020.

Compositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, and Insup Lee. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol 39, Num 11, pp 3288-3299, November 2020.

PAC Confidence Predictions for Deep Neural Network Classifiers. Sangdon Park, Shuo Li, Osbert Bastani, and Insup Lee. In submission, November 2020.

Methods, systems, and computer readable media for physiology parameter-invariant meal detection. Sanjian Chen, James Erich Weimer, and Insup Lee, U.S. Patent No. 10,792,423, October 6, 2020.

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. Sangdon Park, Osbert Bastani, James Weimer, and Insup Lee. 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. 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.

Relevant Publications