| * Ha, O.-K., and Y. Jun, "Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism" In Proceedings of the International Conf… | |
| * Ha, O., Y. Jun, "Monitoring of Programs with Nested Parallelism using Efficient Thread Labeling," International Journal fo u- and e- Service, Science and Tec… | |
| * M. Kang, and Y. Jun., "Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism," In Proceedings of the ASEA 2011, CCIS 257… | |
| * S. Kim, O. Ha, and Y. Jun, "Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism", In Proceedings of the 2nd Interna… | |
| * Y.-C. Kim, S.-S. Jun, Y.-K. Jun, "Space-Efficient On-the-fly Race Detection Using Loop Splitting", In Proceedings of the 2nd International Conference on Ubi… | |
| * Kim, Y., S. Song, and Y. Jun, "ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs," 9th International Symposium on Parallel and… | |
| * B. Lee, M. Kang, K. C. Park. J. S. Yi, S. W. Yang, and Y. Jun., "Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers," In Proceeding… | |
| Year 2011 Title 항공기 다중 기능 시현기 Applicant 경상대학교산학협력단 Inventor 김기일, 전용기, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 다중 기능 시현기… | |
| Year 2011 Title 항공기의 수평 현황 시현기 Applicant 경상대학교 산학협력단 Inventor 전용기, 김기일, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 수평 현황 시현… | |
| * G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Framework for On-the-fly Race Healing in ARINC-653 Applications", International Journal of Hybrid Inf… | |
| * Tchamgoue, G.M., Ha, O.-K., Kim, K.-H., Jun, Y.-K.: A Taxonomy of Concurrency Bugs in Event-Driven Programs. In Proceedings of the ASEA 2011, CCIS 257, pp. 4… | |
| * G. M. Tchamgoue, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers", In Proceedings of the Wo… | |
| * G. M. Tchamgoue, I.-B. Kuh, O.-K. Ha, K.-H. Kim, and Y.-K. Jun, "A Race Healing Framework in Simulated ARINC-653", Proceedings of the Int'l Conference on Fut… | |
| * G. M. Tchamgoue, K.-H. Kim, Y.-K. Jun, and W.-Y. Lee, "Hierarchical Real-Time Scheduling Framework for Imprecise Computations", In Proceedings of the 8th IEE… |