Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers. - Byoung-Kwi Lee; Mun-Hye Kang; Kyoung Choon Park; Jin Seob Yi; Sang Woo Yang; Yong-Kee Jun (FGIT-ASEA/DRBC/EL, 2011)

Implementation of Display Based on Pilot Preference. - Chung-Jae Lee; Jin Seob Yi; Ki-Il Kim (FGIT-ASEA/DRBC/EL, 2011)