| 2026 | AAAI | Quantifying and Improving Adaptivity in Conformal Prediction Through Input Transformations. | Sooyong Jang, Insup Lee |
| 2026 | AAAI | Conformal Constrained Policy Optimization for Cost-Effective LLM Agents. | Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani |
| 2026 | AsiaCCS | Purified Distillation Slimming (PDS) for Robust Backdoor Defense. | Liqun Shan, Kaiying Han, Yazhou Tu, Insup Lee, Xiali Hei |
| 2025 | AAAI | Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. | Jean Park, Kuk Jin Jang, Basam Alasaly, Sriharsha Mopidevi, Andrew Zolensky, Eric Eaton, Insup Lee, Kevin B. Johnson |
| 2025 | CHASE | VIBRANT: Early Prediction of Life-Threatening Uterine Atony Using Maternal Heart Rate. | Kimberly Trout, Stefanie Modri, Amanda Watson, Insup Lee, Harish Sehdev, James Weimer |
| 2025 | EMNLP | MrGuard: A Multilingual Reasoning Guardrail for Universal LLM Safety. | Yahan Yang, Soham Dan, Shuo Li, Dan Roth, Insup Lee |
| 2025 | ICLR | REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments. | Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, Insup Lee |
| 2025 | MICCAI | Reliable and Interpretable Visual Field Progression Prediction with Diffusion Models and Conformal Risk Control. | Wenwen Si, Vivian Lin, Bo Sun, Kuk Jin Jang, Rubo Xing, Almiqdad Saeed, Rina Nagatani, Oleg Sokolsky, Insup Lee, Lama Al-Aswad |
| 2025 | Mobisys | Tracking Blink Dynamics and Mental States on Glasses. | Dongyin Hu, Xin Yang, Ahhyun Yuh, Zihao Wang, Lama A. Al-Aswad, Insup Lee, Mingmin Zhao |
| 2024 | AAAI | Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. | Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann |
| 2024 | CHASE | Preface; CHASE 2024. | Insup Lee, Weisong Shi, Zhe He, Ye Sun |
| 2024 | CHASE | Automating Weak Label Generation for Data Programming with Clinicians in the Loop. | Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee |
| 2024 | CHI | Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. | Xiayan Ji, Ahhyun Yuh, Viktor Erdlyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee |
| 2024 | EMNLP | Uncertainty in Language Models: Assessment through Rank-Calibration. | Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban |
| 2024 | BSN | Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. | Tarek Hamid, Kimberly Helm, Hyonyoung Choi, Jean Park, Claire Kendell, Stephanie Cummings, Steve Messe, Stefanie Modri, Insup Lee, James Weimer, Amanda Watson |
| 2024 | ICLR | PAC Prediction Sets Under Label Shift. | Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani |
| 2024 | ICLR | Memory-Consistent Neural Networks for Imitation Learning. | Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee |
| 2024 | MEMOCODE | Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. | Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong |
| 2024 | NAACL | TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. | Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani |
| 2024 | RTSS | Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. | Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong |
| 2023 | ACL | In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. | Yahan Yang, Soham Dan, Dan Roth, Insup Lee |
| 2023 | CHASE | Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. | Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdlyi, George Demiris, Oleg Sokolsky, Insup Lee |
| 2023 | CVPR | Angelic Patches for Improving Third-Party Object Detector Performance. | Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani |
| 2023 | EMNLP | Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. | Yahan Yang, Elior Sulem, Insup Lee, Dan Roth |
| 2023 | Interspeech | Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. | Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris |
| 2023 | RTAS | Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. | Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee |
| 2022 | AAAI | iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. | Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee |
| 2022 | ACSSC | Medical Cyber-Physical Systems: IoMT Applications and Challenges. | Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee |
| 2022 | AsiaCCS | PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. | Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik |
| 2022 | CHASE | GlucoScan: Noninvasive Glucose Monitoring Device. | Claire Kendell, Amanda Watson, Insup Lee, James Weimer |
| 2022 | CHASE | AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. | Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee |
| 2022 | CoRL | Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. | Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris |
| 2022 | ICLR | PAC Prediction Sets Under Covariate Shift. | Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani |
| 2022 | ICML | Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. | Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani |
| 2022 | IROS | Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. | Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo |
| 2022 | KDD | PAC-Wrap: Semi-Supervised PAC Anomaly Detection. | Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee |
| 2022 | VTC | Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. | Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee |
| 2022 | RTSS | Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. | Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee |
| 2021 | AISTATS | Improving Classifier Confidence using Lossy Label-Invariant Transformations. | Sooyong Jang, Insup Lee, James Weimer |
| 2021 | CAV | Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. | Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee |
| 2021 | CHASE | VitalCore: Analytics and Support Dashboard for Medical Device Integration. | Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee |
| 2021 | CHASE | FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. | 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 |
| 2021 | CHASE | High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. | Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer |
| 2021 | CHASE | RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. | Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer |
| 2021 | ICLR | PAC Confidence Predictions for Deep Neural Network Classifiers. | Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani |
| 2021 | VTC | E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. | Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee |
| 2021 | WSC | Data Generation With Prospect: A Probability Specification Tool. | Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu |
| 2021 | RTNS | Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. | Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2020 | AISTATS | Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. | Sangdon Park, Osbert Bastani, James Weimer, Insup Lee |
| 2020 | ICLR | PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. | Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee |
| 2020 | INFOCOM | Poster Abstract: Encrypted Malware Traffic Detection Using Incremental Learning. | Insup Lee, Heejun Roh, Wonjun Lee |
| 2020 | MEMOCODE | REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2020 | SAFECOMP | Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. | Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee |
| 2019 | MEMOCODE | Detecting security leaks in hybrid systems with information flow analysis. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2019 | RTAS | Holistic Resource Allocation for Multicore Real-Time Systems. | Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee |
| 2019 | RV | A Retrospective Look at the Monitoring and Checking (MaC) Framework. | Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
| 2019 | RV | Overhead-Aware Deployment of Runtime Monitors. | Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky |
| 2019 | TACAS | LCV: A Verification Tool for Linear Controller Software. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2018 | HealthCom | ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. | Alberto Huertas Celdrn, Flix J. Garca Clemente, James Weimer, Insup Lee |
| 2018 | ISoLA | Flexible Monitor Deployment for Runtime Verification of Large Scale Software. | Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky |
| 2018 | ISORC | 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 |
| 2018 | ISORC | Data Freshness Over-Engineering: Formulation and Results. | Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee |
| 2018 | ISORC | OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. | Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee |
| 2018 | RTAS | Multi-Mode Virtualization for Soft Real-Time Systems. | Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2018 | SETTA | Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. | Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clment Pit-Claudel, Insup Lee, Oleg Sokolsky |
| 2017 | ISORC | Extensible Energy Planning Framework for Preemptive Tasks. | Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee |
| 2017 | SMC | Trapfetch: A breakpoint-based prefetcher for both launch and run-time. | Jiwoong Won, Oseok Kwon, Junhee Ryu, Junbeom Hur, Insup Lee, Kyungtae Kang |
| 2017 | WCNC | Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks. | Bong-Ho Kim, Doru Calin, Insup Lee |
| 2017 | RTAS | vCAT: Dynamic Cache Management Using CAT Virtualization. | Meng Xu, Linh Thi Xuan Phan, Xuan Phan, Hyon-Young Choi, Insup Lee |
| 2017 | RV | Monitoring Time Intervals. | Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky |
| 2017 | TACAS | Automatic Verification of Finite Precision Implementations of Linear Controllers. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2016 | CHASE | 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, William Hanson III, Insup Lee |
| 2016 | CHASE | Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. | Alexander Roederer, Joseph DiMartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson, Insup Lee |
| 2016 | EMSOFT | Making DDS really real-time with openflow. | Hyon-Young Choi, Andrew L. King, Insup Lee |
| 2016 | GLOBECOM | Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks. | Bong-Ho Kim, Doru Calin, Insup Lee |
| 2016 | IROS | Online planning for energy-efficient and disturbance-aware UAV operations. | Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas |
| 2016 | IROS | Human-interpretable diagnostic information for robotic planning systems. | Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu |
| 2016 | RTAS | Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. | Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Insup Lee |
| 2016 | RTCSA | Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). | Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee |
| 2016 | RTCSA | Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. | Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee |
| 2016 | TACAS | Scalable Verification of Linear Controller Software. | Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky |
| 2015 | DATE | Platform-specific timing verification framework in model-based implementation. | BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2015 | EMSOFT | Automatic verification of linear controller software. | Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky |
| 2015 | ISORC | Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan |
| 2015 | MEMOCODE | Hierarchical multi-formalism proofs of cyber-physical systems. | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| 2015 | RTSS | Platform-Specific Code Generation from Platform-Independent Timed Models. | BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee |
| 2015 | RV | A Hybrid Approach to Causality Analysis. | Shaohui Wang, Yoann Geoffroy, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2015 | SAFECOMP | Representing Confidence in Assurance Case Evidence. | Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee |
| 2015 | SAFECOMP | Towards Assurance for Plug & Play Medical Systems. | Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee |
| 2015 | SAFECOMP | Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. | Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee |
| 2014 | CBMS | Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data. | Alexander Roederer, Jacqueline Soegaard, Insup Lee, Jonathan P. Wanderer, Soojin Park |
| 2014 | CBMS | Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. | Deepthi Shashidhar, Mingzhe Lin, Radoslav Ivanov, Insup Lee, Allan F. Simpao, Arul Lingappan, Jorge A. Glvez, Pablo Laje, Alan W. Flake, Mohamed A. Rehman |
| 2014 | DATE | Attack-resilient sensor fusion. | Radoslav Ivanov, Miroslav Pajic, Insup Lee |
| 2014 | DATE | A layered approach for testing timing in the model-based implementation. | BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee |
| 2014 | EMSOFT | Real-time multi-core virtual machine scheduling in Xen. | Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee |
| 2014 | IROS | Attack resilient state estimation for autonomous robotic systems. | Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee |
| 2014 | ICSE | Exploring the twin peaks using probabilistic verification techniques. | Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee |
| 2014 | ISORC | The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. | Andrew L. King, Sanjian Chen, Insup Lee |
| 2014 | RTSS | MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. | Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee |
| 2013 | CASES | Platform-dependent code generation for embedded real-time software. | BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2013 | CISS | Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. | James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee |
| 2013 | EICS | Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby |
| 2013 | INFOCOM | PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system. | Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee |
| 2013 | PST | TrustForge: Flexible access control for collaborative crowd-sourced environment. | Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian |
| 2013 | RTSS | Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. | Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill |
| 2013 | RTAS | Improving schedulability of fixed-priority real-time systems using shapers. | Linh T. X. Phan, Insup Lee |
| 2013 | RTAS | Overhead-aware compositional analysis of real-time systems. | Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky |
| 2013 | RV | A Causality Analysis Framework for Component-Based Real-Time Systems. | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2013 | SAFECOMP | Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby |
| 2012 | DSN | Invited talk: Challenges in Medical Cyber-Physical Systems. | Insup Lee |
| 2012 | FC | Spamming for Science: Active Measurement in Web 2.0 Abuse Research. | Andrew G. West, Pedram Hayati, Vidyasagar M. Potdar, Insup Lee |
| 2012 | RTSS | Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. | Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee |
| 2012 | RSP | A model-based I/O interface synthesis framework for the cross-platform software modeling. | BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2012 | RTAS | Realizing Compositional Scheduling through Virtualization. | Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky |
| 2012 | RTAS | From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. | Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam |
| 2012 | SAFECOMP | A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky |
| 2011 | CASES | Compositional analysis of real-time embedded systems. | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2011 | EMNLP | Computing Logical Form on Regulatory Texts. | Nikhil Dinesh, Aravind K. Joshi, Insup Lee |
| 2011 | EMSOFT | Safety-assured development of the GPCA infusion pump software. | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley |
| 2011 | EMSOFT | Challenges in the regulatory approval of medical cyber-physical systems. | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl |
| 2011 | ICSE | On effective testing of health care simulation software. | Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil |
| 2011 | RTAS | Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. | Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky |
| 2011 | RTAS | A Semantic Framework for Mode Change Protocols. | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2011 | RTCSA | Video Quality Driven Buffer Sizing via Frame Drops. | Deepak Gangadharan, Linh T. X. Phan, Samarjit Chakraborty, Roger Zimmermann, Insup Lee |
| 2011 | RTCSA | Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems. | Linh T. X. Phan, Insup Lee |
| 2011 | RV | Runtime Verification of Traces under Recording Uncertainty. | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee |
| 2010 | ACSAC | Spam mitigation using spatio-temporal reputations from blacklist history. | Andrew G. West, Adam J. Aviv, Jian Chang, Insup Lee |
| 2010 | CIKM | Towards a data-centric view of cloud security. | Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee |
| 2010 | DAC | Medical cyber physical systems. | Insup Lee, Oleg Sokolsky |
| 2010 | DAC | Cyber-physical systems: the next computing revolution. | Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic |
| 2010 | ECRTS | Compositional Analysis of Multi-mode Systems. | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2010 | EMSOFT | Modeling buffers with data refresh semantics in automotive architectures. | Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee |
| 2010 | ICSE | Prototyping closed loop physiologic control with the medical device coordination framework. | Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter |
| 2010 | ISoLA | Assurance Cases in Model-Driven Development of the Pacemaker Software. | Eunkyoung Jee, Insup Lee, Oleg Sokolsky |
| 2010 | ISORC | Model-Based Programming of Modular Robots. | David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim |
| 2010 | Middleware | On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform. | Zhuoyao Zhang, Linh T. X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, Insup Lee |
| 2010 | RTCSA | A Safety-Assured Development Approach for Real-Time Software. | Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee |
| 2010 | SAFECOMP | Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. | Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee |
| 2009 | ISORC | Resource Scopes: Toward Language Support for Compositional Determinism. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2009 | RTSS | Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. | Linh T. X. Phan, Samarjit Chakraborty, Insup Lee |
| 2009 | RTCSA | A Compositional Scheduling Framework for Digital Avionics Systems. | Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal |
| 2009 | RV | Untitled record | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee |
| 2008 | ECRTS | Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. | Insik Shin, Arvind Easwaran, Insup Lee |
| 2008 | ETFA | Hardware acceleration for verifiable, adaptive real-time communication. | Sebastian Fischmeister, Insup Lee, Robert Trausmuth |
| 2008 | ISORC | Compositional Feasibility Analysis of Conditional Real-Time Task Models. | Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee |
| 2008 | RV | Checking Traces for Regulatory Conformance. | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky |
| 2007 | ECRTS | Composition Techniques for Tree Communication Schedules. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2007 | EMSOFT | A dynamic scheduling approach to designing flexible safety-critical systems. | Lus Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee |
| 2007 | ISORC | Compositional Schedulability Analysis of Hierarchical Real-Time Systems. | Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky |
| 2007 | RTSS | Compositional Analysis Framework Using EDP Resource Models. | Arvind Easwaran, Madhukar Anand, Insup Lee |
| 2007 | RV | Statistical Runtime Checking of Probabilistic Properties. | Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr |
| 2006 | CCS | Securing the drop-box architecture for assisted living. | Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee |
| 2006 | EMSOFT | An analysis framework for network-code programs. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2006 | EMSOFT | Incremental schedulability analysis of hierarchical real-time components. | Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee |
| 2006 | ISORC | Formal Modeling and Analysis of the AFDX Frame Management Design. | Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee |
| 2006 | RTAS | Network-Code Machine: Programmable Real-Time Communication Schedules. | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee |
| 2006 | TACAS | Simulation-Based Graph Similarity. | Oleg Sokolsky, Sampath Kannan, Insup Lee |
| 2005 | EMSOFT | Distributed-code generation from hybrid systems models for time-delayed multirate systems. | Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee |
| 2005 | ICCSA | Security in Sensor Networks for Medical Systems Torso Architecture. | Chaitanya Penubarthi, Myuhng Joo Kim, Insup Lee |
| 2005 | ISORC | Code Generation from Hybrid Systems Models for Distributed Embedded Systems. | Madhukar Anand, Jesung Kim, Insup Lee |
| 2005 | RTCSA | RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. | Usa Sammapun, Insup Lee, Oleg Sokolsky |
| 2005 | SCAM | Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky |
| 2004 | IRI | Model-based Testing and Monitoring for Hybrid Embedded Systems. | Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee |
| 2004 | IRI | Specification-based Testing with Linear Temporal Logic. | Li Tan, Oleg Sokolsky, Insup Lee |
| 2004 | RTSS | Compositional Real-Time Scheduling Framework. | Insik Shin, Insup Lee |
| 2003 | ICSE | Data Flow Testing as Model Checking. | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2003 | ISORC | Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. | Yerang Hur, Rafael Fierro, Insup Lee |
| 2003 | RTSS | Periodic Resource Model for Compositional Real-Time Guarantees. | Insik Shin, Insup Lee |
| 2003 | RTAS | Modular Code Generation from Hybrid Automata based on Data Dependency. | Jesung Kim, Insup Lee |
| 2003 | TACAS | Modeling and Analysis of Power-Aware Systems. | Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou |
| 2002 | ISORC | Distributed Simulation of Multi-Agent Hybrid Systems. | Yerang Hur, Insup Lee |
| 2002 | RTSS | Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. | Insik Shin, Insup Lee, Sang Lyul Min |
| 2002 | TACAS | A Temporal Logic Based Theory of Test Coverage and Generation. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2001 | EMSOFT | Hierarchical Hybrid Modeling of Embedded Systems. | Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky |
| 2001 | FORTE | A Family of Resource-Bound Real-Time Process Algebras. | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
| 2001 | RTSS | Fair Real-Time Traffic Scheduling over a Wireless LA. | Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou |
| 2000 | CONCUR | Weak Bisimulation for Probabilistic Systems. | Anna Philippou, Insup Lee, Oleg Sokolsky |
| 2000 | ISORC | Fundamental R&D Issues in Real-Time Distributed Computing. | Insup Lee, Mike Jones, Hermann Kopetz, K. H. Kim, Thomas F. Lawrence, Bhavani Thuraisingham |
| 2000 | ISSTA | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 2000 | WSC | Distributed web-based simulation optimization. | Yuh-Chuyn Luo, Chun-Hung Chen, Enver Ycesan, Insup Lee |
| 1999 | ECRTS | Formally specified monitoring of temporal properties. | Moonjoo Kim, Mahesh Viswanathan, Hanne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky |
| 1999 | FM | Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. | Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee |
| 1999 | PDPTA | Runtime Assurance Based On Formal Specifications. | Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan |
| 1998 | CONCUR | Praobabilistic Resource Failure in Real-Time Process Algebra. | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
| 1998 | WSC | Web-based Simulation Experiments. | Enver Ycesan, Chun-Hung Chen, Insup Lee |
| 1998 | RTSS | Symbolic Schedulability Analysis of Real-Time Systems. | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
| 1998 | RTAS | Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. | Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou |
| 1997 | RE | Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. | Hanne Ben-Abdallah, Insup Lee, Young-Si Kim |
| 1997 | RTAS | Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. | Duncan Clarke, Insup Lee |
| 1996 | CAV | XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. | Duncan Clarke, Hanne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky |
| 1996 | ISSTA | An Efficient State Space Generation for Analysis of Real-Time Systems. | Inhye Kang, Insup Lee |
| 1996 | ITC | Testing-Based Analysis of Real-Time System Models. | Duncan Clarke, Insup Lee |
| 1996 | SEKE | A Theory of Testing for Soft Real-Time Processes. | Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka |
| 1995 | ICECCS | Automation of analysis and simulation for understanding of large real-time Ada software. | Moon Lee, Noah S. Prywes, Insup Lee |
| 1995 | ICSE | Testing Real-Time Constraints in a Process Algebraic Setting. | Duncan Clarke, Insup Lee |
| 1995 | RTSS | A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. | Hanne Ben-Abdallah, Insup Lee, Jin-Young Choi |
| 1995 | RTSS | The Specification and Schedulability Analysis of Real-Time Systems using ACSR. | Jin-Young Choi, Insup Lee, Hong-liang Xie |
| 1994 | CAV | A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. | Insup Lee, Sanguthevar Rajasekaran |
| 1993 | CONCUR | ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. | Patrice Brmond-Grgoire, Insup Lee, Richard Gerber |
| 1993 | ICDCS | Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. | Victor Fay Wolfe, Susan B. Davidson, Insup Lee |
| 1991 | RTSS | RTC: language support for real-time concurrency. | Victor Fay Wolfe, Susan B. Davidson, Insup Lee |
| 1990 | CONCUR | CCSR: A Calculus for Communicating Shared Resources. | Richard Gerber, Insup Lee |
| 1990 | RTSS | A Proof System for Communicating Shared Resources. | Richard Gerber, Insup Lee |
| 1989 | ICDCS | A protocol for timed atomic commitment. | Susan B. Davidson, Insup Lee, Victor Fay Wolfe |
| 1989 | RTSS | Communicating Shared Resources: A Model for Distributed Real-Time Systems. | Richard Gerber, Insup Lee |
| 1988 | INFOCOM | Formal specification and analysis of DMI-an X-25 based protocol. | Vijay Gehlot, Insup Lee |
| 1987 | ICDCS | Generalized I/O with Timing Constraints. | Insup Lee, Susan B. Davidson |
| 1987 | ICPP | Synthesis of Topologies with Minimum Total Expansion. | Insup Lee, David Smitley |
| 1986 | ICPP | Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. | Insup Lee, Samuel M. Goldwasser, David Smitley |
| 1986 | RTSS | Protocols for Timed Synchronous Process Communications. | Insup Lee, Susan B. Davidson |
| 1985 | ICRA | A distributed testbed for active sensory processing. | Insup Lee, Samuel M. Goldwasser |
| 1985 | RTSS | Language Constructs for Distributed Real-Time Programming. | Insup Lee, Vijay Gehlot |
| 1985 | RTSS | Proving a Network of Real-Time Processes Correct. | Amy E. Zwarico, Insup Lee |