| * Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "EventHealer: Bypassing data races in event-driven programs,", Journal of Systems and Software, vol. 118, p… |
| * Choi, Eu-Teum, Ok-Kyoon Ha, and Yong-Kee Jun, “AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications,” International Journal of Softwar… | |
| * Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun, and Hee-Dong Park, “Case Study on Message Races in Data Distribution Service Programs,” IInternational Journal of Sof… | |
| * Kang, Myeong-Sin, M. Kang, Ok-Kyoon Ha, and Yong-Kee Jun, “ConpathView: A Visualization Tool for Debugging Race Conditions in Event Synchronization of ARINC … |
| * Eu-Teum Choi, Kun-Su Yoon, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Technique for Healing Data Races based on Software Transactional Memory,", Advanced … | |
| * Young-Joo Kim, Jong-Soo Seok, YungJoon Jung, and Ok-Kyoon Ha, “Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems,” Jo… |