| * 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 … | |
| * 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… | |
| * 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 … | |
| * 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… | |
| Participant Jun, Yong-Kee Sponsor Korea Aerospace Industries, Ltd. Period 2016.09.01 ~ Subject MC, LAD OFP 데이터 동기화 프레임웍 연구 Status Completed … | |
| * 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… | |
| * 박명철, 정현철, 하옥균 "가축 질병 예방을 위한 가축 생체정보 모니터링 장치의 개발", 한국컴퓨터정보학회 논문지 제21권 제10호(통권 제151호), pp. 91-98, 한국컴퓨터정보학회, 2016. 10. * Park, M.-C., H. -C. Jung, and O.-K. … | |
| * 박세원, 하옥균 "병렬 프로그램의 동적 분석을 위한 효율적인 감시 필터링 기술 ", 2016년 한국컴퓨터정보학회 동계학술대회 논문집 제24권 제1호, pp. 9-10, 한국컴퓨터정보학회, 2016. 01 * Park, S.-W., and O.-K. Ha, “An Efficie… | |
| * 최으뜸, 하옥균, 전용기 "소프트웨어 트랜잭셔널 메모리를 이용한 자료경합 치유 기술 설계", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 3-4, 한국컴퓨터정보학회, 원주, 2016. 07 * Choi, E.-T., O.-K. Ha, and Y.-K. Jun, … | |
| * 박주혁, 배향연, 최으뜸, 전용기 "실시간 어플리케이션의 주기성을 위한 수행 중 분석도구", 2016 대한임베디드공학회 추계학술대회, pp. 276-278, 대한임베디드공학회, 제주, 2016. 11 * Park, J.-H., H.-Y. Bae, E.-T. Choi, and… | |
| * 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 5-6, 한국컴퓨터정보학회, 원주, 2016. 07 * Bae, H.-Y., O.-K. Ha, M.-H. Kang, and… |