| * 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"… | |
| * 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… | |
| * 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, 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… | |
| * 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 … | |
| * 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… | |
| * 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… | |
| * 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… | |
| * S. Dorankula, G. M. Tchamgoue, Y.-K. Jun, "Efficient Detection of First Races in Concurrent Signal Handlers", In proceedings of the International Conference … | |
| * Gan, Lin, Guy Martin Tchamgoue, and Yong-Kee Jun, "Visualizing Data Races in Concurrent Signal Handlers," In Proceedings of the 1st 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… | |
| * 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… | |
| * 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… | |
| * 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… | |
| * 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 … | |
| * 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 … | |
| * 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… | |
| * 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 … | |
| * Hyang-Yeon Bae, Ok-Kyoon Ha and Yong-Kee Jun, "Development of Dynamic Profiler for Monitoring Functions in Embedded Applications,", Advanced Science and Tech… | |
| * 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-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… | |
| * 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, "Scalable Monitoring Technique for Detecting Races in Parallel Programs," Proc. of the 5th IEEE Int'l Workshop on High-Level Par… | |
| * 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… | |
| * 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… | |
| * Kang, Myeong-Sin, Ok-Kyoon Ha and Yong-Kee Jun, "Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions,", In Proceedings … | |
| * 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… | |
| * 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,… | |
| * 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 H.-D. Park, "Message Races in Data Distribution Service Programs,", In Proceedings of International Conference on … | |
| * 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… | |
| * 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, S., O. Ha, and Y. Jun, "Parallel Programming for Multi-core Avionics" In Proceedings of the 2010 International Conference on Advanced Aircraft Techno… | |
| * 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, 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, B., Y. Jun, "Program Visualization for Debugging Deadlocks in Multithreaded Programs," In Proceedings of the Advanced Software Engineering & Its Applica… | |
| * 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., 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, 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. 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., 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, Y., S. Song, and Y. Jun, "ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs," 9th International Symposium on Parallel and… | |
| * 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… | |
| * 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, 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… | |
| * 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… | |
| * 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… | |
| * 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… | |
| * 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… | |
| * 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 … | |
| * 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… | |
| * 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, 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, 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, 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… | |
| * 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… | |
| * 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… | |
| * 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, 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., 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… | |
| * 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… | |
| * 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… | |
| * 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, 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, 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, "Testing and Debugging Concurrency Bugs in Event-Driven Programs", International Journal of Advanced Science and T… | |
| * 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, Kyong-Hoon Kim, and Yong-Kee Jun, "Power-Aware Scheduling of Compositional Real-Time Frameworks", Journal of Systems and Software, Volu… | |
| * 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… | |
| * 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, 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… | |
| * 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… | |
| * 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… | |
| * Guy Martin Tchamgoue, Jun-Ho Seo, Jongsoo Hyun, Kyong Hoon Kim, Yong-Kee Jun, "Supporting Fault-Tolerance in a Compositional Real-Time Scheduling Framework",… |