Insup Lee
Scholar

Insup Lee

Google Scholar ID: qPlUgrgAAAAJ
Professor, Computer and Information Science, University of Pennsylvania
Real-time systemsReal-Time Embedded SystemsCyber Physical Systemsruntime verificationtrust management
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
4 items
SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Models
2026
Cited
0
Policy-Guided Stepwise Model Routing for Cost-Effective Reasoning
2026
Cited
0
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
Oleg Sokolsky
University of Pennsylvania
Co-author 2
Co-author 2
Linh Thi Xuan Phan
Linh Thi Xuan Phan
Professor, University of Pennsylvania
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Insik Shin
Insik Shin
Professor, School of Computing, KAIST
Co-author 6
Co-author 6
Arvind Easwaran
Arvind Easwaran
Nanyang Technological University (NTU)
Nicola Bezzo
Nicola Bezzo
Associate Professor, University of Virginia