| * 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… | |
| * 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… | |
| Year 2013 Title 데이터 경합 탐지를 위한 스레드 레이블링 방법 및 이를 이용한 데이터 경합탐지 장치 Applicant 경상대학교산학협력단 Inventor 전용기, 하옥균 Nationality Korea Status Holding(등록) A… | |
| * 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 … | |
| * 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… | |
| * 김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "Verification Environm… |