Moonzoo Kim

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

14 Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Springer 2008
13EEMoonzoo Kim, Yunho Kim, Hotae Kim: Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE 2008: 198-207
12EEMoonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484
11EEMoonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN 2008: 144-159
10EEMoonzoo Kim: Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. ATVA 2007: 489-500
9EEJoel M. Esposito, Moonzoo Kim: Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. IEEE Transactions on Systems, Man, and Cybernetics, Part A 37(3): 285-297 (2007)
8EEKyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu: Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - A Case Study. ICSR 2006: 156-169
7EEMoonzoo Kim, Kyo Chul Kang: Formal Construction and Verification of Home Service Robots: A Case Study. ATVA 2005: 429-443
6 Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang: 3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. ICRA 2005: 2903-2908
5 Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee: Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. ICRA 2005: 4739-4744
4EEMoonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang: Re-engineering software architecture of home service robots: a case study. ICSE 2005: 505-513
3EEKyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim: Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. SPLC 2005: 45-56
2EEMahesh Viswanathan, Moonzoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556
1EEMoonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky: Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2): 129-155 (2004)

Coauthor Index

1Seokwon Bang [4] [6]
2Sung Deok Cha [14]
3Jin-Young Choi [14]
4Yunja Choi [11] [12]
5Joel M. Esposito [9]
6Youngjin Hong [4] [6]
7Kyo Chul Kang [3] [4] [5] [6] [7] [8]
8Sampath Kannan [1]
9Byungkil Kim [3] [6] [8]
10Hotae Kim [11] [12] [13]
11Yunho Kim [11] [12] [13]
12Hyoungki Lee [5] [6]
13Insup Lee [1] [14]
14Jaejoon Lee [3] [4] [6] [8]
15Chang-woo Seo [8]
16Oleg Sokolsky [1]
17Mahesh Viswanathan [1] [2] [14]
18Seung-lyeol Yu [8]

Colors in the list of coauthors

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