Eu-Teum Choi

Detecting Atomicity Races in ARINC 653 Applications

Se-Won Park, Ok-Kyoon Ha, Yong-Kee Jun, 2015, 2015 8th International Conference on Grid and Distributed Computing (GDC).

Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications

Se-Won Park, Ok-Kyoon Ha, Yong-Kee Jun, 2014 .

항공기 시현계통 소프트웨어의 비행시험을 위한 분석도구;항공기 시현계통 소프트웨어의 비행시험을 위한 분석도구;An Analysis Tool for Flight Test of Airborne Display Software

Yong-Kee Jun, Eu-Teum Choi, Yong-Rae Lee, 2018 .

Configuration Tool for ARINC 653 Operating Systems

Ok-Kyoon Ha, Yong-Kee Jun, Eu-Teum Choi, 2014, MUE 2014.

Development of Technique for Healing Data Races based on Software Transactional Memory

Ok-Kyoon Ha, Yong-Kee Jun, Kun Su Yoon, 2016 .

AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications

Ok-Kyoon Ha, Yong-Kee Jun, Eu-Teum Choi, 2016 .

On-the-fly Atomicity Violation Repairing Technique for Airborne Health Management Systems

Yong-Kee Jun, Eu-Teum Choi, Seongjin Lee, 2020, Journal of the Korean Society for Aeronautical & Space Sciences.