| 2008 |
|---|
| 10 | EE | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Pre-testing Flash Device Driver through Model Checking Techniques.
ICST 2008: 475-484 |
| 9 | 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 |
|---|
| 8 | EE | Moonzoo Kim:
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.
ATVA 2007: 489-500 |
| 7 | 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 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Moonzoo Kim,
Kyo Chul Kang:
Formal Construction and Verification of Home Service Robots: A Case Study.
ATVA 2005: 429-443 |
| 4 | | 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 |
| 3 | | Moonzoo Kim,
Kyo Chul Kang,
Hyoungki Lee:
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100.
ICRA 2005: 4739-4744 |
| 2 | 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 |
| 1 | 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 |
