Moonjoo Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1995–2000
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ISSTA | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 1999 | ECRTS | Formally specified monitoring of temporal properties. | Moonjoo Kim, Mahesh Viswanathan, Hanne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky |
| 1999 | FM | 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 |
| 1999 | PDPTA | Runtime Assurance Based On Formal Specifications. | Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan |
| 1995 | EACL | Collocation Map for Overcoming Data Sparseness. | Moonjoo Kim, Young S. Han, Key-Sun Choi |