| * 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… | |
| * E.-T. Choi, O.-K. Ha, and Y.-K. Jun, “Configuration Tool for ARINC 653 Operating Systems”, International Journa of Multimedia and Ubiquitous Engineering (IJM… | |
| * 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… | |
| * S. Dorankula, G. M. Tchamgoue, Y.-K. Jun, "Efficient Detection of First Races in Concurrent Signal Handlers", In proceedings of the International Conference … | |
| * O.-K. Ha, E.-T. Choi, and Y.-K. Jun, “Design and Implementation of Software Configuration Tool for Integrated Modular Avionics,” Applied Mechanics and Materi… | |
| * 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… | |
| * Ok-Kyoon Ha, and Yong-Kee Jun, “Efficient Thread Labeling for On-the-fly Detection of Races in OpenMP programs”, Information, International Information Insti… | |
| * Ha, O.-K. and Y.-K. Jun, “Effective Monitoring Memory Operations for Dynamic Race Detection through Hierarchical Filtering Method”, International Journa of M… | |
| * Ha, O., S. Kim, Y. Jun, "Efficient Thread Labeling for Monitoring Programs with Nested Parallelism," In Proceedings of the International Conference on Future… | |
| * Ha O., Y. Kim, M. Kang and Y. Jun, "Empirical Comparison of Data Race Detection Tools for OpenMP Programs.", Proceedings of International Conference on Grid … | |
| * O. Ha, G. M. Tchamgoue, J. Suh, and Y. Jun, "On-the-fly Healing of Race Conditions in ARINC-653 Flight Software," In proceedings of Digital Avionics Systems … | |
| * Jun, Y., and C. E. McDowell, "Scalable Monitoring Technique for Detecting Races in Parallel Programs," Proc. of the 5th IEEE Int'l Workshop on High-Level Par… | |
| * 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… | |
| * M.-S. Kang, O.-K. Ha, and Y.-K. Jun, “Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs”, International Journal of Softwa… | |
| * 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… | |
| * Kang, M., O. Ha, S. Jun, and Y. Jun, "A Tool for Detecting First Races in OpenMP Programs," Proceedings of 10th International Conference on Parallel Computin… | |
| * 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… | |
| * 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… | |
| * 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.-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, B., Y. Jun, "Program Visualization for Debugging Deadlocks in Multithreaded Programs," In Proceedings of the Advanced Software Engineering & Its Applica… | |
| * Kim, J., and Y. Jun, "Scalable On-the-fly Detection of the First Races in Parallel Programs," Proc. of the 12nd Int'l Conf. on Supercomputing (ICS), pp. 345-… | |
| * Kim, Y., and Y. Jun, "Restructuring Parallel Programs for On-the-fly Race Detection," Proc. of the 5th Int'l Conf. on Parallel Computing Technologies (PaCT),… | |
| * Kim, Y., J. Lim, and Y. Jun, "Scalable Thread Visualization for Debugging Data Races in OpenMP Programs," Proc. of the 2nd Int'l Conf. on Grid and Pervasive … | |
| * Kim, B., S. Jun, D. Hwang, and Y. Jun, "Visualizing Potential Deadlocks in Multithreaded Programs," Proceedings of 10th International Conference on Parallel … | |
| * Kim, Y., M. Kang, O. Ha, and Y. Jun, "Efficient Race Verification for Debugging Programs with OpenMP Directives," Proc, of 10th Int'l Conf. on Parallel Compu… | |
| * 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 … | |
| * Kim, Y., M. Park, S. Park, and Y. Jun, "A Practical Tool for Detecting Races in OpenMP Programs," Proc. of 8th Int'l Conf. on Parallel Computing Technologies… | |
| * K.-H. Kim, G. M. Tchamgoue, Y.-K. Jun, and K.-Y. Bang, "A Flexible Resource Sharing Framework for Integrating Hierarchical Components", In Proceedings of the… | |
| * Li, K., and Y. Jun, "Foreword from Guest Editors," The Journal of Supercomputing, Special Issue on Technology Deployments in Grid Computing, 42(3): 251-252, … | |
| * 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… | |
| * Y. Meng, O.-K. Ha, Y.-K. Jun, "Dynamic Instrumentation for Nested Fork-join Parallelism in OpenMP Programs", In proceedings of the International Conference o… | |
| * Y. Meng, I.-K. Kuh, O.-K. Ha, and Y.-K. Jun, “Dynamic Instrumentation for Determining Logical Concurrency Between Threads of OpenMP Programs,”Information, In… | |
| * Park, M., and Y. Jun, "Detecting Unaffected Race Conditions in Message-Passing Programs," Proc. of the 11th European PVM/MPI User's Group Meeting (EuroPVM/MP… | |
| * Park, Mi-Young, and Yong-Kee Jun, "Detecting Unaffected Message Races in Parallel Programs," Proc. of the 1st Int'l Conf. on Grid and Pervasive Computing (GP… | |
| * H.-D. Park and Y.-K. Jun, "Detecting First Races in Shared-Memory Parallel Programs with Random Synchronization", In proceedings of the International Confere… | |
| * Park, H., and Y. Jun, "Detecting the First Races in Parallel Programs with Ordered Synchronization," Proc. of the 6th Int'l Conf. on Parallel and Distributed… | |
| * Park, S., M. Park, and Y. Jun, "A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs," Proc. of the Int'l Workshop on OpenMP Appl… | |
| * Park, M., Y. Kim, I. Chun, S. Ha, and Y. Jun, "A GDB-Based Real-Time Tracing Tool for Remote Debugging of Soc Programs," Lectrue Notes in Computer Science (L… | |
| * Park, M., S. Shim, Y. Jun, and H. Park, "MPIRace-Check: Detection of Message Races in MPI Programs," Proc. of the 2nd Int'l Conf. on Grid and Pervasive Compu… | |
| * 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, "Compositional Scheduling Framework for Imprecise Computation Model," Work-in-Progress Proceedings of the 16th IE… | |
| * G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, "Dynamic Race Detection Techniques for Interrupt-Driven Programs", In proceedings of the International Conference on G… | |
| * Guy Martin Tchamgoue, Kyong-Hoon Kim, and Yong-Kee Jun, "Power-Aware Scheduling of Compositional Real-Time Frameworks", Journal of Systems and Software, Volu… | |
| * 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… |