Papers
7
Total Citations
138
H-Index
6
About
Moonzoo Kim is a researcher whose work sits at the intersection of software engineering, formal methods, and robotics, with a particular focus on home service robot systems and software product lines. His most influential contribution, "Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets" (2005), has garnered 58 citations and demonstrates his expertise in modernizing software architectures through systematic re-engineering approaches. Kim has made significant strides in applying formal verification techniques to robot systems, exploring how rigorous mathematical methods can ensure the correctness of robot movement and coordination protocols — work reflected in his 2006 study on the SHR100 home service robot, which earned 31 citations. His research addresses the practical challenge that home service robots must reliably adapt to evolving user needs, and he has pioneered approaches combining formal construction, virtual prototyping using tools like ASADAL/OBJ, and multirobot coordination analysis. Kim's body of work bridges theoretical rigor and real-world application, offering the robotics and software engineering communities validated frameworks for building dependable, adaptable autonomous systems. His consistent output across 2005–2007 established him as a thoughtful contributor to the emerging field of formally verified robotic software architecture.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Re-engineering software architecture of home service robots16 citations · 2005
- 4Formal Construction and Verification of Home Service Robots: A Case Study11 citations · 2005
- 5Re-engineering software architecture of home service robots: a case study10 citations · 2005
- 6
- 73D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ4 citations · 2006