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.uni-trier.de/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
- 2024
[j105]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)- [j104]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) - [c356]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI 2024: 20984-20992 - [c355]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 - [c354]Insup Lee, Weisong Shi, Zhe He, Ye Sun:
Preface; CHASE 2024. CHASE 2024: x - [c353]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 - [c352]Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee:
A Novel Bayes' Theorem for Upper Probabilities. Epi UAI 2024: 1-12 - [c351]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11 - [c350]Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee:
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS 2024: 212-223 - [c349]Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani:
PAC Prediction Sets Under Label Shift. ICLR 2024 - [c348]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. ICLR 2024 - [c347]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 - [c346]Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT 2024: 3799-3821 - [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 - [i59]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) - [i58]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) - [i57]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) - [i56]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) - 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 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)