Statistics
Publications
8
Citations
537
H-Index
8
Active since
1998
Affiliations
Moonjoo Kim is an author at University of Pennsylvania specializing in computer science, computing, and formal methods.
Publications per year
1998–2003
8
8
Runtime Assurance Based On Formal Specifications
Insup Lee, Sampath Kannan, Moonjoo Kim et al. · ScholarlyCommons (University of Pennsylvania) · 1999 · 164 citations · Full text
Formally specified monitoring of temporal properties
Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben‐Abdallah et al. · 2003 · 126 citations · Full text
Monitoring, Checking, and Steering of Real-Time Systems
Moonjoo Kim, Insup Lee, Usa Sammapun et al. · Electronic Notes in Theoretical Computer Science · 2002 · 57 citations · Full text
Computational Analysis of Run-time Monitoring
Moonjoo Kim, Sampath Kannan, Insup Lee et al. · Electronic Notes in Theoretical Computer Science · 2002 · 39 citations · Full text
1–5 of 8