Statistics
Publications
264
Citations
11.2K
H-Index
58
Active since
1982
Insup Lee is an author at University of Pennsylvania specializing in computer science, computing, and computer engineering.
Publications per year
1982–2025
264
264
Periodic resource model for compositional real-time guarantees
Insik Shin, Insup Lee · 2004 · 508 citations · Full text
Robustness of attack-resilient state estimators
Miroslav Pajić, James Weimer, Nicola Bezzo et al. · 2014 · 237 citations · Full text
Java-MaC: A Run-Time Assurance Approach for Java Programs
Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan et al. · Formal Methods in System Design · 2004 · 219 citations
Radoslav Ivanov, James Weimer, Rajeev Alur et al. · 2019 · 219 citations
1–5 of 264