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