Euteum Choi Post-Doc

Short Biography

Dr. Euteum Choi

Euteum Choi obtained his Ph.D. in Engineering with a major in Informatics in February 2021. He is currently working as a research engineer (Post-Doc) at the Institute of Convergence Components and Materials of Gyeongsang National University. His main research areas are aircraft software and dependable software, with a particular focus on software health management (SWHM) of aircraft and dynamic testing of concurrent software. Recently, he has been working on applying artificial intelligence (AI), digital twins, and edge computing to aircraft systems.

Publications

SCI/SCIE Jounals

• Sang-yun Kim, Eu-teum Choi, Yong-Kee Jun, and Seong-Jin Lee, "Student Dropout Prediction for University with High Precision and Recall", Applied Sciences, vol. 13, May 2023.
• Eu-teum Choi, Tae-hyung Kim, Yong-Kee Jun, Seong-Jin Lee, and Min-gyun Han, "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software", Applied Sciences, vol. 12, February 2022.
• Changhui Kim, Euteum Choi, Mingyun Han, Seongjin Lee, and Jaeho Kim. 2022. "Performance Analysis of RCU-Style Non-Blocking Synchronization Mechanisms on a Manycore-Based Operating System" Applied Sciences 12, no. 7: 3458. https://doi.org/10.3390/app12073458

ACM/IEEE Conference

• Chang-Hui Bae, Eu-Teum Choi, Yong-Kee Jun, Ok-Kyoon Ha, "Lightweight Method for On-the fly Detection of Multivariable Atomicity Violations", 7th International Workship on Testing Extra-Functional Properties and Quality Characteristics of Software System, Dublin, Ireland, Apirl. 16-20, 2023.
• Sangil Ha, Euteum Choi, Dongbeom Ko, Sungjoo Kang and Seongjin Lee, "Efficient Resource Augmentation of Resource Constrained UAVs Through EdgeCPS", The 2023 ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27 - April 2, 2023
• Eu-Teum Choi, Young-Hun Yun, Simjae Ko, Byoung Soo Kim, Yong-Kee Jun, "Tracing Threads of Safety-Critical Functions for Certifying Airworthiness of Military Aircraft", 38th Digital Avionics Systems Conference(DASC 2019), San Diego, California, USA, Sep. 8-12, 2019
• Eu-Teum Choi, Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "Detecting Atomicity Races in ARINC 653 Applications,", In Proceedings of International Conference on Grind and Distributed Computing (GDC 2015), IEEE Conferecne Publications, pp. 24-27, Nov. 25-28, Jeju, Korea.

SCOPUS Journal

• Eu-Teum Choi, Ok-Kyoon Ha, and Yong-Kee Jun, “AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications,” International Journal of Software Engineering and Its Applications (IJSEIA), SERSC, Vol. 10(1), pp.201-212, January 2016.
• Ok-Kyoon Ha, Eu-Teum Choi, and Yong-Kee Jun, “Design and Implementation of Software Configuration Tool for Integrated Modular Avionics,” Applied Mechanics and Materials, Vol. 651-653, 1827-1830, Sept. 2014.
• Eu-Teum Choi, Ok-Kyoon Ha, and Yong-Kee Jun, “Configuration Tool for ARINC 653 Operating Systems”, International Journa of Multimedia and Ubiquitous Engineering (IJMUE), SERSC, Vol. 9(4), pp.73-84, April 2014.

Others Publication

• Eu-Teum Choi, Se-Won Park, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications,” In Proceedings of International Conference on Signal Processing, Image Processing and Pattern (SIP 2014), Advanced Science and Technology Letters (ASTL), Vol. 75, pp. 41-44, Dec. 20-23, Hainan, China.