Table of Contents

Publication in 2014

SCI/SCIE Journal

* B.-J. Bae, Y.-J. Kim, Y.-K. Kim, O.-K. Ha, and Y.-K. Jun, “An Intrusive Analyzer for Hadoop Systems Based on Wireless Sensor Networks,” International Journal…
* M.-C. Park, O.-K. Ha, S.-W. Ha, and Y.-K. Jun, “Real-Time 3D Simulation for the Trawl Fishing Gear Based on Parallel Processing of Sonar Sensor Data,” Intern…

ACM/IEEE Conf.

* Guy Martin Tchamgoue, Jun-Ho Seo, Jongsoo Hyun, Kyong Hoon Kim, Yong-Kee Jun, "Supporting Fault-Tolerance in a Compositional Real-Time Scheduling Framework",…

SCOPUS Journal

* 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…
* 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.-K. Jun, “Effective Monitoring Memory Operations for Dynamic Race Detection through Hierarchical Filtering Method”, International Journa of M…
* 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…
* 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…

Others Publication

* Choi, Eu-Teum, Se-Won Park, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications,” In Proceedings of Inte…
* Hyun-Ji Kim, Byoung-Kwi Lee, Ok-Kyoon Ha, and Yong-Kee Jun, “Dynamic Monitoring Tool based on Vector Clocks for Multithread Programs,” In Proceedings of Inte…
* Myeong-Sin Kang, Bong-Jun Paeng, Ok-Kyoon Ha, and Yong-Kee Jun, “Design of Visualizing Event Synchronization for Race Conditions in ARINC-653 Applications,” …