The SCEAS System
Navigation Menu

Search the dblp DataBase


Moonzoo Kim: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002