Search the dblp DataBase

Publications of Author

1. Moonzoo Kim, Kyo Chul Kang
   Formal Construction and Verification of Home Service Robots: A Case Study. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:429-443 [Conf]
   
2. Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang
   Re-engineering software architecture of home service robots: a case study. [Citation Graph (0, 0)][DBLP]
   ICSE, 2005, pp:505-513 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   ICSR, 2006, pp:156-169 [Conf]
   
4. Mahesh Viswanathan, Moonzoo Kim
   Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:543-556 [Conf]
   
5. Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim
   Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. [Citation Graph (0, 0)][DBLP]
   SPLC, 2005, pp:45-56 [Conf]
   
6. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
   Java-MaC: A Run-Time Assurance Approach for Java Programs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:24, n:2, pp:129-155 [Journal]
   
7. Moonzoo Kim
   Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:489-500 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   ICRA, 2005, pp:2903-2908 [Conf]
   
9. Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee
   Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. [Citation Graph (0, 0)][DBLP]
   ICRA, 2005, pp:4739-4744 [Conf]
   
10. 
    Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. [Citation Graph (, )][DBLP]
    
    
11. 
    Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. [Citation Graph (, )][DBLP]
    
    
12. 
    Formal Verification of a Flash Memory Device Driver - An Experience Report. [Citation Graph (, )][DBLP]
    
    
13. 
    Pre-testing Flash Device Driver through Model Checking Techniques. [Citation Graph (, )][DBLP]
    
    
14. 
    Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. [Citation Graph (, )][DBLP]
    
    
15. 
    Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. [Citation Graph (, )][DBLP]