| * Ha, O., S. Kim, Y. Jun, "Efficient Thread Labeling for Monitoring Programs with Nested Parallelism," In Proceedings of the International Conference on Future… | |
| * 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 … | |
| * Kim, B., Y. Jun, "Program Visualization for Debugging Deadlocks in Multithreaded Programs," In Proceedings of the Advanced Software Engineering & Its Applica… | |
| * 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… | |
| * 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… |
| * Kim, S., O. Ha, and Y. Jun, "Parallel Programming for Multi-core Avionics" In Proceedings of the 2010 International Conference on Advanced Aircraft Techno… |