Search the dblp DataBase

Publications of Author

1. Moonjoo Kim, Young S. Han, Key-Sun Choi
   Collocation Map for Overcoming Data Sparseness. [Citation Graph (0, 0)][DBLP]
   EACL, 1995, pp:53-59 [Conf]
   
2. Moonjoo Kim, Kyounghee Lee, Myungchul Kim, Jongho Bang, Suwon Lee
   Wireless Signal Strength-Aware TCP-Friendly Rate Control in Mobile Networks. [Citation Graph (0, 0)][DBLP]
   ICWN, 2005, pp:63-72 [Conf]
   
3. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
   Verisim: Formal analysis of network simulations. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2000, pp:2-13 [Conf]
   
4. Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
   Runtime Assurance Based On Formal Specifications. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1999, pp:279-287 [Conf]
   
5. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
   Java-MaC: a Run-time Assurance Tool for Java Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
   
6. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
   Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
7. Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky
   Monitoring, Checking, and Steering of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
8. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
   Verisim: Formal Analysis of Network Simulations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2002, v:28, n:2, pp:129-145 [Journal]
   
9. 
   Formally specified monitoring of temporal properties. [Citation Graph (, )][DBLP]