Insup Lee

ORCID

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 174

Top Venues

CoRR

ICCPS

CHASE

ACM Trans. Embed. Comput. Syst.

Publications

Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR (2022)
Souradeep Dutta, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee
Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. CoRR (2022)
Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring (2022)
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. 3 (4) (2022)
Claire Kendell, Amanda Watson, Insup Lee, James Weimer
GlucoScan: Noninvasive Glucose Monitoring Device. CHASE (2022)
Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani
Towards PAC Multi-Object Detection and Tracking. CoRR (2022)
Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
Improving Neural Network Robustness via Persistency of Excitation. ACC (2022)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR (2022)
Yahan Yang, Soham Dan, Dan Roth, Insup Lee
In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. CoRR (2022)
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. AsiaCCS (2022)
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design (2022)
Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. ICCPS (2022)
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR (2022)
Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS (2022)
Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS (2022)
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR (2022)
Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR (2022)
Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee
AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. CHASE (2022)
Insup Lee, Wonjun Lee
UniQGAN: Unified Generative Adversarial Networks for Augmented Modulation Classification. IEEE Commun. Lett. 26 (2) (2022)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. ICCPS (2022)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI (2022)
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR (2022)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets Under Covariate Shift. ICLR (2022)
Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. KDD (2022)
Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR (2022)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS (2022)
Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani
Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. ICML (2022)
Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. CoRR (2022)
Paul Bogdan, Radu Grosu, Insup Lee
Introduction to the Special Issue on Internet-of-Medical-Things. ACM Trans. Comput. Heal. 3 (3) (2022)
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR (2022)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets for Meta-Learning. CoRR (2022)
Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani
PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR (2021)
Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Sooyong Jang, Insup Lee, James Weimer
Improving Classifier Confidence using Lossy Label-Invariant Transformations. AISTATS (2021)
Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu
Data Generation With Prospect: A Probability Specification Tool. WSC (2021)
Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, Insup Lee
FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE (2021)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets Under Covariate Shift. CoRR (2021)
Md Fazle Rabby, Yazhou Tu, Md Imran Hossen, Insup Lee, Anthony S. Maida, Xiali Hei
Stacked LSTM Based Deep Recurrent Neural Network with Kalman Smoothing for Blood Glucose Prediction. CoRR (2021)
Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee
VitalCore: Analytics and Support Dashboard for Medical Device Integration. CHASE (2021)
Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. RTNS (2021)
Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) (2021)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR (2021)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
Detecting OODs as datapoints with High Uncertainty. CoRR (2021)
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS (2021)
Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
Robust Learning via Persistency of Excitation. CoRR (2021)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. CoRR (2021)
Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer
RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE (2021)
Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
Confidence Calibration with Bounded Error Using Transformations. CoRR (2021)
Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS (2021)
Md Fazle Rabby, Yazhou Tu, Md Imran Hossen, Insup Lee, Anthony S. Maida, Xiali Hei
Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction. BMC Medical Informatics Decis. Mak. 21 (1) (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE (2021)
Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring (2021)
Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space (2021)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR (2021)
Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR (2020)
Sooyong Jang, Insup Lee, James Weimer
Improving Classifier Confidence using Lossy Label-Invariant Transformations. CoRR (2020)
Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. ICLR (2020)
Akhilesh Gupta, Nesime Tatbul, Ryan Marcus, Shengtian Zhou, Insup Lee, Justin Gottschlich
Class-Weighted Evaluation Metrics for Imbalanced Data Classification. CoRR (2020)
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR (2020)
Arvind Easwaran, Insik Shin, Insup Lee
Optimal Virtual Cluster-based Multiprocessor Scheduling. CoRR (2020)
Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee
PAC Confidence Predictions for Deep Neural Network Classifiers. CoRR (2020)
John A. Stankovic, Insup Lee
Inaugural Issue Editorial. ACM Trans. Comput. Heal. 1 (1) (2020)
Insup Lee, Heejun Roh, Wonjun Lee
Poster Abstract: Encrypted Malware Traffic Detection Using Incremental Learning. INFOCOM Workshops (2020)
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS (2020)
Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops (2020)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC (2020)
Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27 (2) (2020)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE (2020)
Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. CoRR (2020)
Hyo Jin Jo, Jin Hyun Kim, Hyon-Young Choi, Wonsuk Choi, Dong Hoon Lee, Insup Lee
MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks. IEEE Trans. Veh. Technol. 69 (2) (2020)
Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV (2019)
Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee
Holistic Resource Allocation for Multicore Real-Time Systems. RTAS (2019)
Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee
Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Sensors 19 (5) (2019)
Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky
Overhead-Aware Deployment of Runtime Monitors. RV (2019)
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC (2019)
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR (2019)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC (2019)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR (2019)
Kyungtae Kang, Insup Lee, Kai Liu, Man-Ki Yoon, Kyung-Joon Park
Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems. IEEE Internet Things J. 6 (4) (2019)
Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64 (1) (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE (2019)
Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
LCV: A Verification Tool for Linear Controller Software. TACAS (1) (2019)
Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky
Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR (2019)
Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek (2019)
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3 (3) (2019)
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC (2018)
Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky
Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) (2018)
Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee
Data Freshness Over-Engineering: Formulation and Results. ISORC (2018)
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC (2018)
Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun
KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract. ICCPS (2018)
Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei
Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. CoRR (2018)
Insup Lee, Miroslav Pajic
Guest Editorial: Special Issue on Medical Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR (2018)
Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
Multi-Mode Virtualization for Soft Real-Time Systems. RTAS (2018)

Insup Lee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Insup Lee