Scholar
Insup Lee
Google Scholar ID: qPlUgrgAAAAJ
Professor, Computer and Information Science, University of Pennsylvania
Real-time systems
Real-Time Embedded Systems
Cyber Physical Systems
runtime verification
trust management
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
8,861
H-index
39
i10-index
191
Publications
20
Co-authors
13
list available
Contact
No contact links provided.
Publications
2 items
Report for NSF Workshop on Algorithm-Hardware Co-design for Medical Applications
2026
Cited
0
SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems
2026
Cited
0
Resume (English only)
Co-authors
13 total
Oleg Sokolsky
University of Pennsylvania
Co-author 2
Linh Thi Xuan Phan
Professor, University of Pennsylvania
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Insik Shin
Professor, School of Computing, KAIST
Co-author 6
Arvind Easwaran
Nanyang Technological University (NTU)
Nicola Bezzo
Associate Professor, University of Virginia
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up