| * O.-K. Ha and Y.-K. Jun, "An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique", Scientific Programming, Vol. 2015, Arti… |
| * 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 … | |
| * 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… | |
| * 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… | |
| * 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… |
| * Guy Martin Tchamgoue, Kyong-Hoon Kim, and Yong-Kee Jun, "Power-Aware Scheduling of Compositional Real-Time Frameworks", Journal of Systems and Software, Volu… |
| * Hyang-Yeon Bae, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Dynamic Profiler for Monitoring Functions in Embedded Applications,", Advanced Science and Tech… |