Euteum Choi Post-Doc - Revision history

James: /* Publications */

2026-05-02T14:09:56Z

Publications

← Older revision		Revision as of 23:09, 2 May 2026
Line 3:		Line 3:
	[[File:EuteumChoi.jpg\|thumb\|right\|Dr. Euteum Choi\|200px]]		[[File:EuteumChoi.jpg\|thumb\|right\|Dr. Euteum Choi\|200px]]
	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.		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 ==~~

	== Publications ==		== Publications ==

James at 14:09, 2 May 2026

2026-05-02T14:09:13Z

@@ Line 6: / Line 6: @@
 == Publications ==
-=== SCI/SCIE Jounals ===
+== Publications ==
-* 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.
+{{#ask: [[Category:Publication]] [[Author::Euteum Choi || 최으뜸]]
-* 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.
+ | ?Author
-* 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
+ | valuesep = ;&nbsp;
-=== ACM/IEEE Conference ===
+== Patents ==
-* 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.
+{{#ask: [[Category:Patent]] [[Type::Patent || SoftwareCopyright]] [[Inventor::최으뜸]]
-* 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
+ |?Inventor
 * 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.
 * 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.
 * 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.

James at 11:18, 12 November 2024

2024-11-12T11:18:12Z

← Older revision		Revision as of 20:18, 12 November 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==

	[[File:EuteumChoi.jpg\|thumb\|right\|200px]]		[[File:EuteumChoi.jpg\|thumb\|right\|Dr. Euteum Choi\|200px]]
	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.		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.

James: /* Short Biography */

2024-11-12T11:16:44Z

Short Biography

← Older revision		Revision as of 20:16, 12 November 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==

			[[File:EuteumChoi.jpg\|thumb\|right\|200px]]
	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.		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.

James: /* Short Biography */

2024-11-12T11:14:57Z

Short Biography

← Older revision		Revision as of 20:14, 12 November 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==

	~~[[File:EuteumChoi.jpg\|thumb\|right]]~~
	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.		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.

James: /* Short Biography */

2024-11-12T11:10:04Z

Short Biography

← Older revision		Revision as of 20:10, 12 November 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==

	[[File:EuteumChoi.jpg\|thumb\|right~~\|200px~~]]		[[File:EuteumChoi.jpg\|thumb\|right]]
	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.		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.

James: /* Short Biography */

2024-11-12T11:09:42Z

Short Biography

← Older revision		Revision as of 20:09, 12 November 2024
Line 3:		Line 3:
	[[File:EuteumChoi.jpg\|thumb\|right\|200px]]		[[File:EuteumChoi.jpg\|thumb\|right\|200px]]
	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.		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 ==		== Publications ==

James at 11:08, 12 November 2024

2024-11-12T11:08:38Z

← Older revision		Revision as of 20:08, 12 November 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==

			[[File:EuteumChoi.jpg\|thumb\|right\|200px]]
	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.		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.

James at 11:55, 29 September 2024

2024-09-29T11:55:03Z

← Older revision		Revision as of 20:55, 29 September 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==
	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.		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.

James at 02:50, 28 September 2024

2024-09-28T02:50:49Z

← Older revision		Revision as of 11:50, 28 September 2024
Line 1:		Line 1:
	== Short Biography ==		== Short Biography ==
	Euteum Choi obtained his Ph.D. in Engineering with a major in Informatics in February 2021. He is currently working as a research engineer 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.		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.