Moonjoo Kim

According to our database, Moonjoo Kim authored at least 8 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Verisim: Formal Analysis of Network Simulations.

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan

IEEE Trans. Software Eng., 2002

Monitoring, Checking, and Steering of Real-Time Systems.

Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky

Proceedings of the Runtime Verification 2002, 2002

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.

Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Proceedings of the Runtime Verification 2002, 2002

2001

Java-MaC: a Run-time Assurance Tool for Java Programs.

Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Proceedings of the Workshop on Runtime Verification, 2001

1999

Steering of real-time systems based on monitoring and checking.

Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Runtime Assurance Based On Formal Specifications.

Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.

Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee

Proceedings of the FM'99 - Formal Methods, 1999

Formally specified monitoring of temporal properties.

Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999