Doohyun Kim

Systematic Verification of Operational Flight Program through Reverse Engineering

Junbeom Yoo, Doo-Hyun Kim, Dong-Ah Lee, 2011, FGIT-ASEA/DRBC/EL.

Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter

Sangkyung Sung, Junbeom Yoo, Doo-Hyun Kim, 2012 .

Formal Verification of Process Communications in Operational Flight Program for a Small-Scale Unmanned Helicopter

Junbeom Yoo, Doo-Hyun Kim, Dong-Ah Lee, 2010 .

Real-Time Multicast and Memory Replication Channels with Delay Bounded Error Detection and Retry Capabilities

Zhen Zhang, K. H. Kim, Kee-Wook Rim, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Experimental Feasibility Analysis of ROI-Based Hough Transform for Real-Time Line Tracking in Auto-Landing of UAV

Chun-Hyon Chang, Doo-Hyun Kim, Jung-Guk Kim, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

Image processing acceleration for intelligent unmanned aerial vehicle on mobile GPU

Young-Guk Ha, Doo-Hyun Kim, Dongwoon Jeon, 2016, Soft Comput..

Incorporation of Security Mechanisms into the TMO Scheme for Real Time Distributed Computing

Zhen Zhang, Doo Hyun Kim, Moon-Cheol Kim, 2009, 2009 Software Technologies for Future Dependable Distributed Systems.

A TMO-based approach to tolerance of transmission jitters in tele-audio services

Sheng Liu, K. H. Kim, Doo-Hyun Kim, 2002, Comput. Syst. Sci. Eng..

A Scheme for Reliable Real-Time Messaging with Bounded Delays

Zhen Zhang, K. H. Kim, Jing Qian, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

An Extended Cloud Computing Architecture for Immediate Sharing of Avionic Contents

Neungsoo Park, Doo-Hyun Kim, Seung-Jung Shin, 2011, ACN.