default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInsup Lee 0001
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
Other persons with the same name
- Insup Lee 0002
![[0000-0002-9822-9860]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-9822-9860")
— Korea University, School of Cybersecurity, Network and Security Research Laboratory, Seoul, Republic of Korea
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c367]Jean Park, Kuk Jin Jang, Basam Alasaly, Sriharsha Mopidevi, Andrew Zolensky, Eric Eaton, Insup Lee, Kevin Johnson:
Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. AAAI 2025: 19821-19829- [c366]Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee:
Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. ICCPS 2025: 5:1-5:11 - [c365]Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. ICCPS 2025: 29:1-29:12 - [c364]Vivian Lin, Insup Lee:
Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems. ICCPS 2025: 37:1-37:2 - [c363]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, Insup Lee:
REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments. ICLR 2025 - [i64]Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Conservative Perception Models for Probabilistic Model Checking. CoRR abs/2503.18077 (2025) - 2024
- [j106]Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee:
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. 56(8): 211:1-211:31 (2024) - [j105]Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee:
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. ACM Trans. Cyber Phys. Syst. 8(2): 21 (2024) - [j104]Ramneet Kaur, Yahan Yang, Oleg Sokolsky, Insup Lee:
Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees. ACM Trans. Cyber Phys. Syst. 8(4): 46:1-46:27 (2024) - [c362]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI 2024: 20984-20992 - [c361]Tarek Hamid, Kimberly Helm, Hyonyoung Choi, Jean Park, Claire Kendell, Stephanie Cummings, Steve Messe, Stefanie Modri, Insup Lee, James Weimer, Amanda Watson:
Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. BSN 2024: 1-4 - [c360]Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee:
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CHASE 2024: 25-36 - [c359]Insup Lee, Weisong Shi, Zhe He, Ye Sun:
Preface; CHASE 2024. CHASE 2024: x - [c358]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:
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts 2024: 518:1-518:9 - [c357]Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban:
Uncertainty in Language Models: Assessment through Rank-Calibration. EMNLP 2024: 284-312 - [c356]Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee:
A Novel Bayes' Theorem for Upper Probabilities. Epi UAI 2024: 1-12 - [c355]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11 - [c354]Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee:
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS 2024: 212-223 - [c353]Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani:
PAC Prediction Sets Under Label Shift. ICLR 2024 - [c352]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. ICLR 2024 - [c351]Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee:
DC4L: Distribution shift recovery via data-driven control for deep learning models. L4DC 2024: 1526-1538 - [c350]Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong:
Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE 2024: 34-45 - [c349]Liqun Shan, Rujun Zhang, Sai Venkatesh Chilukoti, Xingli Zhang, Insup Lee, Xiali Hei:
IdentityKD: Identity-wise Cross-modal Knowledge Distillation for Person Recognition via mmWave Radar Sensors. MMAsia 2024: 92:1-92:7 - [c348]Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT 2024: 3799-3821 - [c347]Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee:
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. NeurIPS 2024 - [c346]Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong:
Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. RTSS 2024: 96-108 - [c345]Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion 2024: 467-471 - [i63]Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban:
Uncertainty in Language Models: Assessment through Rank-Calibration. CoRR abs/2404.03163 (2024) - [i62]Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR abs/2404.04472 (2024) - [i61]Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee:
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CoRR abs/2407.07982 (2024) - [i60]Jean Park, Kuk Jin Jang, Basam Alasaly, Sriharsha Mopidevi, Andrew Zolensky, Eric Eaton, Insup Lee, Kevin Johnson:
Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. CoRR abs/2408.12763 (2024) - [i59]Yahan Yang, Soham Dan, Dan Roth, Insup Lee:
Benchmarking LLM Guardrails in Handling Multilingual Toxicity. CoRR abs/2410.22153 (2024) - [i58]Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee:
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. CoRR abs/2410.24178 (2024) - [i57]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, Insup Lee:
REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments. CoRR abs/2412.04759 (2024) - [i56]Sooyong Jang, Kuk Jin Jang, Hyonyoung Choi, Yong-Seop Han, Seongjin Lee, Jin-hyun Kim, Insup Lee:
Fundus Image-based Visual Acuity Assessment with PAC-Guarantees. CoRR abs/2412.06624 (2024) - 2023
- [c344]Yahan Yang, Soham Dan, Dan Roth, Insup Lee:
In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. ACL (2) 2023: 657-669 - [c343]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:
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE 2023: 148-152 - [c342]Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
Angelic Patches for Improving Third-Party Object Detector Performance. CVPR 2023: 24638-24647 - [c341]Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee:
Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC 2023: 1-5 - [c340]Yahan Yang, Elior Sulem, Insup Lee, Dan Roth:
Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. EMNLP 2023: 457-464 - [c339]Tarek Hamid, Insup Lee, Amanda Watson:
SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research. UbiComp/ISWC Adjunct 2023: 146-150 - [c338]Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA 2023: 1-10 - [c337]Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA 2023: 19-28 - [c336]Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS 2023: 120-131 - [c335]Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee:
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. ICCPS 2023: 249-250 - [c334]Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee:
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS 2023: 264-265 - [c333]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:
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS 2023: 272-273 - [c332]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:
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU 2023: 1-6 - [c331]Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris:
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH 2023: 4603-4607 - [c330]Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee:
Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. IoTDI 2023: 327-339 - [c329]Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee:
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC 2023: 76-89 - [c328]Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM 2023: 140-156 - [c327]Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS 2023: 209-222 - [c326]Jianyi Zhang, Yuchen Wang, Yazhou Tu, Sara Rampazzi, Zhiqiang Lin, Insup Lee, Xiali Hei:
ADC-Bank: Detecting Acoustic Out-of-Band Signal Injection on Inertial Sensors. SmartSP 2023: 53-72 - [i55]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR abs/2301.11330 (2023) - [i54]Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee:
Imprecise Bayesian Neural Networks. CoRR abs/2302.09656 (2023) - [i53]Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee:
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR abs/2302.10341 (2023) - [i52]Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee:
Using Semantic Information for Defining and Detecting OOD Inputs. CoRR abs/2302.11019 (2023) - [i51]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR abs/2304.01075 (2023) - [i50]Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR abs/2304.02813 (2023) - [i49]Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR abs/2304.12508 (2023) - [i48]Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee:
Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR abs/2304.13919 (2023) - [i47]Pengyuan Lu, Michele Caprio, Eric Eaton, Insup Lee:
Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning. CoRR abs/2305.14782 (2023) - [i46]Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
TRAC: Trustworthy Retrieval Augmented Chatbot. CoRR abs/2307.04642 (2023) - [i45]Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee:
A Novel Bayes' Theorem for Upper Probabilities. CoRR abs/2307.06831 (2023) - [i44]Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR abs/2308.14815 (2023) - [i43]Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer:
Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR abs/2309.00543 (2023) - [i42]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. CoRR abs/2310.06171 (2023) - [i41]Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani:
PAC Prediction Sets Under Label Shift. CoRR abs/2310.12964 (2023) - [i40]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR abs/2311.03477 (2023) - [i39]Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR abs/2311.07377 (2023) - [i38]Yahan Yang, Soham Dan, Dan Roth, Insup Lee:
Understanding Calibration for Multilingual Question Answering Models. CoRR abs/2311.08669 (2023) - 2022
- [j103]Paul Bogdan, Radu Grosu, Insup Lee:
Introduction to the Special Issue on Internet-of-Medical-Things. ACM Trans. Comput. Heal. 3(3): 26e:1 (2022) - [j102]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. 3(4): 43:1-43:24 (2022) - [j101]Amanda Watson, Claire Kendell, Anush Niranjan Lingamoorthy, Insup Lee, James Weimer:
Lumos: An Open-Source Device for Wearable Spectroscopy Research. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(4): 187:1-187:24 (2022) - [c325]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI 2022: 7104-7114 - [c324]Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee:
Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF 2022: 998-1004 - [c323]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Improving Neural Network Robustness via Persistency of Excitation. ACC 2022: 1521-1526 - [c322]Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik:
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. AsiaCCS 2022: 903-916 - [c321]Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design 2022: 585-603 - [c320]Jean Park, Amanda Watson, Xiayan Ji, Kyle C. Quinn, James Weimer, Insup Lee:
AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. CHASE 2022: 99-110 - [c319]Claire Kendell, Amanda Watson, Insup Lee, James Weimer:
GlucoScan: Noninvasive Glucose Monitoring Device. CHASE 2022: 158-159 - [c318]Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris:
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL 2022: 1499-1509 - [c317]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. ICCPS 2022: 1-12 - [c316]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS 2022: 92-103 - [c315]Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee:
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. ICCPS 2022: 225-235 - [c314]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets Under Covariate Shift. ICLR 2022 - [c313]Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani:
Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. ICML 2022: 9845-9880 - [c312]Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo:
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS 2022: 10290-10296 - [c311]Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. KDD 2022: 945-955 - [c310]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets for Meta-Learning. NeurIPS 2022 - [c309]Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS 2022: 240-252 - [c308]Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring 2022: 1-7 - [p2]Jin Hyun Kim, Deepak Gangadharan, Kyong Hoon Kim, Insik Shin, Insup Lee:
Hierarchical Scheduling. Handbook of Real-Time Computing 2022: 269-301 - [i37]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR abs/2201.02331 (2022) - [i36]Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris:
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR abs/2202.12967 (2022) - [i35]Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani:
Towards PAC Multi-Object Detection and Tracking. CoRR abs/2204.07482 (2022) - [i34]Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee:
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR abs/2205.08650 (2022) - [i33]Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. CoRR abs/2205.10798 (2022) - [i32]Souradeep Dutta, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee:
Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. CoRR abs/2206.05323 (2022) - [i31]Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR abs/2206.06496 (2022) - [i30]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets for Meta-Learning. CoRR abs/2207.02440 (2022) - [i29]Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR abs/2207.11769 (2022) - [i28]Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo:
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR abs/2209.04534 (2022) - [i27]Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava:
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR abs/2210.07531 (2022) - [i26]Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee:
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR abs/2212.01346 (2022) - [i25]Yahan Yang, Soham Dan, Dan Roth, Insup Lee:
In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. CoRR abs/2212.10258 (2022) - 2021
- [j100]Md Fazle Rabby, Yazhou Tu, Md. Imran Hossen, Insup Lee, Anthony S. Maida, Xiali Hei:
Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction. BMC Medical Informatics Decis. Mak. 21(1): 101 (2021) - [j99]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20(1): 7:1-7:26 (2021) - [j98]Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee:
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. 20(5s): 79:1-79:24 (2021) - [c307]Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer:
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS 2021: 37-42 - [c306]Sooyong Jang, Insup Lee, James Weimer:
Improving Classifier Confidence using Lossy Label-Invariant Transformations. AISTATS 2021: 4051-4059 - [c305]Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee:
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS 2021: 90-119 - [c304]Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space 2021: 137-146 - [c303]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) 2021: 249-262 - [c302]Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, James Weimer:
RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. CHASE 2021: 35-45 - [c301]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE 2021: 70-81 - [c300]Hyon-Young Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, Insup Lee:
VitalCore: Analytics and Support Dashboard for Medical Device Integration. CHASE 2021: 82-86 - [c299]Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, Insup Lee:
FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. CHASE 2021: 130-131 - [c298]Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer:
Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS 2021: 67-76 - [c297]Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani:
PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR 2021 - [c296]Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. RTNS 2021: 35-45 - [c295]Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring 2021: 1-6 - [c294]Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu:
Data Generation With Prospect: A Probability Specification Tool. WSC 2021: 1-12 - [i24]Md Fazle Rabby, Yazhou Tu, Md. Imran Hossen, Insup Lee, Anthony S. Maida, Xiali Hei:
Stacked LSTM Based Deep Recurrent Neural Network with Kalman Smoothing for Blood Glucose Prediction. CoRR abs/2101.06850 (2021) - [i23]Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer:
Confidence Calibration with Bounded Error Using Transformations. CoRR abs/2102.12680 (2021) - [i22]Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR abs/2103.12628 (2021) - [i21]Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer:
ModelGuard: Runtime Validation of Lipschitz-continuous Models. CoRR abs/2104.15006 (2021) - [i20]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Robust Learning via Persistency of Excitation. CoRR abs/2106.02078 (2021) - [i19]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets Under Covariate Shift. CoRR abs/2106.09848 (2021) - [i18]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee:
Detecting OODs as datapoints with High Uncertainty. CoRR abs/2108.06380 (2021) - [i17]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR abs/2111.03781 (2021) - [i16]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. CoRR abs/2111.03782 (2021) - 2020
- [j97]John A. Stankovic, Insup Lee:
Inaugural Issue Editorial. ACM Trans. Comput. Heal. 1(1): 1:1 (2020) - [j96]Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo:
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27(2): 102-116 (2020) - [j95]Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee:
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3288-3299 (2020) - [j94]Hyo Jin Jo, Jin Hyun Kim, Hyon-Young Choi, Wonsuk Choi, Dong Hoon Lee, Insup Lee:
MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks. IEEE Trans. Veh. Technol. 69(2): 2204-2218 (2020) - [c293]Sangdon Park, Osbert Bastani, James Weimer, Insup Lee:
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS 2020: 3219-3229 - [c292]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC 2020: 28:1-28:7 - [c291]Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee:
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. ICLR 2020 - [c290]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE 2020: 1-12 - [c289]Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops 2020: 82-97 - [i15]Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee:
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. CoRR abs/2001.00106 (2020) - [i14]Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer:
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR abs/2002.09792 (2020) - [i13]Sangdon Park, Osbert Bastani, James Weimer, Insup Lee:
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR abs/2003.00343 (2020) - [i12]Arvind Easwaran, Insik Shin, Insup Lee:
Optimal Virtual Cluster-based Multiprocessor Scheduling. CoRR abs/2004.02439 (2020) - [i11]Akhilesh Gupta, Nesime Tatbul, Ryan Marcus, Shengtian Zhou, Insup Lee, Justin Gottschlich:
Class-Weighted Evaluation Metrics for Imbalanced Data Classification. CoRR abs/2010.05995 (2020) - [i10]Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee:
PAC Confidence Predictions for Deep Neural Network Classifiers. CoRR abs/2011.00716 (2020) - [i9]Sooyong Jang, Insup Lee, James Weimer:
Improving Classifier Confidence using Lossy Label-Invariant Transformations. CoRR abs/2011.04182 (2020)
2010 – 2019
- 2019
- [j93]Kyungtae Kang, Insup Lee, Kai Liu, Man-Ki Yoon, Kyung-Joon Park:
Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems. IEEE Internet Things J. 6(4): 6271-6275 (2019) - [j92]Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee:
Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Sensors 19(5): 1114 (2019) - [j91]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee:
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64(1): 235-250 (2019) - [j90]BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3(3): 28:1-28:32 (2019) - [c288]Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky:
Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems 2019: 276-293 - [c287]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC 2019: 5338-5343 - [c286]Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek 2019: 62-63 - [c285]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC 2019: 169-178 - [c284]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE 2019: 14:1-14:11 - [c283]Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee:
Holistic Resource Allocation for Multicore Real-Time Systems. RTAS 2019: 345-356 - [c282]Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV 2019: 1-14 - [c281]Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky:
Overhead-Aware Deployment of Runtime Monitors. RV 2019: 375-381 - [c280]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
LCV: A Verification Tool for Linear Controller Software. TACAS (1) 2019: 213-225 - [i8]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR abs/1902.04064 (2019) - [i7]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR abs/1909.05304 (2019) - [i6]Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR abs/1910.11309 (2019) - 2018
- [j89]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:
An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems. Computer 51(11): 46-55 (2018) - [j88]James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee:
Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE 106(1): 71-92 (2018) - [j87]Jaewoo Lee, Saravanan Ramanathan, Kieu-My Phan, Arvind Easwaran, Insik Shin, Insup Lee:
MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling. IEEE Trans. Computers 67(4): 469-483 (2018) - [j86]Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee:
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2869-2880 (2018) - [j85]Insup Lee, Miroslav Pajic:
Guest Editorial: Special Issue on Medical Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 2(4): 29:1-29:2 (2018) - [c279]Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi:
Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD 2018: 106-113 - [c278]Radoslav Ivanov, James Weimer, Insup Lee:
Towards Context-Aware Cyber-Physical Systems. MT@CPSWeek 2018: 10-11 - [c277]Alberto Huertas Celdrán, Félix J. García Clemente, James Weimer, Insup Lee:
ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. HealthCom 2018: 1-8 - [c276]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC 2018: 187-196 - [c275]Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee:
Cyber-physical system checkpointing and recovery. ICCPS 2018: 22-31 - [c274]Radoslav Ivanov, James Weimer, Insup Lee:
Context-aware detection in medical cyber-physical systems. ICCPS 2018: 232-241 - [c273]Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun:
KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract. ICCPS 2018: 339-340 - [c272]Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee:
LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI 2018: 141-152 - [c271]Fanxin Kong, Xue Liu, Insup Lee:
Joint Rate Control and Demand Balancing for Electric Vehicle Charging. IoTDI 2018: 213-224 - [c270]Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky:
Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) 2018: 42-50 - [c269]Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman:
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC 2018: 51-58 - [c268]Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee:
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC 2018: 103-106 - [c267]Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee:
Data Freshness Over-Engineering: Formulation and Results. ISORC 2018: 174-183 - [c266]Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
Multi-Mode Virtualization for Soft Real-Time Systems. RTAS 2018: 117-128 - [c265]Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky:
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA 2018: 31-49 - [c264]Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei:
Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. USENIX Security Symposium 2018: 1545-1562 - [i5]Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei:
Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. CoRR abs/1806.07558 (2018) - [i4]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Self-Driving Vehicle Verification Towards a Benchmark. CoRR abs/1806.08810 (2018) - [i3]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR abs/1811.01828 (2018) - 2017
- [j84]Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang:
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92: 1-18 (2017) - [j83]Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee:
Protecting interoperable clinical environment with authentication. SIGBED Rev. 14(2): 34-43 (2017) - [j82]Miroslav Pajic, Insup Lee, George J. Pappas:
Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Trans. Control. Netw. Syst. 4(1): 82-92 (2017) - [j81]Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee:
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. 1(3): 15:1-15:23 (2017) - [j80]Jaewoo Lee, Hoon Sung Chwa, Linh T. X. Phan, Insik Shin, Insup Lee:
MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. ACM Trans. Embed. Comput. Syst. 16(5s): 163:1-163:21 (2017) - [c263]Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee:
Transmission delay performance in telemedicine: A case study. EMBC 2017: 3723-3727 - [c262]Sangdon Park, James Weimer, Insup Lee:
Resilient linear classification: an approach to deal with attacks on training data. ICCPS 2017: 155-164 - [c261]Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee:
Extensible Energy Planning Framework for Preemptive Tasks. ISORC 2017: 32-41 - [c260]Meng Xu, Linh Thi Xuan Phan, Xuan Phan, Hyon-Young Choi, Insup Lee:
vCAT: Dynamic Cache Management Using CAT Virtualization. RTAS 2017: 211-222 - [c259]Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky:
Monitoring Time Intervals. RV 2017: 330-345 - [c258]Jiwoong Won, Oseok Kwon, Junhee Ryu, Junbeom Hur, Insup Lee, Kyungtae Kang:
Trapfetch: A breakpoint-based prefetcher for both launch and run-time. SMC 2017: 2766-2771 - [c257]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) 2017: 153-169 - [c256]Bong-Ho Kim, Doru Calin, Insup Lee:
Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks. WCNC 2017: 1-6 - [p1]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:
Modeling Opportunities in mHealth Cyber-Physical Systems. Mobile Health - Sensors, Analytic Methods, and Applications 2017: 443-453 - [i2]Sangdon Park, James Weimer, Insup Lee:
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. CoRR abs/1708.03366 (2017) - 2016
- [j79]Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee:
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. 10(3) (2016) - [j78]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - [j77]Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, Insup Lee:
Towards compositional mixed-criticality real-time scheduling in open systems: invited paper. SIGBED Rev. 13(3): 49-51 (2016) - [j76]Linh Thi Xuan Phan, Meng Xu, Insup Lee:
Cache-aware interfaces for compositional real-time systems: invited paper. SIGBED Rev. 13(3): 52-55 (2016) - [j75]Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee:
Prediction of Critical Pulmonary Shunts in Infants. IEEE Trans. Control. Syst. Technol. 24(6): 1936-1952 (2016) - [j74]Radoslav Ivanov, Miroslav Pajic, Insup Lee:
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 15(1): 21:1-21:24 (2016) - [c255]Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee:
A stochastic approach for attack resilient UAV motion planning. ACC 2016: 1366-1372 - [c254]Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee:
Cloud-Based Secure Logger for Medical Devices. CHASE 2016: 89-94 - [c253]Alexander Roederer, Joseph DiMartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson, Insup Lee:
Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. CHASE 2016: 229-237 - [c252]Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee:
Adaptive Transient Fault Model for Sensor Attack Detection. CPSNA 2016: 59-65 - [c251]Hyon-Young Choi, Andrew L. King, Insup Lee:
Making DDS really real-time with openflow. EMSOFT 2016: 4:1-4:10 - [c250]Bong-Ho Kim, Doru Calin, Insup Lee:
Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks. GLOBECOM 2016: 1-7 - [c249]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE 2016: 86-93 - [c248]Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee:
Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS 2016: 28:1-28:10 - [c247]Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu:
Human-interpretable diagnostic information for robotic planning systems. IROS 2016: 1673-1680 - [c246]Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar, George J. Pappas:
Online planning for energy-efficient and disturbance-aware UAV operations. IROS 2016: 5027-5033 - [c245]Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Insup Lee:
Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. RTAS 2016: 123-134 - [c244]Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee:
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA 2016: 76-84 - [c243]Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee:
Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. RTCSA 2016: 102 - [c242]Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky:
Scalable Verification of Linear Controller Software. TACAS 2016: 662-679 - [c241]Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall:
Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM 2016: 46-53 - 2015
- [j73]James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee:
Parameter-Invariant Design of Medical Alarms. IEEE Des. Test 32(5): 9-16 (2015) - [j72]Insup Lee:
Medical Cyber-Physical Systems: The Early Years. IEEE Des. Test 32(5): 119-120 (2015) - [j71]Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee:
Cache-aware compositional analysis of real-time multicore virtualization platforms. Real Time Syst. 51(6): 675-723 (2015) - [j70]Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang:
Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. 14(2): 839-859 (2015) - [j69]Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee, Oleg Sokolsky:
Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. IEEE Trans. Parallel Distributed Syst. 26(11): 3108-3121 (2015) - [c240]Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. CLOUD 2015: 179-186 - [c239]Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee:
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS 2015: 211-217 - [c238]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee:
Robust estimation using context-aware filtering. Allerton 2015: 590-597 - [c237]Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015: 91-100 - [c236]Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas:
Attack-resilient state estimation in the presence of noise. CDC 2015: 5827-5832 - [c235]BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
Platform-specific timing verification framework in model-based implementation. DATE 2015: 235-240 - [c234]Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee:
Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. EMBC 2015: 1504-1507 - [c233]Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky:
Automatic verification of linear controller software. EMSOFT 2015: 217-226 - [c232]Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee:
Sensor attack detection in the presence of transient faults. ICCPS 2015: 1-10 - [c231]Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee:
Early detection of critical pulmonary shunts in infants. ICCPS 2015: 110-119 - [c230]Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee:
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. ICHI 2015: 213-222 - [c229]James Weimer, Oleg Sokolsky, Insup Lee:
Robust Medical Monitor Design. ICHI 2015: 445 - [c228]Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015: 74-83 - [c227]Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee:
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95 - [c226]Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee:
Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM 2015: 248-262 - [c225]BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS 2015: 75-86 - [c224]Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Hybrid Approach to Causality Analysis. RV 2015: 250-265 - [c223]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops 2015: 15-26 - [c222]Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee:
Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242 - [c221]Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee:
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP 2015: 252-266 - 2014
- [j68]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [j67]Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee:
Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics 10(1): 3-16 (2014) - [c220]James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
Attack-resilient minimum mean-squared error estimation. ACC 2014: 1114-1119 - [c219]Alexander Roederer, Jacqueline Soegaard, Insup Lee, Jonathan P. Wanderer, Soojin Park:
Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data. CBMS 2014: 547-548 - [c218]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:
Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. CBMS 2014: 555-556 - [c217]James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee:
Towards Assurance Cases for Resilient Control Systems. CPSNA 2014: 1-6 - [c216]Radoslav Ivanov, Miroslav Pajic, Insup Lee:
Attack-resilient sensor fusion. DATE 2014: 1-6 - [c215]BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee:
A layered approach for testing timing in the model-based implementation. DATE 2014: 1-4 - [c214]Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee:
Real-time multi-core virtual machine scheduling in Xen. EMSOFT 2014: 27:1-27:10 - [c213]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC 2014: 64-80 - [c212]Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112 - [c211]Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee:
Functional Alarms for Systems of Interoperable Medical Devices. HASE 2014: 247-248 - [c210]Radoslav Ivanov, Miroslav Pajic, Insup Lee:
Resilient multidimensional sensor fusion using measurement history. HiCoNS 2014: 1-10 - [c209]Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150 - [c208]Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [c207]Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee:
Demo abstract: ROSLab - A modular programming environment for robotic applications. ICCPS 2014: 214 - [c206]Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee:
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks 2014: 18-23 - [c205]Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee:
Attack resilient state estimation for autonomous robotic systems. IROS 2014: 3692-3698 - [c204]Ankur M. Mehta, Nicola Bezzo, Peter Gebhard, Byoungkwon An, Vijay Kumar, Insup Lee, Daniela Rus:
A Design Environment for the Rapid Specification and Fabrication of Printable Robots. ISER 2014: 435-449 - [c203]Andrew L. King, Sanjian Chen, Insup Lee:
The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. ISORC 2014: 133-140 - [c202]Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee:
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS 2014: 94-99 - [c201]Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee:
MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. RTSS 2014: 41-52 - 2013
- [j66]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Insup Lee:
Analyzing and defending against web-based malware. ACM Comput. Surv. 45(4): 49:1-49:35 (2013) - [j65]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky:
AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. 7(3): 396-409 (2013) - [j64]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. ACM Trans. Embed. Comput. Syst. 13(1): 2:1-2:37 (2013) - [c200]Stephen D. Patek, Sanjian Chen, Patrick Keith-Hynes, Insup Lee:
Distributed aspects of the artificial pancreas. Allerton 2013: 543-550 - [c199]BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
Platform-dependent code generation for embedded real-time software. CASES 2013: 8:1-8:10 - [c198]James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee:
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS 2013: 197-216 - [c197]Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee:
Assuring the safety of on-demand medical cyber-physical systems. CPSNA 2013: 1-6 - [c196]Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby:
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS 2013: 81-90 - [c195]Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee:
A Modal Specification Approach for On-Demand Medical Systems. FHIES 2013: 199-216 - [c194]Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c193]Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee:
Contract-based blame assignment by trace analysis. HiCoNS 2013: 117-126 - [c192]Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy:
Co-design of control and platform with dropped signals. ICCPS 2013: 129-140 - [c191]BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky:
Platform dependent code generation of real-time embedded software. ICCPS 2013: 246 - [c190]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee:
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - [c189]Benjamin A. Kohl, Sanjian Chen, Margaret Mullen-Fortino, Insup Lee:
Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. ICHI 2013: 307-316 - [c188]Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee:
PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system. INFOCOM 2013: 3030-3038 - [c187]Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian:
TrustForge: Flexible access control for collaborative crowd-sourced environment. PST 2013: 291-300 - [c186]Linh T. X. Phan, Insup Lee:
Improving schedulability of fixed-priority real-time systems using shapers. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 217-226 - [c185]Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky:
Overhead-aware compositional analysis of real-time systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 237-246 - [c184]Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill:
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. RTSS 2013: 1-10 - [c183]Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303 - [c182]Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby:
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240 - [c181]Sung-Soo Lim, Eun-Jin Im, Nikil D. Dutt, Kyung-Woo Lee, Insik Shin, Chang-Gun Lee, Insup Lee:
A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems. SOCA 2013: 268-274 - [c180]Cong Liao, Jian Chang, Insup Lee, Krishna K. Venkatasubramanian:
A trust model for vehicular network-based incident reports. WiVeC 2013: 1-5 - 2012
- [j63]Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Insup Lee:
Trust in collaborative web applications. Future Gener. Comput. Syst. 28(8): 1238-1251 (2012) - [j62]Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee:
Security and Interoperable-Medical-Device Systems, Part 1. IEEE Secur. Priv. 10(5): 61-63 (2012) - [j61]Eugene Y. Vasserman, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee:
Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. IEEE Secur. Priv. 10(6): 70-73 (2012) - [j60]Radha Poovendran, Krishna Sampigethaya, Sandeep K. S. Gupta, Insup Lee, K. Venkatesh Prasad, David Corman, James L. Paunicka:
Special Issue on Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE 100(1): 6-12 (2012) - [j59]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:
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - [j58]Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan:
State-based scheduling with tree schedules: analysis and evaluation. Real Time Syst. 48(4): 430-462 (2012) - [j57]Oleg Sokolsky, Klaus Havelund, Insup Lee:
Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. 14(3): 243-247 (2012) - [j56]Anna Philippou, Insup Lee, Oleg Sokolsky:
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. 413(1): 2-20 (2012) - [c179]Insup Lee:
Invited talk: Challenges in Medical Cyber-Physical Systems. DSN Workshops 2012: 1 - [c178]Andrew L. King, Kelsea Fortino, Nicholas Stevens, Sachin Shah, Margaret Fortino-Mullen, Insup Lee:
Evaluation of a smart alarm for intensive care using clinical data. EMBC 2012: 166-169 - [c177]Andrew G. West, Pedram Hayati, Vidyasagar M. Potdar, Insup Lee:
Spamming for Science: Active Measurement in Web 2.0 Abuse Research. Financial Cryptography Workshops 2012: 98-111 - [c176]Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, Insup Lee:
HMM-based characterization of channel behavior for networked control systems. HiCoNS 2012: 11-20 - [c175]John Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman, Sandy Weininger, Julian M. Goldman:
Rationale and Architecture Principles for Medical Application Platforms. ICCPS 2012: 3-12 - [c174]Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca Trevino, Margaret Fortino-Mullen, Andrew L. King, Insup Lee:
Smart alarms: multivariate medical alarm integration for post CABG surgery patients. IHI 2012: 533-542 - [c173]Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino:
The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. IHI 2012: 667-672 - [c172]Alex Roederer, Andrew Hicks, Enny Oyeniran, Insup Lee, Soojin Park:
Clinical decision support for integrated cyber-physical systems: a mixed methods approach. IHI 2012: 871-874 - [c171]Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky:
A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 - [c170]BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP 2012: 16-22 - [c169]Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky:
Realizing Compositional Scheduling through Virtualization. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 13-22 - [c168]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 173-184 - [c167]Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee:
Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. RTSS 2012: 51-62 - [c166]Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky:
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP 2012: 305-316 - [c165]Andrew G. West, Insup Lee:
Towards content-driven reputation for collaborative code repositories. WikiSym 2012: 13 - 2011
- [j55]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Permission to speak: A logic for access control and conformance. J. Log. Algebraic Methods Program. 80(1): 50-74 (2011) - [j54]Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee:
Zero-laxity based real-time multiprocessor scheduling. J. Syst. Softw. 84(12): 2324-2333 (2011) - [j53]Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee:
Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Rev. 8(1): 38-45 (2011) - [j52]Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky:
CARTS: a tool for compositional analysis of real-time systems. SIGBED Rev. 8(1): 62-63 (2011) - [j51]Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-9 (2011) - [c164]Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
Compositional analysis of real-time embedded systems. CASES 2011: 237-238 - [c163]Andrew G. West, Insup Lee:
Towards the effective temporal association mining of spam blacklists. CEAS 2011: 73-82 - [c162]Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee:
Link spamming Wikipedia for profit. CEAS 2011: 152-161 - [c161]Andrew G. West, Insup Lee:
Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011. CLEF (Notebook Papers/Labs/Workshop) 2011 - [c160]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, Insup Lee:
ToMaTo: a trustworthy code mashup development tool. Mashups/Dataview@ECOWS 2011: 5:1-5:8 - [c159]David Arney, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee:
Biomedical devices and systems security. EMBC 2011: 2376-2379 - [c158]Nikhil Dinesh, Aravind K. Joshi, Insup Lee:
Computing Logical Form on Regulatory Texts. EMNLP 2011: 1202-1212 - [c157]BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley:
Safety-assured development of the GPCA infusion pump software. EMSOFT 2011: 155-164 - [c156]Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl:
Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232 - [c155]Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas:
Reputation-based networked control with data-corrupting channels. HSCC 2011: 291-300 - [c154]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:
On effective testing of health care simulation software. SEHC@ICSE 2011: 40-47 - [c153]Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky:
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 81-90 - [c152]Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
A Semantic Framework for Mode Change Protocols. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 91-100 - [c151]Linh T. X. Phan, Insup Lee:
Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems. RTCSA (2) 2011: 67-73 - [c150]Deepak Gangadharan, Linh T. X. Phan, Samarjit Chakraborty, Roger Zimmermann, Insup Lee:
Video Quality Driven Buffer Sizing via Frame Drops. RTCSA (1) 2011: 319-328 - [c149]Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
Runtime Verification of Traces under Recording Uncertainty. RV 2011: 442-456 - [c148]Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee:
An empirical analysis of scheduling techniques for real-time cloud-based data processing. SOCA 2011: 1-8 - [c147]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee:
AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST 2011: 262-276 - [c146]Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino:
Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Wireless Health 2011: 16 - [c145]Andrew G. West, Insup Lee:
What Wikipedia deletes: characterizing dangerous collaborative content. Int. Sym. Wikis 2011: 25-28 - [c144]Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, Insup Lee:
Autonomous link spam detection in purely collaborative environments. Int. Sym. Wikis 2011: 91-100 - 2010
- [j50]Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16(17): 2415-2434 (2010) - [j49]Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee:
Multiprocessor real-time scheduling considering concurrency and urgency. SIGBED Rev. 7(1): 5 (2010) - [j48]Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee:
Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010) - [j47]Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee:
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6(4): 568-578 (2010) - [c143]Andrew G. West, Adam J. Aviv, Jian Chang, Insup Lee:
Spam mitigation using spatio-temporal reputations from blacklist history. ACSAC 2010: 161-170 - [c142]Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee:
Towards a data-centric view of cloud security. CloudDB@CIKM 2010: 25-32 - [c141]Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic:
Cyber-physical systems: the next computing revolution. DAC 2010: 731-736 - [c140]Insup Lee, Oleg Sokolsky:
Medical cyber physical systems. DAC 2010: 743-748 - [c139]Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
Compositional Analysis of Multi-mode Systems. ECRTS 2010: 197-206 - [c138]Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee:
Modeling buffers with data refresh semantics in automotive architectures. EMSOFT 2010: 119-128 - [c137]Andrew G. West, Sampath Kannan, Insup Lee:
Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata? EUROSEC 2010: 22-28 - [c136]Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi:
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197 - [c135]David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky:
Toward patient safety in closed-loop medical device systems. ICCPS 2010: 139-148 - [c134]Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter:
Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE 2010: 1-11 - [c133]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:
GSA: a framework for rapid prototyping of smart alarm systems. IHI 2010: 487-491 - [c132]Eunkyoung Jee, Insup Lee, Oleg Sokolsky:
Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) 2010: 343-356 - [c131]David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim:
Model-Based Programming of Modular Robots. ISORC 2010: 66-74 - [c130]Zhuoyao Zhang, Linh T. X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, Insup Lee:
On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform. Middleware (Industry Track) 2010: 4-10 - [c129]Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee:
A Safety-Assured Development Approach for Real-Time Software. RTCSA 2010: 133-142 - [c128]Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee:
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. SAFECOMP 2010: 223-236 - [c127]Andrew L. King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare, Oleg Sokolsky, Insup Lee, Margaret Mullen-Fortino, Soojin Park:
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 2010: 210-211 - [c126]Andrew G. West, Sampath Kannan, Insup Lee:
Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool. Int. Sym. Wikis 2010 - [c125]Andrew G. West, Sampath Kannan, Insup Lee:
STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata. Int. Sym. Wikis 2010 - [e5]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents]
2000 – 2009
- 2009
- [j46]Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee:
Dynamic Trust Management. Computer 42(2): 44-52 (2009) - [j45]Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee:
Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(11): 2781-2789 (2009) - [j44]Arvind Easwaran, Insik Shin, Insup Lee:
Optimal virtual cluster-based multiprocessor scheduling. Real Time Syst. 43(1): 25-59 (2009) - [j43]Sebastian Fischmeister, Robert Trausmuth, Insup Lee:
Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Ind. Informatics 5(3): 325-337 (2009) - [c124]Oleg Sokolsky, Insup Lee, Duncan Clarke:
Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236 - [c123]David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee:
Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. BIODEVICES 2009: 52-60 - [c122]David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee:
Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study. BIOSTEC (Selected Papers) 2009: 96-109 - [c121]Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, Oleg Sokolsky:
QuanTM: a quantitative trust management system. EUROSEC 2009: 28-35 - [c120]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304 - [c119]Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic:
Strong and Weak Policy Relations. POLICY 2009: 33-36 - [c118]Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal:
A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA 2009: 371-380 - [c117]Linh T. X. Phan, Samarjit Chakraborty, Insup Lee:
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. RTSS 2009: 271-280 - [c116]Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee:
DMaC: Distributed Monitoring and Checking. RV 2009: 184-201 - [c115]Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones:
Model-Based Testing of GUI-Driven Applications. SEUS 2009: 203-214 - 2008
- [j42]Arvind Easwaran, Insup Lee:
Compositional schedulability analysis for cyber-physical systems. SIGBED Rev. 5(1): 6 (2008) - [j41]Madhukar Anand, Insup Lee:
Challenges and opportunities in deeply embedded systems security. SIGBED Rev. 5(1): 25 (2008) - [j40]Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min:
A design framework for real-time embedded systems with code size and energy constraints. ACM Trans. Embed. Comput. Syst. 7(2): 18:1-18:27 (2008) - [j39]Insik Shin, Insup Lee:
Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7(3): 30:1-30:39 (2008) - [c114]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON 2008: 110-124 - [c113]Insik Shin, Arvind Easwaran, Insup Lee:
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. ECRTS 2008: 181-190 - [c112]Sebastian Fischmeister, Insup Lee, Robert Trausmuth:
Hardware acceleration for verifiable, adaptive real-time communication. ETFA 2008: 1425-1432 - [c111]Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee:
Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398 - [c110]Madhukar Anand, Insup Lee:
Robust and sustainable schedulability analysis of embedded software. LCTES 2008: 61-70 - [c109]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Checking Traces for Regulatory Conformance. RV 2008: 86-103 - [e4]Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan:
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311, Springer 2008, ISBN 978-3-540-88386-9 [contents] - 2007
- [j38]Insup Lee, Anna Philippou, Oleg Sokolsky:
Resources in process algebra. J. Log. Algebraic Methods Program. 72(1): 98-122 (2007) - [j37]Chenyang Lu, Insup Lee:
Editorial: Special issue on real-time wireless sensor networks. Real Time Syst. 37(3): 181-182 (2007) - [j36]Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007) - [c108]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246 - [c107]Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee:
A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74 - [c106]A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas:
Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342 - [c105]Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky:
Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC 2007: 274-281 - [c104]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160 - [c103]Arvind Easwaran, Madhukar Anand, Insup Lee:
Compositional Analysis Framework Using EDP Resource Models. RTSS 2007: 129-138 - [c102]Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr:
Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175 - [e3]Sang Hyuk Son, Insup Lee, Joseph Y.-T. Leung:
Handbook of Real-Time and Embedded Systems. Chapman and Hall/CRC 2007, ISBN 978-1-58488-678-5 [contents] - [r3]Insup Lee, Sebastian Fischmeister:
Temporal Control in Real-Time Systems. Handbook of Real-Time and Embedded Systems 2007 - [r2]Insup Lee, Joseph Y.-T. Leung, Sang Hyuk Son:
Introduction and Overview. Handbook of Real-Time and Embedded Systems 2007 - [r1]Insik Shin, Insup Lee:
Compositional Real-Time Schedulability Analysis. Handbook of Real-Time and Embedded Systems 2007 - [i1]Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee:
Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007 - 2006
- [j35]Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha:
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [j34]Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky:
Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebraic Methods Program. 68(1-2): 105-128 (2006) - [j33]John Hatcliff, Insup Lee, Oleg Sokolsky:
Introduction to special issue. SIGBED Rev. 3(4) (2006) - [c101]Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66 - [c100]Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee:
Securing the drop-box architecture for assisted living. FMSE 2006: 1-12 - [c99]Michael J. May, Carl A. Gunter, Insup Lee:
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. CSFW 2006: 85-97 - [c98]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
An analysis framework for network-code programs. EMSOFT 2006: 122-131 - [c97]Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee:
Incremental schedulability analysis of hierarchical real-time components. EMSOFT 2006: 272-281 - [c96]Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee:
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406 - [c95]Oleg Sokolsky, Insup Lee, Duncan Clarke:
Schedulability analysis of AADL models. IPDPS 2006 - [c94]Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee:
Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399 - [c93]Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324 - [c92]Oleg Sokolsky, Sampath Kannan, Insup Lee:
Simulation-Based Graph Similarity. TACAS 2006: 426-440 - [c91]Madhukar Anand, Eric Cronin, Micah Sherr, Zachary G. Ives, Insup Lee:
Sensor Network Security: More Interesting Than You Think. HotSec 2006 - 2005
- [j32]John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar:
Opportunities and Obligations for Physical Computing Systems. Computer 38(11): 23-31 (2005) - [j31]Rajeev Alur, Insup Lee:
Preface. ACM Trans. Embed. Comput. Syst. 4(4): 707 (2005) - [c90]Madhukar Anand, Zachary G. Ives, Insup Lee:
Quantifying eavesdropping vulnerability in sensor networks. DMSN 2005: 3-9 - [c89]Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213 - [c88]Chaitanya Penubarthi, Myuhng Joo Kim, Insup Lee:
Security in Sensor Networks for Medical Systems Torso Architecture. ICCSA (1) 2005: 156-165 - [c87]Insik Shin, Insup Lee:
A Compositional Framework for Real-Time Embedded Systems. ISAS 2005: 137-148 - [c86]Madhukar Anand, Jesung Kim, Insup Lee:
Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173 - [c85]Usa Sammapun, Insup Lee, Oleg Sokolsky:
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005: 147-153 - [c84]Hyoung Seok Hong, Insup Lee, Oleg Sokolsky:
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM 2005: 25-34 - [c83]Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim:
Run-Time Checking of Dynamic Properties. RV@CAV 2005: 91-108 - [c82]Insup Lee, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. APC 25 2005: 221-226 - 2004
- [j30]Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. 24(2): 129-155 (2004) - [j29]Insup Lee, Oleg Sokolsky:
Research challenges in embedded and hybrid systems. SIGBED Rev. 1(1): 1-5 (2004) - [j28]Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. 5(4): 308-319 (2004) - [c81]Insik Shin, Insup Lee:
A Compositional Framework for Real-Time Guarantees. ASWSD 2004: 43-56 - [c80]Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi:
Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447 - [c79]Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee:
Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492 - [c78]Li Tan, Oleg Sokolsky, Insup Lee:
Specification-based Testing with Linear Temporal Logic. IRI 2004: 493-498 - [c77]Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis:
Is runtime verification applicable to cheat detection? NETGAMES 2004: 134-138 - [c76]Insik Shin, Insup Lee:
Compositional Real-Time Scheduling Framework. RTSS 2004: 57-67 - [c75]Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky:
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. RV@ETAPS 2004: 123-143 - 2003
- [j27]Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical modeling and analysis of embedded systems. Proc. IEEE 91(1): 11-28 (2003) - [c74]Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural:
Data Flow Testing as Model Checking. ICSE 2003: 232-243 - [c73]Yerang Hur, Rafael Fierro, Insup Lee:
Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. ISORC 2003: 93-98 - [c72]Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky:
Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182 - [c71]Jesung Kim, Insup Lee:
Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium 2003: 160- - [c70]Insik Shin, Insup Lee:
Periodic Resource Model for Compositional Real-Time Guarantees. RTSS 2003: 2-13 - [c69]Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425 - [c68]Li Tan, Jesung Kim, Insup Lee:
Testing and Monitoring Model-based Generated Program. RV@CAV 2003: 128-148 - [e2]Rajeev Alur, Insup Lee:
Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings. Lecture Notes in Computer Science 2855, Springer 2003, ISBN 3-540-20223-4 [contents] - 2002
- [j26]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:
A Framework and Architecture for Multi-Robot Coordination. Int. J. Robotics Res. 21(10-11): 977-998 (2002) - [j25]Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42(1): 49-60 (2002) - [j24]Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002) - [c67]Yerang Hur, Insup Lee:
Distributed Simulation of Multi-Agent Hybrid Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 356-364 - [c66]Insup Lee, Anna Philippou, Oleg Sokolsky:
A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248 - [c65]Insik Shin, Insup Lee, Sang Lyul Min:
Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. RTSS 2002: 201-211 - [c64]Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341 - [c63]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC 2002: 80-94 - [c62]Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky:
Monitoring, Checking, and Steering of Real-Time Systems. RV@FLoC 2002: 95-111 - 2001
- [j23]Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001) - [j22]Enver Yücesan, Yuh-Chuyn Luo, Chun-Hung Chen, Insup Lee:
Distributed web-based simulation experiments for optimization. Simul. Pract. Theory 9(1-2): 73-90 (2001) - [c61]Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31 - [c60]Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 - [c59]Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky:
Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48 - [c58]Jia Wang, Insup Lee:
Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis. ISC 2001: 512-535 - [c57]Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou:
Fair Real-Time Traffic Scheduling over a Wireless LA. RTSS 2001: 279-288 - [c56]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV 2001: 218-235 - [c55]Jitka Stríbrná, Insup Lee:
Characterizing Non-Zenoness on Real-Time Processes. MTCS 2001: 306-322 - 2000
- [j21]Inhye Kang, Insup Lee, Young-Si Kim:
An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. 26(5): 453-477 (2000) - [c54]Anna Philippou, Insup Lee, Oleg Sokolsky:
Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349 - [c53]Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee:
Modular Specification of Hybrid Systems in CHARON. HSCC 2000: 6-19 - [c52]Jin-Young Choi, Hee-Hwan Kwak, Insup Lee:
A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742 - [c51]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:
A Framework and Architecture for Multirobot Coordination. ISER 2000: 303-312 - [c50]Insup Lee, Mike Jones, Hermann Kopetz, K. H. Kim, Thomas F. Lawrence, Bhavani Thuraisingham:
Fundamental R&D Issues in Real-Time Distributed Computing. ISORC 2000: 215- - [c49]Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13 - [c48]Yuh-Chuyn Luo, Chun-Hung Chen, Enver Yücesan, Insup Lee:
Distributed web-based simulation optimization. WSC 2000: 1785-1793
1990 – 1999
- 1999
- [j20]Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah:
Specification and Analysis of Real-Time Systems with PARAGON. Ann. Softw. Eng. 7: 211-234 (1999) - [c47]Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Formally specified monitoring of temporal properties. ECRTS 1999: 114-122 - [c46]Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee:
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods 1999: 212-232 - [c45]Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan:
Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287 - [c44]Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan:
Steering of real-time systems based on monitoring and checking. WORDS (Fall) 1999: 11-18 - [c43]Hee-Hwan Kwak, Insup Lee:
Process algebraic approach to the parametric analysis of object scheduling in real-time systems. WORDS (Fall) 1999: 131-138 - 1998
- [j19]Hanêne Ben-Abdallah, Insup Lee:
A Graphical Language for Specifying and Analyzing Real-Time Systems. Integr. Comput. Aided Eng. 5(4): 279-302 (1998) - [j18]Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie:
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15(3): 189-219 (1998) - [j17]Sanguthevar Rajasekaran, Insup Lee:
Parallel Algorithms for Relational Coarsest Partition Problems. IEEE Trans. Parallel Distributed Syst. 9(7): 687-699 (1998) - [c42]Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404 - [c41]Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou:
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium 1998: 220-229 - [c40]Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418 - [c39]Enver Yücesan, Chun-Hung Chen, Insup Lee:
Web-based Simulation Experiments. WSC 1998: 1649-1654 - [c38]Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Monterey Workshop 1998: 38-49 - 1997
- [j16]Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee:
A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138(2): 124-159 (1997) - [j15]Patrice Brémond-Grégoire, Insup Lee:
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theor. Comput. Sci. 189(1-2): 179-219 (1997) - [c37]Insup Lee, Oleg Sokolsky:
Analytical Design of Evolutionary Control Flow Components. HASE 1997: 48-55 - [c36]Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim:
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. RE 1997: 198-209 - [c35]Duncan Clarke, Insup Lee:
Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. IEEE Real Time Technology and Applications Symposium 1997: 112-124 - [c34]Duncan Clarke, Insup Lee:
Automatic generation of tests for timing constraints from requirements. WORDS 1997: 199-206 - 1996
- [j14]Insup Lee:
Formal Verification, Testing and Checking of Real-Time Systems. ACM Comput. Surv. 28(4es): 182 (1996) - [c33]Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky:
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. CAV 1996: 402-405 - [c32]Inhye Kang, Insup Lee:
An Efficient State Space Generation for Analysis of Real-Time Systems. ISSTA 1996: 4-13 - [c31]Duncan Clarke, Insup Lee:
Testing-Based Analysis of Real-Time System Models. ITC 1996: 894-903 - [c30]Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479 - [c29]Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee:
Schedulability and safety analysis in the graphical communicating shared resources. WORDS 1996: 25-33 - 1995
- [c28]Moon Lee, Noah S. Prywes, Insup Lee:
Automation of analysis and simulation for understanding of large real-time Ada software. ICECCS 1995: 55-58 - [c27]Duncan Clarke, Insup Lee:
Testing Real-Time Constraints in a Process Algebraic Setting. ICSE 1995: 51-60 - [c26]Jin-Young Choi, Insup Lee, Hong-liang Xie:
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS 1995: 266-275 - [c25]Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi:
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS 1995: 276-286 - [e1]Insup Lee, Scott A. Smolka:
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Lecture Notes in Computer Science 962, Springer 1995, ISBN 3-540-60218-6 [contents] - 1994
- [j13]Richard Gerber, Insup Lee:
A Resource-Based Prioritized Bisimulation for Real-Time Systems. Inf. Comput. 113(1): 102-142 (1994) - [j12]Insup Lee, Patrice Brémond-Grégoire, Richard Gerber:
A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proc. IEEE 82(1): 158-171 (1994) - [c24]Insup Lee, Sanguthevar Rajasekaran:
A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. CAV 1994: 404-414 - 1993
- [j11]Victor Fay Wolfe, Susan B. Davidson, Insup Lee:
RTC: Language Support for Real-Time Concurrency. Real Time Syst. 5(1): 63-87 (1993) - [j10]Susan B. Davidson, Insup Lee, Victor Fay Wolfe:
Deadlock Prevention in Concurrent Real-Time Systems. Real Time Syst. 5(4): 305-318 (1993) - [c23]Patrice Brémond-Grégoire, Insup Lee, Richard Gerber:
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR 1993: 417-431 - [c22]Victor Fay Wolfe, Susan B. Davidson, Insup Lee:
Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. ICDCS 1993: 420-427 - [c21]Insup Lee, Sanguthevar Rajasekaran:
Fast Parallel Algorithms for Model Checking Using BDDs. IPPS 1993: 444-448 - 1992
- [j9]Richard Gerber, Insup Lee:
A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Trans. Software Eng. 18(9): 768-784 (1992) - [c20]Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee:
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW 1992: 65-85 - 1991
- [j8]Susan B. Davidson, Insup Lee, Victor Fay Wolfe:
Timed Atomic Commitment. IEEE Trans. Computers 40(5): 573-583 (1991) - [c19]Richard Gerber, Insup Lee:
Specification and Analysis of Resource-Bound Real-Time Systems. REX Workshop 1991: 371-396 - [c18]Victor Fay Wolfe, Susan B. Davidson, Insup Lee:
RTC: language support for real-time concurrency. RTSS 1991: 43-52 - [c17]Richard Gerber, Elsa L. Gunter, Insup Lee:
Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154 - 1990
- [j7]Insup Lee, Susan B. Davidson:
A Performance Analysis of Times Synchronous Communication Primitives. IEEE Trans. Computers 39(9): 1117-1131 (1990) - [c16]Richard Gerber, Insup Lee:
CCSR: A Calculus for Communicating Shared Resources. CONCUR 1990: 263-277 - [c15]Richard Gerber, Insup Lee:
A Proof System for Communicating Shared Resources. RTSS 1990: 288-299
1980 – 1989
- 1989
- [j6]Insup Lee, Robert B. King, Richard P. Paul:
A Predictable Real-Time Kernel for Distributed Multisensor Systems. Computer 22(6): 78-83 (1989) - [j5]David Smitley, Insup Lee:
Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks. J. Parallel Distributed Comput. 7(1): 178-199 (1989) - [c14]Susan B. Davidson, Insup Lee, Victor Fay Wolfe:
Language constructs for timed atomic commitment. FTCS 1989: 470-477 - [c13]Susan B. Davidson, Insup Lee, Victor Fay Wolfe:
A protocol for timed atomic commitment. ICDCS 1989: 199-206 - [c12]Richard Gerber, Insup Lee:
Communicating Shared Resources: A Model for Distributed Real-Time Systems. RTSS 1989: 68-78 - 1988
- [j4]Insup Lee, David Smitley:
A Synthesis Algorithm for Reconfigurable Interconnection Networks. IEEE Trans. Computers 37(6): 691-699 (1988) - [c11]Insup Lee, Amy E. Zwarico:
Timed Acceptances: A Model of Time Dependent Processes. FTRTFT 1988: 128-130 - [c10]Vijay Gehlot, Insup Lee:
Formal specification and analysis of DMI-an X-25 based protocol. INFOCOM 1988: 641-650 - 1987
- [j3]Insup Lee, Susan B. Davidson:
Adding Time to Synchronous Process Communications. IEEE Trans. Computers 36(8): 941-948 (1987) - [c9]Insup Lee, Susan B. Davidson:
Generalized I/O with Timing Constraints. ICDCS 1987: 316-323 - [c8]Insup Lee, David Smitley:
Synthesis of Topologies with Minimum Total Expansion. ICPP 1987: 759-761 - 1986
- [j2]Insup Lee, Noah S. Prywes, Boleslaw K. Szymanski:
Partitioning of Massive/Real-Time Programs for Parallel Processing. Adv. Comput. 25: 215-275 (1986) - [c7]Insup Lee, Samuel M. Goldwasser, David Smitley:
Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. ICPP 1986: 394-396 - [c6]Insup Lee, Susan B. Davidson:
Protocols for Timed Synchronous Process Communications. RTSS 1986: 128-135 - 1985
- [c5]Insup Lee, Samuel M. Goldwasser:
A distributed testbed for active sensory processing. ICRA 1985: 925-930 - [c4]Insup Lee, Vijay Gehlot:
Language Constructs for Distributed Real-Time Programming. RTSS 1985: 57-66 - [c3]Amy E. Zwarico, Insup Lee:
Proving a Network of Real-Time Processes Correct. RTSS 1985: 169-177 - 1983
- [c2]Insup Lee:
Integrated environments. SIGSOFT 1983: 60-62 - [c1]Robert P. Cook, Insup Lee:
DYMOS: a dynamic modification system. SIGSOFT 1983: 201-202 - 1982
- [j1]Robert P. Cook, Insup Lee:
A Contextual Analysis of Pascal Programs. Softw. Pract. Exp. 12(2): 195-203 (1982)
Coauthor Index
Hyonyoung Choi
aka: Hyon-Young Choi
aka: Hyon-Young Choi
Jin Young Choi
aka: Jin-Young Choi
aka: Jin-Young Choi
Mats P. E. Heimdahl
aka: Mats Per Erik Heimdahl
aka: Mats Per Erik Heimdahl
Margaret Mullen-Fortino
aka: Margaret Fortino-Mullen
aka: Margaret Fortino-Mullen
Linh T. X. Phan
aka: Linh Thi Xuan Phan
aka: Linh Thi Xuan Phan
[c366] [c365] [i64] [j106] [j104] [c360] [c358] [c355] [c351] [c350] [c347] [c346] [c345] [i62] [i61] [i58] [c343] [c338] [c337] [c336] [c334] [c333] [c332] [c330] [c328] [c327] [i55] [i54] [i53] [i52] [i50] [i49] [i44] [i40] [i39] [j102] [c325] [c324] [c323] [c321] [c317] [c316] [c311] [c309] [c308] [i37] [i34] [i33] [i31] [i29] [i27] [j98] [c304] [c301] [c296] [c295] [c294] [i22] [i20] [i18] [i17] [i16] [j95] [c290] [c289] [j90] [c288] [c286] [c284] [c282] [c281] [c280] [i8] [j88] [c279] [c276] [c275] [c272] [c270] [c268] [c267] [c266] [c265] [i4] [j84] [c263] [c261] [c259] [c257] [j79] [c255] [c254] [c249] [c244] [c242] [c241] [j71] [j69] [c240] [c239] [c235] [c233] [c230] [c229] [c227] [c226] [c225] [c224] [c223] [c222] [c221] [j68] [j67] [c220] [c217] [c214] [c213] [c212] [c211] [c209] [c208] [c205] [c202] [j65] [c199] [c198] [c197] [c195] [c194] [c193] [c192] [c191] [c190] [c187] [c185] [c184] [c183] [c182] [j62] [j61] [j59] [j57] [j56] [c173] [c171] [c170] [c169] [c168] [c166] [j55] [j53] [j52] [c164] [c162] [c160] [c159] [c157] [c156] [c154] [c153] [c152] [c149] [c147] [c146] [c140] [c139] [c136] [c135] [c134] [c133] [c132] [c129] [c127] [e5] [j46] [c124] [c121] [c118] [c116] [c115] [c114] [c109] [j38] [j36] [c105] [c104] [c102] [i1] [j34] [j33] [c97] [c96] [c95] [c93] [c92] [c85] [c84] [c83] [c82] [j30] [j29] [c79] [c78] [c77] [c75] [j27] [c74] [c72] [c69] [j25] [j24] [c66] [c64] [c63] [c62] [j23] [c61] [c60] [c59] [c56] [c54] [c49] [j20] [c47] [c45] [c44] [c42] [c41] [c40] [c38] [c37] [c33]
[c361] [c358] [c354] [c352] [c343] [c341] [c333] [c332] [c331] [c329] [i48] [i43] [i42] [j102] [j101] [c324] [c323] [c321] [c320] [c319] [c318] [i36] [i34] [i31] [i27] [i26] [j99] [c307] [c306] [c305] [c303] [c302] [c301] [c300] [c299] [c298] [i23] [i21] [i20] [j96] [j95] [c293] [c292] [c290] [i14] [i13] [i9] [j92] [j91] [c286] [c285] [c284] [i8] [i6] [j88] [c278] [c277] [c276] [c275] [c274] [c272] [c268] [i4] [i3] [j81] [c262] [i2] [j79] [j75] [c255] [c254] [c252] [c248] [c243] [j73] [c239] [c234] [c232] [c231] [c229] [c220] [c217] [c208] [c205] [c198] [c194] [c190]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-17 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
