Table of Contents

International Papers

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…
* Eu-teum Choi, Tae-hyung Kim, Yong-Kee Jun, Seong-Jin Lee, and Min-gyun Han, "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software", Applied…
* 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…
* TSogbayar Jargalsaikhan, Keon-Pyo Lee, Yong-Kee Jun, and Seong-Jin Lee, "Architectural Process for Flight Control Software of Unmanned Aerial Vehicle with M…
* Sang-yun Kim, Eu-teum Choi, Yong-Kee Jun, and Seong-Jin Lee, "Student Dropout Prediction for University with High Precision and Recall", Applied Sciences,…
* Y.-J. Kim, S. Song, and Y.-K. Jun, "VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs", International Journal of Parallel Programming, 1-31…
* K. H. Kim, Guy Martin Tchamgoue, Yong-Kee Jun, and W.Y. Lee, "An Optimal Resource Sharing in Hierarchical Virtual Organizations in the Grid", IEICE Transacti…
* 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…
* Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "Efficient Detection of Data Races in Concurrent Signal Handlers", Information - An International Interdisc…
* G. M. Tchamgoue, K. H. Kim, and Y.-K. Jun, "Verification of Data Races in Concurrent Interrupt Handlers", International Journal of Distributed Sensor Netwo…
* Guy Martin Tchamgoue, K.H. Kim, and Yong-Kee Jun, "EventHealer: Bypassing data races in event-driven programs,", Journal of Systems and Software, vol. 118, p…
* G. M. Tchamgoue, K. H. Kim, Y.-K. Jun, and W.-Y. Lee, "Compositional Real-Time Scheduling Framework for Periodic Reward-Based Task Model", Journal of Syste…

ACM/IEEE Conf.

* 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",…

SCOPUS Journal

* 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…

Others Publication

* Chang-Hui Bae, Ji-Won Jeong, Seong-Jin Lee"Automatic Flight Plan Creation Tool with Digital Twin for Monitoring Forest Fire on Mountain Trail through UAV"…
* Eu-Teum Choi, Kun-Su Yoon, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Technique for Healing Data Races based on Software Transactional Memory,", Advanced …
* 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…
* Gan, Lin, Guy Martin Tchamgoue, and Yong-Kee Jun, "Visualizing Data Races in Concurrent Signal Handlers," In Proceedings of the 1st International Conference …
* Ha, O., Y. Jun, "Monitoring of Programs with Nested Parallelism using Efficient Thread Labeling," International Journal fo u- and e- Service, Science and Tec…
* Ha, Ok-Kyoon, and Yong-Kee Jun, "Efficient Data Race Detection for Structured Fork-join Parallelism," In Proceedings of the 1st International Conference on S…
* Ha, K., Y. Jun, and K. Yoo, "Efficient On-the-fly Detection of First Races in Nested Parallel Programs," Proc. of Workshop on State-of-the-Art in Scientific …
* Hyang-Yeon Bae, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Dynamic Profiler for Monitoring Functions in Embedded Applications,", Advanced Science and Tech…
* Jun, Y., and K. Koh, "Monitoring Parallel Programs for Detecting Access Anomalies Occurred First," Proc. of the 2nd Int'l Conf. on Software for Multiprocesso…
* Jun, Y., and C. E. McDowell, "On-the-fly Detection of the First Races in Programs with Nested Parallelism," Proc. of the 2nd Int'l Conf. on Parallel and Dist…
* Kim, S., O. Ha, and Y. Jun, "Parallel Programming for Multi-core Avionics" In Proceedings of the 2010 International Conference on Advanced Aircraft Techno…
* Kim, Y., and Y. Jun, "An Optimal Tool for Verifying Races in OpenMP Programs," 06 Int'l Conference on Hybrid Information Technology, SERC, Cheju Island, Kore…
* Kim, D., and Y. Jun, "An Effective Tool for Debugging Races in Parallel Programs," Proc. of the 3rd Int'l Conf. on Parallel and Distributed Processing Techn…
* Kim, D., and Y. Jun, "Space-efficient On-the-fly Race Detection for Programs with Nested Parallelism," Proc. of the 1st Int'l Conf. on Parallel and Distribut…
* Kim, J., D. Kim, and Y. Jun, "Scalable Visualization for Debugging Races in OpenMP Programs," Proc. of the 3rd Int'l Conf. on Communications in Computing (CI…
* Kim, S., Y. Kim, S. Park, and Y. Jun "A Virtual Laboratory for Parallel Programming," Proc. of the 1-st Int'l Conf. on East-Asian Language Processing and Int…
* 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,” …
* Kim, Y., M. Park, S. Lee, and Y. Jun, "Visual Race Detection for OpenMP Programs," Proc. of Int'l Conf. on Asian Language Processing and Information Technolo…
* Young-Joo Kim, Jong-Soo Seok, YungJoon Jung, and Ok-Kyoon Ha, “Light-Weight and Versatile Monitor for a Self-Adaptive Software Framework for IoT Systems,” Jo…
* Kuh, In-Bon, Ok-Kyoon Ha, and Yong-Kee Jun, "Tracing Logical Concurrency for Dynamic Race Detection in OpenMP Programs," In Proceedings of the 1st Interna…
* Lee, S., and Y. Jun, "A Virtual Tool for Debugging OpenMP Programs," Proc. of the 2nd Int'l Conf. on East-Asian Language Processing and Internet Information …
* Park, M., Y. Kim, I. Chun, S. Ha, and Y. Jun, "A GDB-Based Real-Time Tracing Tool for Remote Debugging of Soc Programs," 06 Int'l Conference on Hybrid Inform…
* Park, M., Y. Kim, M. Kang, and Y. Jun, "Improving On-the-fly Race Detection for Message-Passing Programs," Proc. of Int'l Conf. of Computational Methods in S…
* Park, M., S. Park, S. Bae, and Y. Jun, "Scalable Race Visualization for Debugging Message-Passing Programs," Proc. of Workshop on State-of-the-Art in Scienti…
* G. M. Tchamgoue, K.-H. Kim, and Y.-K. Jun, "Testing and Debugging Concurrency Bugs in Event-Driven Programs", International Journal of Advanced Science and T…
* 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…