| * Y.-J. Kim, S. Song, and Y.-K. Jun, "VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs", International Journal of Parallel Programming, 1-31… | |
| * G. M. Tchamgoue, K. H. Kim, and Y.-K. Jun, "Verification of Data Races in Concurrent Interrupt Handlers", International Journal of Distributed Sensor Netwo… | |
| * G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, and W.-Y. Lee, "Compositional Real-Time Scheduling Framework for Periodic Reward-Based Task Model", Journal of Syste… |
| * Eu-Teum Choi, O.-K, Ha, and Y.-K. Jun "Configuration Tool for ARINC 653 Operating Systems" ", ICCA 2013, Jeju, Korea, November 27-29, 2013 * SCOPUS pub… | |
| * Ok-Kyoon Ha, and Yong-Kee Jun, “Efficient Thread Labeling for On-the-fly Detection of Races in OpenMP programs”, Information, International Information Insti… | |
| * Myeong-Sin Kang , Ok-Kyoon Ha, and Yong-Kee Jun, "Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs", ICCA 2013, Jeju, Ko… | |
| * Kim, S.-S, O.-K, Ha, and Y.-K. Jun, "Verification Environment of Race Conditions for Multi-core Architectures in Avionics", The 1st International Conferen… | |
| * G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun "Dynamic Data Race Detection for Interrupt-Driven Programs", In Proceedings of the 1st International Conference … | |
| * G. M. Tchamgoue, O.-K, Ha, and Y.-K. Jun, "An Efficient Labeling Scheme for Data Race Detection in Interrupt-Driven Programs", In Proceedings of the 1st … |