Formally specified monitoring of temporal properties. - Moonjoo Kim 001; Mahesh Viswanathan 001; Hanêne Ben-Abdallah; Sampath Kannan; Insup Lee 001; Oleg Sokolsky (ECRTS, 1999)

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. - Rajeev Alur; Joel M. Esposito; Moonjoo Kim 001; Vijay Kumar 001; Insup Lee 001 (World Congress on Formal Methods, 1999)

Runtime Assurance Based On Formal Specifications. - Insup Lee 001; Sampath Kannan; Moonjoo Kim 001; Oleg Sokolsky; Mahesh Viswanathan 001 (PDPTA, 1999)

Steering of real-time systems based on monitoring and checking. - Oleg Sokolsky; Sampath Kannan; Moonjoo Kim 001; Insup Lee 001; Mahesh Viswanathan 001 (WORDS (Fall), 1999)

Java-MaC: a Run-time Assurance Tool for Java Programs. - Moonjoo Kim 001; Sampath Kannan; Insup Lee 001; Oleg Sokolsky; Mahesh Viswanathan 001 (RV@CAV, 2001)

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. - Moonjoo Kim 001; Sampath Kannan; Insup Lee 001; Oleg Sokolsky; Mahesh Viswanathan 001 (RV@FLoC, 2002)

Monitoring, Checking, and Steering of Real-Time Systems. - Moonjoo Kim 001; Insup Lee 001; Usa Sammapun; Jangwoo Shin; Oleg Sokolsky (RV@FLoC, 2002)

Verisim: Formal Analysis of Network Simulations. - Karthikeyan Bhargavan; Carl A. Gunter; Moonjoo Kim 001; Insup Lee 001; Davor Obradovic; Oleg Sokolsky; Mahesh Viswanathan 001 (IEEE Trans. Software Eng., 2002)