M
Moonjoo Kim
Researcher at University of Pennsylvania
Publications - 11
Citations - 926
Moonjoo Kim is an academic researcher from University of Pennsylvania. The author has contributed to research in topics: Correctness & Formal verification. The author has an hindex of 11, co-authored 11 publications receiving 911 citations.
Papers
More filters
Journal ArticleDOI
Java-MaC: A Run-time Assurance Tool for Java Programs
TL;DR: The paper presents an overview of the MaC architecture and a prototype implementation of the Monitoring and Checking (MaC) architecture, a lightweight formal method solution as a viable complement to the current heavyweight formal methods.
Proceedings Article
Runtime Assurance Based On Formal Specifications
TL;DR: The Monitoring and Checking (MaC) framework which assures the correctness of the current execution at run-time and two languages to specify monitoring scripts and requirements are presented.
Proceedings ArticleDOI
Formally specified monitoring of temporal properties
TL;DR: The MaC framework provides assurance on the correctness of an execution of a real-time system at runtime and bridges the gap between formal specification and testing, which validates implementations but lacks formality.
Journal ArticleDOI
Verisim: formal analysis of network simulations
Karthikeyan Bhargavan,Carl A. Gunter,Moonjoo Kim,Insup Lee,Davor Obradovic,Oleg Sokolsky,Mahesh Viswanathan +6 more
TL;DR: Novel aspects of the approach include modest integration costs with other simulation objectives such as performance evaluation, greatly increased flexibility in specifying properties to be checked and techniques for analyzing complex traces of alarms raised by the monitoring software.
Proceedings ArticleDOI
Verisim: Formal analysis of network simulations
Karthikeyan Bhargavan,Carl A. Gunter,Moonjoo Kim,Insup Lee,Davor Obradovic,Oleg Sokolsky,Mahesh Viswanathan +6 more
TL;DR: This talk focuses on program analysis tools, and proposes a surprisingly simple explanation with interesting ramifications of why there are so few successful "real-world" programming and testing tools based on academic research.