| 2008 |
|---|
| 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 |
| 13 | EE | Moonzoo Kim,
Yunho Kim,
Hotae Kim:
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
ASE 2008: 198-207 |
| 12 | EE | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Pre-testing Flash Device Driver through Model Checking Techniques.
ICST 2008: 475-484 |
| 11 | EE | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Formal Verification of a Flash Memory Device Driver - An Experience Report.
SPIN 2008: 144-159 |
| 2007 |
|---|
| 10 | EE | Moonzoo Kim:
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.
ATVA 2007: 489-500 |
| 9 | EE | Joel 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) |
| 2006 |
|---|
| 8 | EE | Kyo 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 |
| 2005 |
|---|
| 7 | EE | Moonzoo 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 |
| 4 | EE | Moonzoo 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 |
| 3 | EE | Kyo 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 |
| 2004 |
|---|
| 2 | EE | Mahesh Viswanathan,
Moonzoo Kim:
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.
ICTAC 2004: 543-556 |
| 1 | EE | Moonzoo 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) |
