 | 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 |
|---|
| 8 |  | Moonjoo 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) |
| 7 | | Moonjoo 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) |
| 6 | | Karthikeyan 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 |
|---|
| 5 | | Moonjoo 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 |
|---|
| 4 | | Karthikeyan 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 |
|---|
| 3 | | Moonjoo 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 |
|---|
| 1 | | Moonjoo Kim,
Young S. Han,
Key-Sun Choi:
Collocation Map for Overcoming Data Sparseness.
EACL 1995: 53-59 |
