Insup Lee

Insup Lee

University of Pennsylvania

H-index: 75

North America-United States

About Insup Lee

Insup Lee, With an exceptional h-index of 75 and a recent h-index of 38 (since 2020), a distinguished researcher at University of Pennsylvania, specializes in the field of Real-time systems, Real-Time Embedded Systems, Cyber Physical Systems, runtime verification, trust management.

His recent articles reflect a diverse array of research interests and contributions to the field:

Conformal prediction regions for time series using linear complementarity programming

Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees

Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees

LLM-enabled Cyber-Physical Systems: Survey, Research Opportunities, and Challenges

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works

Uncertainty in Language Models: Assessment through Rank-Calibration

Predicting out-of-distribution performance of deep neural networks using model conformance

A novel Bayes’ theorem for upper probabilities

Insup Lee Information

University

Position

Professor Computer and Information Science

Citations(all)

24502

Citations(since 2020)

7580

Cited By

19883

hIndex(all)

75

hIndex(since 2020)

38

i10Index(all)

405

i10Index(since 2020)

158

Email

University Profile Page

University of Pennsylvania

Google Scholar

View Google Scholar Profile

Insup Lee Skills & Research Interests

Real-time systems

Real-Time Embedded Systems

Cyber Physical Systems

runtime verification

trust management

Top articles of Insup Lee

Title

Journal

Author(s)

Publication Date

Conformal prediction regions for time series using linear complementarity programming

Proceedings of the AAAI Conference on Artificial Intelligence

Matthew Cleaveland

Insup Lee

George J Pappas

Lars Lindemann

2024/3/24

Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees

ACM Transactions on Cyber-Physical Systems

Ramneet Kaur

Yahan Yang

Oleg Sokolsky

Insup Lee

2024

Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees

ACM Transactions on Cyber-Physical Systems

Yahan Yang

Ramneet Kaur

Souradeep Dutta

Insup Lee

2024

LLM-enabled Cyber-Physical Systems: Survey, Research Opportunities, and Challenges

Weizhe Xu

Mengyu Liu

Oleg Sokolsky

Insup Lee

Fanxin Kong

2024/5

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works

Pengyuan Lu

Lin Zhang

Mengyu Liu

Kaustubh Sridhar

Oleg Sokolsky

...

2024/4/6

Uncertainty in Language Models: Assessment through Rank-Calibration

arXiv preprint arXiv:2404.03163

Xinmeng Huang

Shuo Li

Mengxin Yu

Matteo Sesia

Hamed Hassani

...

2024/4/4

Predicting out-of-distribution performance of deep neural networks using model conformance

Ramneet Kaur

Susmit Jha

Anirban Roy

Oleg Sokolsky

Insup Lee

2023/6/6

A novel Bayes’ theorem for upper probabilities

Michele Caprio

Yusuf Sale

Eyke Hüllermeier

Insup Lee

2023/8/4

Understanding Calibration for Multilingual Question Answering Models

arXiv preprint arXiv:2311.08669

Yahan Yang

Soham Dan

Dan Roth

Insup Lee

2023/11/15

Memory-consistent neural networks for imitation learning

ICLR 2024

Kaustubh Sridhar

Souradeep Dutta

Dinesh Jayaraman

James Weimer

Insup Lee

2023/10

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning

arXiv preprint arXiv:2302.10341

Vivian Lin

Kuk Jang

Souradeep Dutta

Michele Caprio

Oleg Sokolsky

...

2023/2/20

Automated insulin delivery for hypoglycemia avoidance and glucose counterregulation in long-standing type 1 diabetes with hypoglycemia unawareness

Diabetes Technology & Therapeutics

Anneliese J Flatt

Amy J Peleckis

Cornelia Dalton-Bakes

Huong-Lan Nguyen

Sarah Ilany

...

2023/5/1

Codit: Conformal out-of-distribution detection in time-series data for cyber-physical systems

Ramneet Kaur

Kaustubh Sridhar

Sangdon Park

Yahan Yang

Susmit Jha

...

2023/5/9

Causal repair of learning-enabled cyber-physical systems

Pengyuan Lu

Ivan Ruchkin

Matthew Cleaveland

Oleg Sokolsky

Insup Lee

2023/6/6

Memory Classifiers for Robust ECG Classification against Physiological Noise

Kuk Jin Jang

Souradeep Dutta

Jean Park

James Weimer

Insup Lee

2023/7/24

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

arXiv preprint arXiv:2311.07377

Xi Zheng

Aloysius K Mok

Ruzica Piskac

Yong Jae Lee

Bhaskar Krishnamachari

...

2023/11/13

SpectraVue-An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research

Tarek Hamid

Insup Lee

Amanda Watson

2023/10/8

Imprecise Bayesian neural networks

arXiv preprint arXiv:2302.09656

Michele Caprio

Souradeep Dutta

Kuk Jin Jang

Vivian Lin

Radoslav Ivanov

...

2023/2/19

Detection of Adversarial Physical Attacks in Time-Series Image Data

arXiv preprint arXiv:2304.13919

Ramneet Kaur

Yiannis Kantaros

Wenwen Si

James Weimer

Insup Lee

2023/4/27

Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression

Sydney Pugh

Souradeep Dutta

Ramneet Kaur

Yahan Yang

Elena Bernardis

...

2023/5/9

See List of Professors in Insup Lee University(University of Pennsylvania)

Co-Authors

H-index: 105
George J. Pappas

George J. Pappas

University of Pennsylvania

H-index: 54
Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

H-index: 51
Susan Davidson

Susan Davidson

University of Pennsylvania

H-index: 41
Mahesh Viswanathan

Mahesh Viswanathan

University of Illinois at Urbana-Champaign

H-index: 37
Miroslav Pajic

Miroslav Pajic

Duke University

H-index: 35
Insik Shin

Insik Shin

KAIST

academic-engine