dblp.uni-trier.dewww.uni-trier.de

Moonjoo Kim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jongho Bang [9]
2Hanêne Ben-Abdallah [3]
3Karthikeyan Bhargavan [4] [6]
4Key-Sun Choi [1]
5Carl A. Gunter [4] [6]
6Young S. Han [1]
7Sampath Kannan [2] [3] [5] [8]
8Myungchul Kim [9]
9Insup Lee [2] [3] [4] [5] [6] [7] [8]
10Kyounghee Lee [9]
11Suwon Lee [9]
12Davor Obradovic [4] [6]
13Usa Sammapun [7]
14Jangwoo Shin [7]
15Oleg Sokolsky [2] [3] [4] [5] [6] [7] [8]
16Mahesh Viswanathan [2] [3] [4] [5] [6] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)