Kyo Chul Kang, Jae Joon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu
Abstract. A credit card authorization system (CAS) is a large information system performing diverse activities such as purchase authentication, balance transfer, cash advances, etc. One...
Many robot systems employ logic based or reactive controllers making them hybrid systems (i.e mixed discrete-continuous). However, designing such control laws in a systematic manner remains a...
Pre-testing Flash Device Driver through Model Checking Techniques (2008)
Moonzoo Kim, Yunho Kim, Yunja Choi, Hotae Kim
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provide services, it is...
Mahesh Viswanathan, Moonzoo Kim
A run-time monitoring technique has become a promising methodology for higher system assurance by validating a current execution trace with regard to a given requirement specification. To formalize...
Abstract. One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of...
Formal Modeling and Verification of Management on a Group of Network Security Appliances (2008)
Abstract. One of the prerequisites for information society is secure and reliable communication among computing systems. Thus, for both fault tolerance and high network throughput, multiple security...
Kyo Chul Kang, Jae Joon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu
Abstract. A credit card authorization system (CAS) is a large information system performing diverse activities such as purchase authentication, balance transfer, cash advances, etc. One...
3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ (2005)
Kang, Kyo Chul, Kim, Moonzoo, Lee, Jaejoon, Kim, Byungkil, Hong, Youngjin, Lee, Hyoungki, ...
Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environment can reduce...
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 (2005)
Kim, Moonzoo, Kang, Kyo Chul, Lee, Hyoungki
Proceedings of the 2005 IEEE International Conference on Robotics and Automation Barcelona, Spain, April 2005
Formal verification of robot movements - a case study on home service robot shr100 (2005)
Abstract — Home service robots have received much attention from both academia and industry because home service robots have wide range of potential applications such as home security, cleaning,...
3d virtual prototyping of home service robots using asadal/obj (2005)
Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Youngjin Hong, Hyoungki Lee, Seokwon Bang
Abstract – Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environment can...
Formal construction and verification of home service robots: A case study (2005)
Abstract. Home service robots have attracted much attentions to anticipate improved quality of human life. Considering that malfunctions of home service robots can directly threat the safety of human...
B.Kim. Feature-oriented Re-engineering of Legacy Systems into Product Line Assets, The 9 (2005)
Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim
Abstract. Home service robots have a wide range of potential applications, such as home security, patient caring, cleaning, etc. The services provided by the robots in each application area are being...
3d virtual prototyping of home service robots using asadal/obj (2005)
Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Youngjin Hong, Hyoungki Lee, Seokwon Bang
Abstract – Typical development of a robot requires that the hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environment...
Formal construction and verification of home service robots: A case study (2005)
Abstract. Home service robots have attracted much attentions to anticipate improved quality of human life. Considering that malfunctions of home service robots can directly threat the safety of human...
Formal verification of robot movements - a case study on home service robot shr100 (2005)
Abstract — Home service robots attract much attention from both academia and industry for its immediate impact on increased quality of human life. Home service robots interact closely with human in...
Re-engineering software architecture of home service robots: A case study (2005)
Moonzoo Kim, Jaejoon Lee, Kyo Chul
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists of various...
Java-MaC: A run-time assurance approach for Java programs (2004)
Abstract. We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is...