| * 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… | |
| * 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, 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… | |
| * 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… | |
| * 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,” … | |
| * 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… | |
| * 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… | |
| Participant Jun, Yong-Kee Sponsor Korea Education and Research Information Service Period 2014.3.1 ~ Subject 정보보호사이버교육센터 사업 Status Completed… | |
| Participant Jun, Yong-Kee Sponsor Ministry of Education Period 2014.4.1 ~ Subject 대학이러닝지원센터 콘텐츠개발지원사업 Status Completed project 2014 yongke… | |
| * Guy Martin Tchamgoue, Jun-Ho Seo, Jongsoo Hyun, Kyong Hoon Kim, Yong-Kee Jun, "Supporting Fault-Tolerance in a Compositional Real-Time Scheduling Framework",… | |
| * 강명신, 팽봉준, 하옥균, 전용기, "ARING 653 프로그램의 경합조건 디버깅을 위한 이벤트 동기화의 시각화", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.1~4, 제주, 2014. * Kang, M.-S., B.-J. Paeng,… | |
| * 팽봉준, 김현지, 박세원, 하옥균, 전용기, "멀티스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 논문집, pp. 1-3, 한국정보과학회, 부산, 2014. * Paeng, B.-J., H.-J. Kim, S.-W… | |
| * 최으뜸, 박세원, 하옥균, 전용기, "ARINC-653 응용 프로그램에서의 원자성 결합을 위한 동적 탐지 도구", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.40~43, 제주, 2014. * Choi, E.-T., S.-W. Park,… |