| * Chang-Hui Bae, Eu-Teum Choi, Yong-Kee Jun, Ok-Kyoon Ha, "Lightweight Method for On-the fly Detection of Multivariable Atomicity Violations", 7th Internatio… | |
| * Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "Detecting Atomicity Races in ARINC 653 Applications,", In Proceedings of International Conference … | |
| * Eu-Teum Choi, Young-Hun Yun, Simjae Ko, Byoung Soo Kim, Yong-Kee Jun, "Tracing Threads of Safety-Critical Functions for Certifying Airworthiness of Military… | |
| * Ha, O.-K., I.-B. Kuh, G. M. Tchamgoue, Y.-K. Jun, "On-the-fly Detection of Data Races in OpenMP Programs," In Proceedings of the 10th Workshop on Paralle… | |
| * Sang-Soo Jun and Ok-Kyoon Ha, "Increasing GPU-Speedup of Volume Rendering for Image with High Complexity,", In Proceedings of International Conference on u- … | |
| * Sang-Soo Jun and Ok-Kyoon Ha, "Increasing GPU-Speedup of Volume Rendering for Image with High Complexity,", In Proceedings of International Conference on u- … | |
| * Sang-Soo Jun and Ok-Kyoon Ha, "Complexity Evaluation of CT-Images for GPU-Based Volume Rendering,", In Proceedings of International Conference on u- and e-Se… | |
| * Jun, Y., and K. Koh, " On-the-fly Detection of Access Anomalies in Nested Parallel Loops," Proc. of the 3rd ACM/ONR Workshop on Parallel and Distributed Debu… | |
| * Kang, Myeong-Sin, Ok-Kyoon Ha and Yong-Kee Jun, "Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions,", In Proceedings … | |
| * Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun and H.-D. Park, "Message Races in Data Distribution Service Programs,", In Proceedings of International Conference on … | |
| * Young-Joo Kim, Sung-Min Hong and Ok-Kyoon Ha, "Design of Conformance Testing Framework for IP-Based Wireless Sensor Networks,", In Proceedings of Internation… | |
| * Kim. Y., D. Kim, and Y. Jun, “An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs,” Proc. of IEEE Int’l Conf. on Computer an… | |
| * 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… | |
| * Se-Won Park, Ok-Kyoon Ha and Yong-Kee Jun, "A Loop Filtering Technique for Reducing Time Overhead of Dynamic Data Race Detection,", In Proceedings of Interna… | |
| * Bong-Jun Paeng, Ok-Kyoon Ha and Yong-Kee Jun, "Software Tool for Integrating Configuration Data of ARINC 653 Operating Systems,", In Proceedings of Internati… | |
| * Park, H., and Y. Jun, "Two-Pass On-the-fly Detection of the First Races in Shared-Memory Parallel Programs," Proc. of the 2nd Symp. on Parallel and Distrib… | |
| * Park, M., N. C. T. Hai, Y. Jun, and H. Park, , "Visualization of Message Races in MPI Parallel Programs," IEEE 7th International Conference on Computer and I… | |
| * Guy Martin Tchamgoue, K.-H. Kim, and Yong-Kee Jun, "A New Compositional Scheduling Framework for Power-Aware Real-Time Systems", In Proceedings of the 18th I… | |
| * Guy Martin Tchamgoue, K. H. Kim, and Yong-Kee Jun, "Dynamic Voltage Scaling for Power-Aware Hierarchical Real-Time Scheduling Framework", In Proceedings of t… | |
| * Guy Martin Tchamgoue, Lin Gan, Ok-Kyoon Ha, S.-W. Yang, and Yong-Kee Jun, "Visualizing Concurrency Faults in ARINC-653 Real-Time Applications", In Proceeding… | |
| * 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… | |
| * Guy Martin Tchamgoue, Jun-Ho Seo, Jongsoo Hyun, Kyong Hoon Kim, Yong-Kee Jun, "Supporting Fault-Tolerance in a Compositional Real-Time Scheduling Framework",… |