| * 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 … | |
| * 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… | |
| Name(Korean) 박세원 [ Se-Won Park] Name(English) Se-Won Park … | |
| * Bong-Jun Paeng (팽봉준),Se-Won Park (박세원), In-Bon Kuh (구인본), Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시도구", 정보과학회논문지, 42(2): pp.… | |
| * 팽봉준, 김현지, 박세원, 하옥균, 전용기, "멀티스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 논문집, pp. 1-3, 한국정보과학회, 부산, 2014. * Paeng, B.-J., H.-J. Kim, S.-W… | |
| * 박세원, 강명신, 하옥균, 전용기, "구조화된 Fork-join 병렬 프로그램의 자료경합 디버깅을 위한 공간 효율적 시각화 도구", 한국정보과학회 2013 추계학술발표회 p112-114, 한국정보과학회, 2013. 11 * S.,Park, M.,Kang, O.,Ha, and Y.,… | |
| * 박세원, 하옥균 "병렬 프로그램의 동적 분석을 위한 효율적인 감시 필터링 기술 ", 2016년 한국컴퓨터정보학회 동계학술대회 논문집 제24권 제1호, pp. 9-10, 한국컴퓨터정보학회, 2016. 01 * Park, S.-W., and O.-K. Ha, “An Efficie… | |
| * 최으뜸, 박세원, 하옥균, 전용기, "ARINC-653 응용 프로그램에서의 원자성 결합을 위한 동적 탐지 도구", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.40~43, 제주, 2014. * Choi, E.-T., S.-W. Park,… |