Insup Lee - RankMe

571 papers A* 30A 57B 53C 30Misc 25Journal 186Unranked 184

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Conformal Constrained Policy Optimization for Cost-Effective LLM Agents. AAAI Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani
2026	J	`jnl`	IoT-Based Loneliness Monitoring for Older Adults: Lessons From Japanese and US Communities. IEEE Access Teruhiro Mizumoto, Viktor Erdélyi, Xiayan Ji, Ahhyun Yuh, Takeshi Nakagawa, Takashi Suehiro, Hajime Nagahara, Yasuyuki Gondo, George Demiris, Oleg Sokolsky, Insup Lee, Teruo Higashino
2026	J	`jnl`	On Calibration of Multilingual Question Answering LLMs. Trans. Mach. Learn. Res. Yahan Yang, Soham Dan, Dan Roth, Insup Lee
2026	A*	`conf`	Quantifying and Improving Adaptivity in Conformal Prediction Through Input Transformations. AAAI Sooyong Jang, Insup Lee
2026	J	`jnl`	Report for NSF Workshop on Algorithm-Hardware Co-design for Medical Applications. CoRR Peipei Zhou, Zheng Dong, Insup Lee, Aidong Zhang, Robert Dick, Majid Sarrafzadeh, Xiaodong Wu, Weisong Shi, Zhuoping Yang, Jingtong Hu, Yiyu Shi
2026	J	`jnl`	SMILE: Sensor Data-driven Detection and Counterfactual Pattern Analysis for Loneliness in Older Adults. ACM Trans. Comput. Heal. Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, Takashi Suehiro, Takeshi Nakagawa, Yutian Cheng, Yasuyuki Gondo, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
2026	J	`jnl`	SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems. CoRR Jialiang Fan, Weizhe Xu, Mengyu Liu, Oleg Sokolsky, Insup Lee, Fangxin Kong
2025	—	`conf`	Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. ICCPS Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	A*	`conf`	Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. AAAI Jean Park, Kuk Jin Jang, Basam Alasaly, Sriharsha Mopidevi, Andrew Zolensky, Eric Eaton, Insup Lee, Kevin B. Johnson
2025	J	`jnl`	Conformal Constrained Policy Optimization for Cost-Effective LLM Agents. CoRR Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani
2025	J	`jnl`	Conservative Perception Models for Probabilistic Model Checking. CoRR Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	—	`conf`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. HSCC Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Effective Reinforcement Learning for Reasoning in Language Models. CoRR Lianghuan Huang, Shuo Li, Sagnik Anupam, Insup Lee, Osbert Bastani
2025	J	`jnl`	Evaluating Robustness of Learning-Enabled Medical Cyber-Physical Systems with Naturally Adversarial Datasets. ACM Trans. Cyber Phys. Syst. Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
2025	J	`jnl`	Low-Cost and Fast Epiretinal Membrane Detection and Quantification Based on SD-OCT. IEEE Access Seungju Baek, Insup Lee, Kuk Jin Jang, Yongseop Han, Jin Hyun Kim
2025	J	`jnl`	MR. Guard: Multilingual Reasoning Guardrail using Curriculum Learning. CoRR Yahan Yang, Soham Dan, Shuo Li, Dan Roth, Insup Lee
2025	—	`conf`	Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems. ICCPS Vivian Lin, Insup Lee
2025	J	`jnl`	Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems. CoRR Vivian Lin, Insup Lee
2025	A*	`conf`	MrGuard: A Multilingual Reasoning Guardrail for Universal LLM Safety. EMNLP Yahan Yang, Soham Dan, Shuo Li, Dan Roth, Insup Lee
2025	J	`jnl`	Pattern-Guided Diffusion Models. CoRR Vivian Lin, Kuk Jin Jang, Wenwen Si, Insup Lee
2025	J	`jnl`	Quantifying and Improving Adaptivity in Conformal Prediction through Input Transformations. CoRR Sooyong Jang, Insup Lee
2025	J	`jnl`	RAPID: An Efficient Reinforcement Learning Algorithm for Small Language Models. CoRR Lianghuan Huang, Sagnik Anupam, Insup Lee, Shuo Li, Osbert Bastani
2025	A*	`conf`	REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments. ICLR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, Insup Lee
2025	J	`jnl`	RICL: Adding In-Context Adaptability to Pre-Trained Vision-Language-Action Models. CoRR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, Insup Lee
2025	—	`conf`	Reliable and Interpretable Visual Field Progression Prediction with Diffusion Models and Conformal Risk Control. MICCAI (15) Wenwen Si, Vivian Lin, Bo Sun, Kuk Jin Jang, Rubo Xing, Almiqdad Saeed, Rina Nagatani, Oleg Sokolsky, Insup Lee, Lama Al-Aswad
2025	—	`conf`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. ICCPS Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. CoRR Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	A	`conf`	Tracking Blink Dynamics and Mental States on Glasses. MobiSys Dongyin Hu, Xin Yang, Ahhyun Yuh, Zihao Wang, Lama A. Al-Aswad, Insup Lee, Mingmin Zhao
2025	B	`conf`	VIBRANT: Early Prediction of Life-Threatening Uterine Atony Using Maternal Heart Rate. CHASE Kimberly Trout, Stefanie Modri, Amanda Watson, Insup Lee, Harish Sehdev, James Weimer
2024	—	`conf`	A Novel Bayes' Theorem for Upper Probabilities. Epi UAI Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee
2024	A*	`conf`	AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. NeurIPS Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. CoRR Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. CoRR Jean Park, Kuk Jin Jang, Basam Alasaly, Sriharsha Mopidevi, Andrew Zolensky, Eric Eaton, Insup Lee, Kevin B. Johnson
2024	B	`conf`	Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CHASE Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CoRR Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Benchmarking LLM Guardrails in Handling Multilingual Toxicity. CoRR Yahan Yang, Soham Dan, Dan Roth, Insup Lee
2024	A*	`conf`	Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2024	J	`jnl`	Credal Bayesian Deep Learning. Trans. Mach. Learn. Res. Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
2024	—	`conf`	Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
2024	—	`conf`	DC4L: Distribution shift recovery via data-driven control for deep learning models. L4DC Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
2024	A	`conf`	Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. RTSS Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	—	`conf`	Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
2024	—	`conf`	Fundus Image-based Visual Acuity Assessment with PAC-Guarantees. ML4H@NeurIPS Sooyong Jang, Kuk Jin Jang, Hyonyoung Choi, Yong-Seop Han, Seongjin Lee, Jin-hyun Kim, Insup Lee
2024	J	`jnl`	Fundus Image-based Visual Acuity Assessment with PAC-Guarantees. CoRR Sooyong Jang, Kuk Jin Jang, Hyonyoung Choi, Yong-Seop Han, Seongjin Lee, Jin-hyun Kim, Insup Lee
2024	—	`conf`	IdentityKD: Identity-wise Cross-modal Knowledge Distillation for Person Recognition via mmWave Radar Sensors. MMAsia Liqun Shan, Rujun Zhang, Sai Venkatesh Chilukoti, Xingli Zhang, Insup Lee, Xiali Hei
2024	A*	`conf`	Memory-Consistent Neural Networks for Imitation Learning. ICLR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
2024	J	`jnl`	Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. ACM Trans. Cyber Phys. Syst. Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee
2024	C	`conf`	Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	J	`jnl`	Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees. ACM Trans. Cyber Phys. Syst. Ramneet Kaur, Yahan Yang, Oleg Sokolsky, Insup Lee
2024	A*	`conf`	PAC Prediction Sets Under Label Shift. ICLR Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
2024	B	`conf`	Preface; CHASE 2024. CHASE Insup Lee, Weisong Shi, Zhe He, Ye Sun
2024	J	`jnl`	REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments. CoRR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, Insup Lee
2024	C	`conf`	Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. BSN Tarek Hamid, Kimberly Helm, Hyonyoung Choi, Jean Park, Claire Kendell, Stephanie Cummings, Steve Messe, Stefanie Modri, Insup Lee, James Weimer, Amanda Watson
2024	J	`jnl`	Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee
2024	—	`conf`	Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2024	—	`conf`	TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
2024	—	`conf`	Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2024	A*	`conf`	Uncertainty in Language Models: Assessment through Rank-Calibration. EMNLP Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
2024	J	`jnl`	Uncertainty in Language Models: Assessment through Rank-Calibration. CoRR Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
2023	J	`jnl`	A Novel Bayes' Theorem for Upper Probabilities. CoRR Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee
2023	—	`conf`	ADC-Bank: Detecting Acoustic Out-of-Band Signal Injection on Inertial Sensors. SmartSP Jianyi Zhang, Yuchen Wang, Yazhou Tu, Sara Rampazzi, Zhiqiang Lin, Insup Lee, Xiali Hei
2023	A*	`conf`	Angelic Patches for Improving Third-Party Object Detector Performance. CVPR Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
2023	—	`conf`	Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. ICCPS Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee
2023	A	`conf`	Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris
2023	A*	`conf`	Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. EMNLP Yahan Yang, Elior Sulem, Insup Lee, Dan Roth
2023	—	`conf`	CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Causal Repair of Learning-enabled Cyber-physical Systems. CoRR Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2023	—	`conf`	Conservative Safety Monitors of Stochastic Dynamical Systems. NFM Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	J	`jnl`	Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer
2023	J	`jnl`	Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee
2023	J	`jnl`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
2023	J	`jnl`	Imprecise Bayesian Neural Networks. CoRR Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
2023	—	`conf`	In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. ACL (2) Yahan Yang, Soham Dan, Dan Roth, Insup Lee
2023	—	`conf`	Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. IoTDI Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee
2023	J	`jnl`	Memory-Consistent Neural Networks for Imitation Learning. CoRR Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
2023	J	`jnl`	PAC Prediction Sets Under Label Shift. CoRR Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
2023	—	`conf`	Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2023	A	`conf`	Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Repairing Learning-Enabled Controllers While Preserving What Works. CoRR Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	B	`conf`	Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
2023	—	`conf`	SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research. UbiComp/ISWC Adjunct Tarek Hamid, Insup Lee, Amanda Watson
2023	J	`jnl`	TRAC: Trustworthy Retrieval Augmented Chatbot. CoRR Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
2023	J	`jnl`	Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Understanding Calibration for Multilingual Question Answering Models. CoRR Yahan Yang, Soham Dan, Dan Roth, Insup Lee
2023	J	`jnl`	Using Semantic Information for Defining and Detecting OOD Inputs. CoRR Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning. CoRR Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee
2023	—	`conf`	iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee
2023	—	`conf`	iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Viktor Erdélyi, Teruhiro Mizumoto, Sean Lee Harrison, James Weimer, George Demiris, Takeshi Nakagawa, Takashi Suehiro, Yasuyuki Gondo, Hajime Nagahara, Oleg Sokolsky, Teruo Higashino, Insup Lee
2022	J	`jnl`	A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
2022	B	`conf`	AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. CHASE Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee
2022	J	`jnl`	CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2022	—	`conf`	Confidence Composition for Monitors of Verification Assumptions. ICCPS Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2022	Misc	`conf`	Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
2022	J	`jnl`	Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
2022	A	`conf`	Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2022	—	`conf`	Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2022	B	`conf`	GlucoScan: Noninvasive Glucose Monitoring Device. CHASE Claire Kendell, Amanda Watson, Insup Lee, James Weimer
2022	J	`jnl`	Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
2022	—	`ch.`	Hierarchical Scheduling. Handbook of Real-Time Computing Jin Hyun Kim, Deepak Gangadharan, Kyong Hoon Kim, Insik Shin, Insup Lee
2022	C	`conf`	Improving Neural Network Robustness via Persistency of Excitation. ACC Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
2022	J	`jnl`	In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. CoRR Yahan Yang, Soham Dan, Dan Roth, Insup Lee
2022	—	`conf`	Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. ICCPS Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee
2022	J	`jnl`	Introduction to the Special Issue on Internet-of-Medical-Things. ACM Trans. Comput. Heal. Paul Bogdan, Radu Grosu, Insup Lee
2022	A	`conf`	Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
2022	J	`jnl`	Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
2022	J	`jnl`	Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
2022	J	`jnl`	Lumos: An Open-Source Device for Wearable Spectroscopy Research. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. Amanda Watson, Claire Kendell, Anush Niranjan Lingamoorthy, Insup Lee, James Weimer
2022	—	`conf`	Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee
2022	J	`jnl`	Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. CoRR Souradeep Dutta, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee
2022	—	`conf`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2022	A*	`conf`	PAC Prediction Sets Under Covariate Shift. ICLR Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2022	A*	`conf`	PAC Prediction Sets for Meta-Learning. NeurIPS Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2022	J	`jnl`	PAC Prediction Sets for Meta-Learning. CoRR Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2022	A*	`conf`	PAC-Wrap: Semi-Supervised PAC Anomaly Detection. KDD Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	PAC-Wrap: Semi-Supervised PAC Anomaly Detection. CoRR Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	A	`conf`	PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. AsiaCCS Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
2022	A*	`conf`	Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. ICML Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani
2022	—	`conf`	T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Towards PAC Multi-Object Detection and Tracking. CoRR Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani
2022	A*	`conf`	iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2021	—	`conf`	ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
2021	J	`jnl`	Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Confidence Calibration with Bounded Error Using Transformations. CoRR Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer
2021	J	`jnl`	Confidence Composition for Monitors of Verification Assumptions. CoRR Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2021	Misc	`conf`	Data Generation With Prospect: A Probability Specification Tool. WSC Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu
2021	J	`jnl`	Detecting OODs as datapoints with High Uncertainty. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
2021	—	`conf`	E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2021	B	`conf`	FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE 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	B	`conf`	High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2021	A	`conf`	Improving Classifier Confidence using Lossy Label-Invariant Transformations. AISTATS Sooyong Jang, Insup Lee, James Weimer
2021	—	`conf`	ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021	J	`jnl`	ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer
2021	J	`jnl`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2021	A*	`conf`	PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani
2021	J	`jnl`	PAC Prediction Sets Under Covariate Shift. CoRR Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2021	B	`conf`	RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer
2021	J	`jnl`	Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
2021	J	`jnl`	Robust Learning via Persistency of Excitation. CoRR Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
2021	J	`jnl`	Stacked LSTM Based Deep Recurrent Neural Network with Kalman Smoothing for Blood Glucose Prediction. CoRR Md Fazle Rabby, Yazhou Tu, Md. Imran Hossen, Insup Lee, Anthony S. Maida, Xiali Hei
2021	J	`jnl`	Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction. BMC Medical Informatics Decis. Mak. Md Fazle Rabby, Yazhou Tu, Md. Imran Hossen, Insup Lee, Anthony S. Maida, Xiali Hei
2021	Misc	`conf`	Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. RTNS Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2021	J	`jnl`	Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	—	`conf`	Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	B	`conf`	VitalCore: Analytics and Support Dashboard for Medical Device Integration. CHASE Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee
2020	—	`conf`	Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2020	J	`jnl`	Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
2020	A	`conf`	Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
2020	J	`jnl`	Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
2020	—	`conf`	Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020	J	`jnl`	Class-Weighted Evaluation Metrics for Imbalanced Data Classification. CoRR Akhilesh Gupta, Nesime Tatbul, Ryan Marcus, Shengtian Zhou, Insup Lee, Justin Gottschlich
2020	J	`jnl`	Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
2020	J	`jnl`	Improving Classifier Confidence using Lossy Label-Invariant Transformations. CoRR Sooyong Jang, Insup Lee, James Weimer
2020	J	`jnl`	Inaugural Issue Editorial. ACM Trans. Comput. Heal. John A. Stankovic, Insup Lee
2020	J	`jnl`	MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks. IEEE Trans. Veh. Technol. Hyo Jin Jo, Jin Hyun Kim, Hyon-Young Choi, Wonsuk Choi, Dong Hoon Lee, Insup Lee
2020	J	`jnl`	Optimal Virtual Cluster-based Multiprocessor Scheduling. CoRR Arvind Easwaran, Insik Shin, Insup Lee
2020	J	`jnl`	PAC Confidence Predictions for Deep Neural Network Classifiers. CoRR Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee
2020	A*	`conf`	PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. ICLR Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
2020	J	`jnl`	PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. CoRR Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
2020	C	`conf`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2020	J	`jnl`	VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
2019	B	`conf`	A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2019	J	`jnl`	Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2019	J	`jnl`	Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
2019	—	`conf`	Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
2019	C	`conf`	Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
2019	J	`jnl`	Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems. IEEE Internet Things J. Kyungtae Kang, Insup Lee, Kai Liu, Man-Ki Yoon, Kyung-Joon Park
2019	A	`conf`	Holistic Resource Allocation for Multicore Real-Time Systems. RTAS Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee
2019	J	`jnl`	Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Sensors Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee
2019	—	`conf`	LCV: A Verification Tool for Linear Controller Software. TACAS (1) Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2019	B	`conf`	Overhead-Aware Deployment of Runtime Monitors. RV Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky
2019	J	`jnl`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	—	`conf`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	J	`jnl`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	—	`conf`	Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky
2019	—	`conf`	Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2018	J	`jnl`	An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems. Computer Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Sang Hyuk Son, Kyung-Joon Park, Yongsoon Eun
2018	—	`conf`	Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi
2018	—	`conf`	Context-aware detection in medical cyber-physical systems. ICCPS Radoslav Ivanov, James Weimer, Insup Lee
2018	Misc	`conf`	Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky
2018	—	`conf`	Cyber-physical system checkpointing and recovery. ICCPS Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee
2018	C	`conf`	Data Freshness Over-Engineering: Formulation and Results. ISORC Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky
2018	C	`conf`	Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman
2018	J	`jnl`	Guest Editorial: Special Issue on Medical Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. Insup Lee, Miroslav Pajic
2018	C	`conf`	ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. HealthCom Alberto Huertas Celdrán, Félix J. García Clemente, James Weimer, Insup Lee
2018	A*	`conf`	Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. USENIX Security Symposium Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei
2018	J	`jnl`	Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. CoRR Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei
2018	—	`conf`	Joint Rate Control and Demand Balancing for Electric Vehicle Charging. IoTDI Fanxin Kong, Xue Liu, Insup Lee
2018	—	`conf`	KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract. ICCPS Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun
2018	—	`conf`	LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
2018	J	`jnl`	MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling. IEEE Trans. Computers Jaewoo Lee, Saravanan Ramanathan, Kieu-My Phan, Arvind Easwaran, Insik Shin, Insup Lee
2018	A	`conf`	Multi-Mode Virtualization for Soft Real-Time Systems. RTAS Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2018	C	`conf`	OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Parameter Invariant Monitoring for Signal Temporal Logic. HSCC Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018	J	`jnl`	Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
2018	J	`jnl`	Self-Driving Vehicle Verification Towards a Benchmark. CoRR Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Towards Context-Aware Cyber-Physical Systems. MT@CPSWeek Radoslav Ivanov, James Weimer, Insup Lee
2018	J	`jnl`	Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee
2018	J	`jnl`	Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2017	J	`jnl`	A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
2017	J	`jnl`	Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Trans. Control. Netw. Syst. Miroslav Pajic, Insup Lee, George J. Pappas
2017	—	`conf`	Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2017	B	`conf`	Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks. WCNC Bong-Ho Kim, Doru Calin, Insup Lee
2017	C	`conf`	Extensible Energy Planning Framework for Preemptive Tasks. ISORC Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee
2017	J	`jnl`	MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. ACM Trans. Embed. Comput. Syst. Jaewoo Lee, Hoon Sung Chwa, Linh T. X. Phan, Insik Shin, Insup Lee
2017	—	`ch.`	Modeling Opportunities in mHealth Cyber-Physical Systems. Mobile Health - Sensors, Analytic Methods, and Applications Wendy Nilsen, Emre Ertin, Eric B. Hekler, Santosh Kumar, Insup Lee, Rahul Mangharam, Misha Pavel, James M. Rehg, William T. Riley, Daniel E. Rivera, Donna Spruijt-Metz
2017	B	`conf`	Monitoring Time Intervals. RV Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky
2017	J	`jnl`	Protecting interoperable clinical environment with authentication. SIGBED Rev. Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee
2017	J	`jnl`	Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. CoRR Sangdon Park, James Weimer, Insup Lee
2017	—	`conf`	Resilient linear classification: an approach to deal with attacks on training data. ICCPS Sangdon Park, James Weimer, Insup Lee
2017	J	`jnl`	Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
2017	—	`conf`	Transmission delay performance in telemedicine: A case study. EMBC Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee
2017	B	`conf`	Trapfetch: A breakpoint-based prefetcher for both launch and run-time. SMC Jiwoong Won, Oseok Kwon, Junhee Ryu, Junbeom Hur, Insup Lee, Kyungtae Kang
2017	A	`conf`	vCAT: Dynamic Cache Management Using CAT Virtualization. RTAS Meng Xu, Linh Thi Xuan Phan, Xuan Phan, Hyon-Young Choi, Insup Lee
2016	C	`conf`	A stochastic approach for attack resilient UAV motion planning. ACC Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee
2016	—	`conf`	Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
2016	B	`conf`	Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks. GLOBECOM Bong-Ho Kim, Doru Calin, Insup Lee
2016	A	`conf`	Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. RTAS Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Insup Lee
2016	J	`jnl`	Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Miroslav Pajic, Insup Lee
2016	J	`jnl`	Cache-aware interfaces for compositional real-time systems: invited paper. SIGBED Rev. Linh Thi Xuan Phan, Meng Xu, Insup Lee
2016	B	`conf`	Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. CHASE Alexander Roederer, Joseph DiMartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson, Insup Lee
2016	B	`conf`	Cloud-Based Secure Logger for Medical Devices. CHASE Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
2016	J	`jnl`	Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
2016	—	`conf`	Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
2016	A	`conf`	Human-interpretable diagnostic information for robotic planning systems. IROS Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
2016	Misc	`conf`	Making DDS really real-time with openflow. EMSOFT Hyon-Young Choi, Andrew L. King, Insup Lee
2016	—	`conf`	Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall
2016	A	`conf`	Online planning for energy-efficient and disturbance-aware UAV operations. IROS Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas
2016	J	`jnl`	Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016	B	`conf`	Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
2016	J	`jnl`	Prediction of Critical Pulmonary Shunts in Infants. IEEE Trans. Control. Syst. Technol. Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
2016	—	`conf`	Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2016	A	`conf`	Scalable Verification of Linear Controller Software. TACAS Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
2016	B	`conf`	Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee
2016	J	`jnl`	Towards compositional mixed-criticality real-time scheduling in open systems: invited paper. SIGBED Rev. Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, Insup Lee
2015	—	`conf`	A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. ICHI Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
2015	B	`conf`	A Hybrid Approach to Causality Analysis. RV Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee
2015	—	`conf`	An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Attack-resilient state estimation in the presence of noise. CDC Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas
2015	Misc	`conf`	Automatic verification of linear controller software. EMSOFT Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky
2015	J	`jnl`	Cache-aware compositional analysis of real-time multicore virtualization platforms. Real Time Syst. Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee
2015	—	`conf`	Early detection of critical pulmonary shunts in infants. ICCPS Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee
2015	C	`conf`	Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015	J	`jnl`	Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. JinHyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang
2015	C	`conf`	Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
2015	J	`jnl`	Medical Cyber-Physical Systems: The Early Years. IEEE Des. Test Insup Lee
2015	J	`jnl`	Parameter-Invariant Design of Medical Alarms. IEEE Des. Test James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee
2015	J	`jnl`	Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. IEEE Trans. Parallel Distributed Syst. Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee, Oleg Sokolsky
2015	A	`conf`	Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
2015	A	`conf`	Platform-specific timing verification framework in model-based implementation. DATE BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015	B	`conf`	RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. CLOUD Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2015	—	`conf`	Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2015	B	`conf`	Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Robust Medical Monitor Design. ICHI James Weimer, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Robust estimation using context-aware filtering. Allerton Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee
2015	—	`conf`	Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. EMBC Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee
2015	—	`conf`	Sensor attack detection in the presence of transient faults. ICCPS Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
2015	B	`conf`	Towards Assurance for Plug & Play Medical Systems. SAFECOMP Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
2015	—	`conf`	Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
2014	—	`conf`	A Design Environment for the Rapid Specification and Fabrication of Printable Robots. ISER Ankur M. Mehta, Nicola Bezzo, Peter Gebhard, Byoungkwon An, Vijay Kumar, Insup Lee, Daniela Rus
2014	—	`conf`	A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
2014	A	`conf`	A layered approach for testing timing in the model-based implementation. DATE BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee
2014	B	`conf`	Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. CBMS Deepthi Shashidhar, Mingzhe Lin, Radoslav Ivanov, Insup Lee, Allan F. Simpao, Arul Lingappan, Jorge A. Gálvez, Pablo Laje, Alan W. Flake, Mohamed A. Rehman
2014	A	`conf`	Attack resilient state estimation for autonomous robotic systems. IROS Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee
2014	C	`conf`	Attack-resilient minimum mean-squared error estimation. ACC James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2014	A	`conf`	Attack-resilient sensor fusion. DATE Radoslav Ivanov, Miroslav Pajic, Insup Lee
2014	—	`conf`	Demo abstract: ROSLab - A modular programming environment for robotic applications. ICCPS Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee
2014	—	`conf`	Exploring the twin peaks using probabilistic verification techniques. TwinPeaks Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee
2014	—	`conf`	From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Functional Alarms for Systems of Interoperable Medical Devices. HASE Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee
2014	A	`conf`	MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. RTSS Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee
2014	J	`jnl`	Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee
2014	Misc	`conf`	Real-time multi-core virtual machine scheduling in Xen. EMSOFT Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Resilient multidimensional sensor fusion using measurement history. HiCoNS Radoslav Ivanov, Miroslav Pajic, Insup Lee
2014	—	`conf`	Robustness of attack-resilient state estimators. ICCPS Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
2014	J	`jnl`	Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2014	C	`conf`	The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. ISORC Andrew L. King, Sanjian Chen, Insup Lee
2014	—	`conf`	Towards Assurance Cases for Resilient Control Systems. CPSNA James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee
2014	B	`conf`	Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data. CBMS Alexander Roederer, Jacqueline Soegaard, Insup Lee, Jonathan P. Wanderer, Soojin Park
2013	B	`conf`	A Causality Analysis Framework for Component-Based Real-Time Systems. RV Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee
2013	—	`conf`	A Modal Specification Approach for On-Demand Medical Systems. FHIES Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
2013	—	`conf`	A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems. SOCA Sung-Soo Lim, Eun-Jin Im, Nikil D. Dutt, Kyung-Woo Lee, Insik Shin, Chang-Gun Lee, Insup Lee
2013	J	`jnl`	A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. ACM Trans. Embed. Comput. Syst. Madhukar Anand, Sebastian Fischmeister, Insup Lee
2013	—	`conf`	A trust model for vehicular network-based incident reports. WiVeC Cong Liao, Jian Chang, Insup Lee, Krishna K. Venkatasubramanian
2013	J	`jnl`	AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky
2013	J	`jnl`	Analyzing and defending against web-based malware. ACM Comput. Surv. Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Insup Lee
2013	—	`conf`	Assuring the safety of on-demand medical cyber-physical systems. CPSNA Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
2013	A	`conf`	Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. RTSS Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill
2013	—	`conf`	Co-design of control and platform with dropped signals. ICCPS Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy
2013	—	`conf`	Contract-based blame assignment by trace analysis. HiCoNS Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Distributed aspects of the artificial pancreas. Allerton Stephen D. Patek, Sanjian Chen, Patrick Keith-Hynes, Insup Lee
2013	—	`conf`	Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. ICHI Benjamin A. Kohl, Sanjian Chen, Margaret Mullen-Fortino, Insup Lee
2013	A	`conf`	Improving schedulability of fixed-priority real-time systems using shapers. IEEE Real-Time and Embedded Technology and Applications Symposium Linh T. X. Phan, Insup Lee
2013	B	`conf`	Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby
2013	A	`conf`	Overhead-aware compositional analysis of real-time systems. IEEE Real-Time and Embedded Technology and Applications Symposium Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky
2013	A*	`conf`	PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system. INFOCOM Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee
2013	—	`conf`	Platform dependent code generation of real-time embedded software. ICCPS BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky
2013	Misc	`conf`	Platform-dependent code generation for embedded real-time software. CASES BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Synthesis of platform-aware attack-resilient vehicular systems. ICCPS Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2013	C	`conf`	TrustForge: Flexible access control for collaborative crowd-sourced environment. PST Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian
2013	Misc	`conf`	Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
2012	—	`conf`	A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
2012	B	`conf`	A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
2012	C	`conf`	A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2012	J	`jnl`	Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian
2012	—	`conf`	Clinical decision support for integrated cyber-physical systems: a mixed methods approach. IHI Alex Roederer, Andrew Hicks, Enny Oyeniran, Insup Lee, Soojin Park
2012	—	`conf`	Evaluation of a smart alarm for intensive care using clinical data. EMBC Andrew L. King, Kelsea Fortino, Nicholas Stevens, Sachin Shah, Margaret Fortino-Mullen, Insup Lee
2012	A	`conf`	Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. RTSS Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee
2012	A	`conf`	From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012	—	`conf`	HMM-based characterization of channel behavior for networked control systems. HiCoNS Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, Insup Lee
2012	J	`jnl`	Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. Oleg Sokolsky, Klaus Havelund, Insup Lee
2012	—	`conf`	Invited talk: Challenges in Medical Cyber-Physical Systems. DSN Workshops Insup Lee
2012	J	`jnl`	PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. Anna Philippou, Insup Lee, Oleg Sokolsky
2012	—	`conf`	Rationale and Architecture Principles for Medical Application Platforms. ICCPS John Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman, Sandy Weininger, Julian M. Goldman
2012	A	`conf`	Realizing Compositional Scheduling through Virtualization. IEEE Real-Time and Embedded Technology and Applications Symposium Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky
2012	J	`jnl`	Security and Interoperable-Medical-Device Systems, Part 1. IEEE Secur. Priv. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee
2012	J	`jnl`	Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. IEEE Secur. Priv. Eugene Y. Vasserman, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2012	—	`conf`	Smart alarms: multivariate medical alarm integration for post CABG surgery patients. IHI Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca Trevino, Margaret Fortino-Mullen, Andrew L. King, Insup Lee
2012	—	`conf`	Spamming for Science: Active Measurement in Web 2.0 Abuse Research. Financial Cryptography Workshops Andrew G. West, Pedram Hayati, Vidyasagar M. Potdar, Insup Lee
2012	J	`jnl`	Special Issue on Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE Radha Poovendran, Krishna Sampigethaya, Sandeep K. S. Gupta, Insup Lee, K. Venkatesh Prasad, David Corman, James L. Paunicka
2012	J	`jnl`	State-based scheduling with tree schedules: analysis and evaluation. Real Time Syst. Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan
2012	—	`conf`	The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. IHI Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino
2012	—	`conf`	Towards content-driven reputation for collaborative code repositories. WikiSym Andrew G. West, Insup Lee
2012	J	`jnl`	Trust in collaborative web applications. Future Gener. Comput. Syst. Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Insup Lee
2011	A	`conf`	A Semantic Framework for Mode Change Protocols. IEEE Real-Time and Embedded Technology and Applications Symposium Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2011	—	`conf`	AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee
2011	—	`conf`	An empirical analysis of scheduling techniques for real-time cloud-based data processing. SOCA Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee
2011	—	`conf`	Autonomous link spam detection in purely collaborative environments. Int. Sym. Wikis Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, Insup Lee
2011	—	`conf`	Biomedical devices and systems security. EMBC David Arney, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2011	J	`jnl`	CARTS: a tool for compositional analysis of real-time systems. SIGBED Rev. Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky
2011	Misc	`conf`	Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl
2011	Misc	`conf`	Compositional analysis of real-time embedded systems. CASES Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2011	A*	`conf`	Computing Logical Form on Regulatory Texts. EMNLP Nikhil Dinesh, Aravind K. Joshi, Insup Lee
2011	—	`conf`	Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Wireless Health Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino
2011	J	`jnl`	Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2011	J	`jnl`	Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Rev. Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee
2011	—	`conf`	Link spamming Wikipedia for profit. CEAS Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2011	—	`conf`	Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011. CLEF (Notebook Papers/Labs/Workshop) Andrew G. West, Insup Lee
2011	—	`conf`	On effective testing of health care simulation software. SEHC@ICSE 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	J	`jnl`	Permission to speak: A logic for access control and conformance. J. Log. Algebraic Methods Program. Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2011	A	`conf`	Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky
2011	—	`conf`	Reputation-based networked control with data-corrupting channels. HSCC Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas
2011	B	`conf`	Runtime Verification of Traces under Recording Uncertainty. RV Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
2011	Misc	`conf`	Safety-assured development of the GPCA infusion pump software. EMSOFT BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
2011	—	`conf`	ToMaTo: a trustworthy code mashup development tool. Mashups/Dataview@ECOWS Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, Insup Lee
2011	—	`conf`	Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems. RTCSA (2) Linh T. X. Phan, Insup Lee
2011	—	`conf`	Towards the effective temporal association mining of spam blacklists. CEAS Andrew G. West, Insup Lee
2011	—	`conf`	Video Quality Driven Buffer Sizing via Frame Drops. RTCSA (1) Deepak Gangadharan, Linh T. X. Phan, Samarjit Chakraborty, Roger Zimmermann, Insup Lee
2011	—	`conf`	What Wikipedia deletes: characterizing dangerous collaborative content. Int. Sym. Wikis Andrew G. West, Insup Lee
2011	J	`jnl`	Zero-laxity based real-time multiprocessor scheduling. J. Syst. Softw. Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee
2010	—	`conf`	A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
2010	B	`conf`	A Safety-Assured Development Approach for Real-Time Software. RTCSA Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee
2010	—	`conf`	Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) Eunkyoung Jee, Insup Lee, Oleg Sokolsky
2010	B	`conf`	Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. SAFECOMP Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee
2010	B	`conf`	Compositional Analysis of Multi-mode Systems. ECRTS Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2010	A*	`conf`	Cyber-physical systems: the next computing revolution. DAC Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic
2010	—	`conf`	Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems. Wireless Health Andrew L. King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare, Oleg Sokolsky, Insup Lee, Margaret Mullen-Fortino, Soojin Park
2010	—	`conf`	Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata? EUROSEC Andrew G. West, Sampath Kannan, Insup Lee
2010	—	`conf`	GSA: a framework for rapid prototyping of smart alarm systems. IHI Andrew L. King, Alex Roederer, David Arney, Sanjian Chen, Margaret Mullen-Fortino, Ana Rosa Giannareas, William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, Insup Lee
2010	J	`jnl`	Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee
2010	A*	`conf`	Medical cyber physical systems. DAC Insup Lee, Oleg Sokolsky
2010	C	`conf`	Model-Based Programming of Modular Robots. ISORC David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim
2010	Misc	`conf`	Modeling buffers with data refresh semantics in automotive architectures. EMSOFT Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee
2010	J	`jnl`	Multiprocessor real-time scheduling considering concurrency and urgency. SIGBED Rev. Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee
2010	—	`conf`	On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform. Middleware (Industry Track) Zhuoyao Zhang, Linh T. X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, Insup Lee
2010	—	`conf`	Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter
2010	B	`ed.`	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings RV Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2010	—	`conf`	STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata. Int. Sym. Wikis Andrew G. West, Sampath Kannan, Insup Lee
2010	A	`conf`	Spam mitigation using spatio-temporal reputations from blacklist history. ACSAC Andrew G. West, Adam J. Aviv, Jian Chang, Insup Lee
2010	—	`conf`	Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool. Int. Sym. Wikis Andrew G. West, Sampath Kannan, Insup Lee
2010	J	`jnl`	Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
2010	—	`conf`	Toward patient safety in closed-loop medical device systems. ICCPS David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky
2010	—	`conf`	Towards a data-centric view of cloud security. CloudDB@CIKM Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee
2010	J	`jnl`	UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2009	B	`conf`	A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal
2009	J	`jnl`	Dynamic Trust Management. Computer Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee
2009	J	`jnl`	Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Ind. Informatics Sebastian Fischmeister, Robert Trausmuth, Insup Lee
2009	—	`conf`	Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study. BIOSTEC (Selected Papers) David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee
2009	J	`jnl`	Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee
2009	—	`conf`	Model-Based Testing of GUI-Driven Applications. SEUS Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones
2009	J	`jnl`	Optimal virtual cluster-based multiprocessor scheduling. Real Time Syst. Arvind Easwaran, Insik Shin, Insup Lee
2009	Misc	`conf`	Process-Algebraic Interpretation of AADL Models. Ada-Europe Oleg Sokolsky, Insup Lee, Duncan Clarke
2009	—	`conf`	QuanTM: a quantitative trust management system. EUROSEC Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, Oleg Sokolsky
2009	C	`conf`	Resource Scopes: Toward Language Support for Compositional Determinism. ISORC Madhukar Anand, Sebastian Fischmeister, Insup Lee
2009	—	`conf`	Strong and Weak Policy Relations. POLICY Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic
2009	—	`conf`	Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. BIODEVICES David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee
2009	A	`conf`	Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. RTSS Linh T. X. Phan, Samarjit Chakraborty, Insup Lee
2008	J	`jnl`	A design framework for real-time embedded systems with code size and energy constraints. ACM Trans. Embed. Comput. Syst. Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min
2008	B	`ed.`	Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ATVA Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
2008	J	`jnl`	Challenges and opportunities in deeply embedded systems security. SIGBED Rev. Madhukar Anand, Insup Lee
2008	B	`conf`	Checking Traces for Regulatory Conformance. RV Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2008	C	`conf`	Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee
2008	J	`jnl`	Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. Insik Shin, Insup Lee
2008	J	`jnl`	Compositional schedulability analysis for cyber-physical systems. SIGBED Rev. Arvind Easwaran, Insup Lee
2008	C	`conf`	Hardware acceleration for verifiable, adaptive real-time communication. ETFA Sebastian Fischmeister, Insup Lee, Robert Trausmuth
2008	B	`conf`	Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. ECRTS Insik Shin, Arvind Easwaran, Insup Lee
2008	—	`conf`	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2008	B	`conf`	Robust and sustainable schedulability analysis of embedded software. LCTES Madhukar Anand, Insup Lee
2007	J	`jnl`	A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
2007	Misc	`conf`	A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee
2007	B	`conf`	Composition Techniques for Tree Communication Schedules. ECRTS Madhukar Anand, Sebastian Fischmeister, Insup Lee
2007	A	`conf`	Compositional Analysis Framework Using EDP Resource Models. RTSS Arvind Easwaran, Madhukar Anand, Insup Lee
2007	—	`ch.`	Compositional Real-Time Schedulability Analysis. Handbook of Real-Time and Embedded Systems Insik Shin, Insup Lee
2007	C	`conf`	Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky
2007	J	`jnl`	Editorial: Special issue on real-time wireless sensor networks. Real Time Syst. Chenyang Lu, Insup Lee
2007	—	`book`	Handbook of Real-Time and Embedded Systems. Sang Hyuk Son, Insup Lee, Joseph Y.-T. Leung
2007	—	`ch.`	Introduction and Overview. Handbook of Real-Time and Embedded Systems Insup Lee, Joseph Y.-T. Leung, Sang Hyuk Son
2007	—	`conf`	Logic-Based Regulatory Conformance Checking. Monterey Workshop Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2007	J	`jnl`	Resources in process algebra. J. Log. Algebraic Methods Program. Insup Lee, Anna Philippou, Oleg Sokolsky
2007	—	`conf`	Robust Test Generation and Coverage for Hybrid Systems. HSCC A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
2007	B	`conf`	Runtime Verification for Wireless Sensor Network Applications. Runtime Verification Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee
2007	B	`conf`	Statistical Runtime Checking of Probabilistic Properties. RV Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr
2007	—	`ch.`	Temporal Control in Real-Time Systems. Handbook of Real-Time and Embedded Systems Insup Lee, Sebastian Fischmeister
2006	Misc	`conf`	An analysis framework for network-code programs. EMSOFT Madhukar Anand, Sebastian Fischmeister, Insup Lee
2006	J	`jnl`	Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebraic Methods Program. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2006	C	`conf`	Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
2006	—	`conf`	Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
2006	J	`jnl`	High-Confidence Medical Device Software and Systems. Computer Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
2006	Misc	`conf`	Incremental schedulability analysis of hierarchical real-time components. EMSOFT Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee
2006	J	`jnl`	Introduction to special issue. SIGBED Rev. John Hatcliff, Insup Lee, Oleg Sokolsky
2006	—	`conf`	Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
2006	—	`conf`	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. CSFW Michael J. May, Carl A. Gunter, Insup Lee
2006	—	`conf`	R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
2006	A	`conf`	Schedulability analysis of AADL models. IPDPS Oleg Sokolsky, Insup Lee, Duncan Clarke
2006	—	`conf`	Securing the drop-box architecture for assisted living. FMSE Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee
2006	—	`conf`	Sensor Network Security: More Interesting Than You Think. HotSec Madhukar Anand, Eric Cronin, Micah Sherr, Zachary G. Ives, Insup Lee
2006	A	`conf`	Simulation-Based Graph Similarity. TACAS Oleg Sokolsky, Sampath Kannan, Insup Lee
2005	—	`conf`	A Compositional Framework for Real-Time Embedded Systems. ISAS Insik Shin, Insup Lee
2005	—	`conf`	A Family of Resource-Bound Real-Time Process Algebras. APC 25 Insup Lee, Anna Philippou, Oleg Sokolsky
2005	C	`conf`	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM Hyoung Seok Hong, Insup Lee, Oleg Sokolsky
2005	C	`conf`	Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC Madhukar Anand, Jesung Kim, Insup Lee
2005	Misc	`conf`	Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
2005	J	`jnl`	Opportunities and Obligations for Physical Computing Systems. Computer John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar
2005	J	`jnl`	Preface. ACM Trans. Embed. Comput. Syst. Rajeev Alur, Insup Lee
2005	—	`conf`	Quantifying eavesdropping vulnerability in sensor networks. DMSN Madhukar Anand, Zachary G. Ives, Insup Lee
2005	B	`conf`	RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA Usa Sammapun, Insup Lee, Oleg Sokolsky
2005	—	`conf`	Run-Time Checking of Dynamic Properties. RV@CAV Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
2005	—	`conf`	Security in Sensor Networks for Medical Systems Torso Architecture. ICCSA (1) Chaitanya Penubarthi, Myuhng Joo Kim, Insup Lee
2004	—	`conf`	A Compositional Framework for Real-Time Guarantees. ASWSD Insik Shin, Insup Lee
2004	A	`conf`	Compositional Real-Time Scheduling Framework. RTSS Insik Shin, Insup Lee
2004	J	`jnl`	Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou
2004	—	`conf`	Is runtime verification applicable to cheat detection? NETGAMES Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis
2004	J	`jnl`	Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
2004	Misc	`conf`	Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee
2004	J	`jnl`	Research challenges in embedded and hybrid systems. SIGBED Rev. Insup Lee, Oleg Sokolsky
2004	—	`conf`	Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. RV@ETAPS Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky
2004	—	`conf`	Sound Code Generation from Communicating Hybrid Models. HSCC Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi
2004	Misc	`conf`	Specification-based Testing with Linear Temporal Logic. IRI Li Tan, Oleg Sokolsky, Insup Lee
2003	A*	`conf`	Data Flow Testing as Model Checking. ICSE Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
2003	Misc	`ed.`	Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings EMSOFT Rajeev Alur, Insup Lee
2003	B	`conf`	Generating embedded software from hierarchical hybrid models. LCTES Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
2003	J	`jnl`	Hierarchical modeling and analysis of embedded systems. Proc. IEEE Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2003	C	`conf`	Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. ISORC Yerang Hur, Rafael Fierro, Insup Lee
2003	A	`conf`	Modeling and Analysis of Power-Aware Systems. TACAS Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
2003	—	`conf`	Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium Jesung Kim, Insup Lee
2003	A	`conf`	Periodic Resource Model for Compositional Real-Time Guarantees. RTSS Insik Shin, Insup Lee
2003	—	`conf`	Testing and Monitoring Model-based Generated Program. RV@CAV Li Tan, Jesung Kim, Insup Lee
2002	J	`jnl`	A Framework and Architecture for Multi-Robot Coordination. Int. J. Robotics Res. Rafael Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall
2002	—	`conf`	A General Resource Framework for Real-Time Systems. RISSEF Insup Lee, Anna Philippou, Oleg Sokolsky
2002	A	`conf`	A Temporal Logic Based Theory of Test Coverage and Generation. TACAS Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
2002	—	`conf`	Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2002	—	`conf`	Distributed Simulation of Multi-Agent Hybrid Systems. Symposium on Object-Oriented Real-Time Distributed Computing Yerang Hur, Insup Lee
2002	A	`conf`	Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. RTSS Insik Shin, Insup Lee, Sang Lyul Min
2002	—	`conf`	Monitoring, Checking, and Steering of Real-Time Systems. RV@FLoC Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky
2002	J	`jnl`	Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
2002	J	`jnl`	Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
2001	C	`conf`	A Family of Resource-Bound Real-Time Process Algebras. FORTE Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
2001	—	`conf`	Characterizing Non-Zenoness on Real-Time Processes. MTCS Jitka Stríbrná, Insup Lee
2001	—	`conf`	Compositional Refinement for Hierarchical Hybrid Systems. HSCC Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2001	J	`jnl`	Distributed web-based simulation experiments for optimization. Simul. Pract. Theory Enver Yücesan, Yuh-Chuyn Luo, Chun-Hung Chen, Insup Lee
2001	A	`conf`	Fair Real-Time Traffic Scheduling over a Wireless LA. RTSS Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou
2001	J	`jnl`	Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
2001	Misc	`conf`	Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 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	—	`conf`	Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2001	C	`conf`	Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis. ISC Jia Wang, Insup Lee
2000	—	`conf`	A Framework and Architecture for Multirobot Coordination. ISER Rajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor
2000	—	`conf`	A Framework for Embedded Real-Time System Design. IPDPS Workshops Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
2000	J	`jnl`	An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. Inhye Kang, Insup Lee, Young-Si Kim
2000	Misc	`conf`	Distributed web-based simulation optimization. WSC Yuh-Chuyn Luo, Chun-Hung Chen, Enver Yücesan, Insup Lee
2000	C	`conf`	Fundamental R&D Issues in Real-Time Distributed Computing. ISORC Insup Lee, Mike Jones, Hermann Kopetz, K. H. Kim, Thomas F. Lawrence, Bhavani Thuraisingham
2000	—	`conf`	Modular Specification of Hybrid Systems in CHARON. HSCC Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
2000	A	`conf`	Verisim: Formal analysis of network simulations. ISSTA Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
2000	B	`conf`	Weak Bisimulation for Probabilistic Systems. CONCUR Anna Philippou, Insup Lee, Oleg Sokolsky
1999	—	`conf`	Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee
1999	B	`conf`	Formally specified monitoring of temporal properties. ECRTS Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky
1999	—	`conf`	Process algebraic approach to the parametric analysis of object scheduling in real-time systems. WORDS (Fall) Hee-Hwan Kwak, Insup Lee
1999	Misc	`conf`	Runtime Assurance Based On Formal Specifications. PDPTA Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
1999	J	`jnl`	Specification and Analysis of Real-Time Systems with PARAGON. Ann. Softw. Eng. Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah
1999	—	`conf`	Steering of real-time systems based on monitoring and checking. WORDS (Fall) Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan
1998	J	`jnl`	A Graphical Language for Specifying and Analyzing Real-Time Systems. Integr. Comput. Aided Eng. Hanêne Ben-Abdallah, Insup Lee
1998	J	`jnl`	A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie
1998	J	`jnl`	Parallel Algorithms for Relational Coarsest Partition Problems. IEEE Trans. Parallel Distributed Syst. Sanguthevar Rajasekaran, Insup Lee
1998	—	`conf`	Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Monterey Workshop Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
1998	B	`conf`	Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
1998	A	`conf`	Symbolic Schedulability Analysis of Real-Time Systems. RTSS Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
1998	—	`conf`	Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou
1998	Misc	`conf`	Web-based Simulation Experiments. WSC Enver Yücesan, Chun-Hung Chen, Insup Lee
1997	J	`jnl`	A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee
1997	J	`jnl`	A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theor. Comput. Sci. Patrice Brémond-Grégoire, Insup Lee
1997	—	`conf`	Analytical Design of Evolutionary Control Flow Components. HASE Insup Lee, Oleg Sokolsky
1997	—	`conf`	Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. IEEE Real Time Technology and Applications Symposium Duncan Clarke, Insup Lee
1997	—	`conf`	Automatic generation of tests for timing constraints from requirements. WORDS Duncan Clarke, Insup Lee
1997	A	`conf`	Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. RE Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim
1996	C	`conf`	A Theory of Testing for Soft Real-Time Processes. SEKE Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
1996	A	`conf`	An Efficient State Space Generation for Analysis of Real-Time Systems. ISSTA Inhye Kang, Insup Lee
1996	J	`jnl`	Formal Verification, Testing and Checking of Real-Time Systems. ACM Comput. Surv. Insup Lee
1996	—	`conf`	Schedulability and safety analysis in the graphical communicating shared resources. WORDS Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee
1996	A	`conf`	Testing-Based Analysis of Real-Time System Models. ITC Duncan Clarke, Insup Lee
1996	A*	`conf`	XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. CAV Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky
1995	A	`conf`	A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi
1995	B	`conf`	Automation of analysis and simulation for understanding of large real-time Ada software. ICECCS Moon Lee, Noah S. Prywes, Insup Lee
1995	B	`ed.`	CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings CONCUR Insup Lee, Scott A. Smolka
1995	A*	`conf`	Testing Real-Time Constraints in a Process Algebraic Setting. ICSE Duncan Clarke, Insup Lee
1995	A	`conf`	The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS Jin-Young Choi, Insup Lee, Hong-liang Xie
1994	A*	`conf`	A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. CAV Insup Lee, Sanguthevar Rajasekaran
1994	J	`jnl`	A Resource-Based Prioritized Bisimulation for Real-Time Systems Inf. Comput. Richard Gerber, Insup Lee
1994	J	`jnl`	A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proc. IEEE Insup Lee, Patrice Brémond-Grégoire, Richard Gerber
1993	B	`conf`	ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
1993	J	`jnl`	Deadlock Prevention in Concurrent Real-Time Systems. Real Time Syst. Susan B. Davidson, Insup Lee, Victor Fay Wolfe
1993	A	`conf`	Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. ICDCS Victor Fay Wolfe, Susan B. Davidson, Insup Lee
1993	—	`conf`	Fast Parallel Algorithms for Model Checking Using BDDs. IPPS Insup Lee, Sanguthevar Rajasekaran
1993	J	`jnl`	RTC: Language Support for Real-Time Concurrency. Real Time Syst. Victor Fay Wolfe, Susan B. Davidson, Insup Lee
1992	J	`jnl`	A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Trans. Software Eng. Richard Gerber, Insup Lee
1992	—	`conf`	CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee
1991	—	`conf`	Implementing a Real-Time Process Algebra in HOL. TPHOLs Richard Gerber, Elsa L. Gunter, Insup Lee
1991	A	`conf`	RTC: language support for real-time concurrency. RTSS Victor Fay Wolfe, Susan B. Davidson, Insup Lee
1991	—	`conf`	Specification and Analysis of Resource-Bound Real-Time Systems. REX Workshop Richard Gerber, Insup Lee
1991	J	`jnl`	Timed Atomic Commitment. IEEE Trans. Computers Susan B. Davidson, Insup Lee, Victor Fay Wolfe
1990	J	`jnl`	A Performance Analysis of Times Synchronous Communication Primitives. IEEE Trans. Computers Insup Lee, Susan B. Davidson
1990	A	`conf`	A Proof System for Communicating Shared Resources. RTSS Richard Gerber, Insup Lee
1990	B	`conf`	CCSR: A Calculus for Communicating Shared Resources. CONCUR Richard Gerber, Insup Lee
1989	J	`jnl`	A Predictable Real-Time Kernel for Distributed Multisensor Systems. Computer Insup Lee, Robert B. King, Richard P. Paul
1989	A	`conf`	A protocol for timed atomic commitment. ICDCS Susan B. Davidson, Insup Lee, Victor Fay Wolfe
1989	A	`conf`	Communicating Shared Resources: A Model for Distributed Real-Time Systems. RTSS Richard Gerber, Insup Lee
1989	—	`conf`	Language constructs for timed atomic commitment. FTCS Susan B. Davidson, Insup Lee, Victor Fay Wolfe
1989	J	`jnl`	Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks. J. Parallel Distributed Comput. David Smitley, Insup Lee
1988	J	`jnl`	A Synthesis Algorithm for Reconfigurable Interconnection Networks. IEEE Trans. Computers Insup Lee, David Smitley
1988	A*	`conf`	Formal specification and analysis of DMI-an X-25 based protocol. INFOCOM Vijay Gehlot, Insup Lee
1988	—	`conf`	Timed Acceptances: A Model of Time Dependent Processes. FTRTFT Insup Lee, Amy E. Zwarico
1987	J	`jnl`	Adding Time to Synchronous Process Communications. IEEE Trans. Computers Insup Lee, Susan B. Davidson
1987	A	`conf`	Generalized I/O with Timing Constraints. ICDCS Insup Lee, Susan B. Davidson
1987	B	`conf`	Synthesis of Topologies with Minimum Total Expansion. ICPP Insup Lee, David Smitley
1986	J	`jnl`	Partitioning of Massive/Real-Time Programs for Parallel Processing. Adv. Comput. Insup Lee, Noah S. Prywes, Boleslaw K. Szymanski
1986	A	`conf`	Protocols for Timed Synchronous Process Communications. RTSS Insup Lee, Susan B. Davidson
1986	B	`conf`	Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. ICPP Insup Lee, Samuel M. Goldwasser, David Smitley
1985	A*	`conf`	A distributed testbed for active sensory processing. ICRA Insup Lee, Samuel M. Goldwasser
1985	A	`conf`	Language Constructs for Distributed Real-Time Programming. RTSS Insup Lee, Vijay Gehlot
1985	A	`conf`	Proving a Network of Real-Time Processes Correct. RTSS Amy E. Zwarico, Insup Lee
1983	—	`conf`	DYMOS: a dynamic modification system. SIGSOFT Robert P. Cook, Insup Lee
1983	—	`conf`	Integrated environments. SIGSOFT Insup Lee
1982	J	`jnl`	A Contextual Analysis of Pascal Programs. Softw. Pract. Exp. Robert P. Cook, Insup Lee