| * 이건표, 송근영, 최으뜸, 전용기, "항공기 소프트웨어에 적용하기 위한 GPGPU 프로그램의 자료경합 탐지 기법", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Lee, K.-P., G.-Y. Song, E.-T. Choi, and Y.-K. … | |
| * 이건표, 한민균, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리를 위한 수행 플랫폼 의존성 분석", 2020년도 임베디드공학회 추계학술대회, 제주, Nov 2020. * Lee, K.-P., M.-K. Han, E.-T. Choi and Y.-K. Jun, “An… | |
| * 이건표, 하옥균, 전용기, "소나 영상 시뮬레이션 위한 병렬처리 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 39-40혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, K.-P., O.-K. Ha, and Y.-K. Ju… | |
| * 이건표, 최으뜸, 전용기, "GPU 프로그램에 자료경합 치유기술 적용을 위한 warp 단위 처리기법", 2017 대한임베디드공학회 추계학술대회, pp. 120-121, IEMEK, 제주, Nov, 2017. * Lee, K.-P., E.-T. Choi, and Y.-K. J… | |
| * 이건표, 최으뜸, 전용기, "GPU 프로그램의 자료경합 디버깅을 위한 시각화 기법", 2018 대한임베디드공학회 추계학술대회, 제주, Nov 2018. * Lee, K.-P., E.-T. Choi, and Y.-K. Jun, “A Visualization Technique… | |
| * 이건표, 최으뜸, 전용기, "GPGPU 프로그램의 자료경합 탐지기법을 위한 벤치마크 모음", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Lee, K.-P., E.-T. Choi, and Y.-K. Jun, “A Benchmark Suite f… | |
| * 이건표, 최으뜸, 전용기, "병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Lee, K.-P., E.-T. Choi, and Y.-K. Jun, “A Software … | |
| * 이건표, 최으뜸, 전용기, "ARINC-653 기반 항공기소프트웨어의 파티션간 동시성 오류를 탐지하기 위한 건전성 관리 기법", 2019 대한임베디드공학회 추계학술대회, pp. 27-28, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * Lee, K.-P., E.-… | |
| * 구금서, 박명철, 하석운, 전용기, 임채덕 "원격 디버깅환경을 위한 경제적인 USB-JTAG Adapter," 한국정보과학회 영남지부 학술논문발표회, 12(1): 183-187, 한국정보과학회, 2004. 12. * Koo, G., M. Park, S. Ha, Y. Jun, a… | |
| * 구금서, 박명철, 하석운, 전용기, 임채덕, "SoC 프로그램의 원격디버깅 도구를 위한 USB-JTAG Adapter," 한국정보처리학회 추계학술발표논문집, 12(2): 1449-1452, 한국정보처리학회, 2005. 11. * Koo, G., M. Park, S. Ha, Y.… | |
| * 구금서, 박미영, 전용기, "생물정보 처리 프로그램의 테스팅을 위한 메시지 전달 패턴의 분석," 한국정보과학회 병렬처리시스템연구회, 14(2): 37-42, 한국정보과학회, 2003.11. * Koo, G., M. Park, and Y. Jun, "An Analysis of M… | |
| * 김금희, 김영주, 전용기, "OpenMP 프로그램의 디버깅을 위한 효과적 경합 시각화," 한국정보과학회 추계발표논문집, 31(2): 13-15, 한국정보과학회, 2004. 10. * Kim, K., Y. Kim, and Y. Jun, "Effective Race Visualiz… | |
| * 구금서, 전용기, "항공기의 실시간 임무컴퓨터 개발을 위한 멀티코어 테스트베드," 한국정보처리학회 춘계학술발표논문집, 16(1): 688-691, 한화리조트, 한국정보처리학회, 2009. 04. * Koo, G., and Y. Jun, "A Multi-core Test-Bed … | |
| * 구금서, 전용기, "멀티코어 항공기소프트웨어 개발을 위한 시스템 플랫폼," 2010 한국컴퓨터종합학술대회 논문집B, 37(1): 425-430, 제주그랜드호텔, 한국정보과학회, 2010. 7. * Koo, G., and Y. Jun, "A Development Platform … | |
| * 구금서, 전용기, "표준 항공기 애플리케이션의 통신 신뢰성 검사를 위한 메시지전달 프로토콜의 분석," 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 595-598, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Koo, G., and Y. Jun, "… | |
| * 구금서, 전용기, "통합 모듈형 항공전자 시스템의 애플리케이션 안전성을 위한 소프트웨어 개발 플랫폼," 한국정보과학회 추계학술발표논문집B, 37(2): 384-387, 단국대학교, 한국정보과학회, 2010. 11. * Koo, G., and Y. Jun, "A Software D… | |
| * 강기용 , 구인본, 전용기, "무선 센서 네트워크를 이용한 내장형 태양광 추적 시스템 구현," 정보처리학회 춘계학술발표대회 논문집, 19(1):14-16, 한국정보처리학회, 2012. 4. * Kang Ki-Yong, In-Bon Kuh, and Yong-Kee Jun, "Dev… | |
| * 정대율, 전용기, "가상대학시스템 전략계획수립을 위한 교수자 측면의 요구분석에 관한 연구 -K대학의 사례를 중심으로-," 2001년 추계 학술 및 정책세미나 논문집, 한국인터넷전자상거래학회, 2001.10.27 | |
| * 김동국, 옥순호, 이진숙, 천병규, 전용기, "RACE STAND: 병렬프로그램을 위한 오류수정 도구," 한국정보과학회 영남지구 학술발표논문집, 1(1): 39-44, 한국정보과학회, 1994. 2. * Kim, Dong-Gook, Soon-Ho Ok, Jin-Sook Lee,… | |
| * 이동수, 하옥균, 전용기, "이미지 합성을 위한 현실성 향상 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 37-38혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, D.-S., O.-K. Ha, and Y.-K. Jun,… | |
| * 이동수, 최으뜸, 전용기, "항공기 소프트웨어에서 원자성위배를 치유하기 위한 블록화 롤백기법", 2017 대한임베디드공학회 추계학술대회, pp. 114-115, IEMEK, 제주, Nov, 2017. * Lee, D.-S., E.-T. Choi, and Y.-K. Jun, … | |
| * 강명신, 팽봉준, 하옥균, 전용기, "ARING 653 프로그램의 경합조건 디버깅을 위한 이벤트 동기화의 시각화", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.1~4, 제주, 2014. * Kang, M.-S., B.-J. Paeng,… | |
| * 강명신, 구인본, 하옥균, 전용기, "동적 자료경합 탐지를 위한 메모리 접근사건의 효율적인 이진코드 감시 기법", 2013 한국컴퓨터종합학술대회 논문집, 40(1):106-108, 한국정보과학회, 2013. 06 * Kang,M., I.,Kuh, O.,Ha, and Y., J… | |
| * 박명철, 정현철, 하옥균 "가축 질병 예방을 위한 가축 생체정보 모니터링 장치의 개발", 한국컴퓨터정보학회 논문지 제21권 제10호(통권 제151호), pp. 91-98, 한국컴퓨터정보학회, 2016. 10. * Park, M.-C., H. -C. Jung, and O.-K. … | |
| * 강문혜, 김영주, 전용기, "OpenMP 프로그램을 위한 경합디버깅 환경의 자동생성," 한국정보과학회 춘계학술발표논문집, 29(1): 601-603, 한국정보과학회, 2002. 4. * Kang, M., Y. Kim, and Y. Jun "Automatic Generation … | |
| * 강문혜, 김영주, 전용기, "내포병렬성을 가진 공유메모리 프로그램의 최초경합 탐지를 위한 접근역사 분석," 한국정보과학회 병렬처리시스템 학술발표논문집, 13(1): 45-55, 한국정보과학회, 2002. 10. 5 * Kang, M., Y. Kim, and Y. Jun "Ana… | |
| * 박미영, 구금서, 전용기, "메시지전달 프로그램의 디버깅을 위한 메시지경합의 탐지," 한국멀티미디어학회지, 7(3):59-68, 한국멀티미디어학회, 9. 2003. publication domestic conference miyoung geumseo yongkee | |
| * 박미영, 김영주, 김성대, 이승렬, 박소희, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 시각화," 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 47-56, 한국정보과학회, 2000. 9. * Park, M., Y. Kim, S. Kim, S. Lee, S. P… | |
| * 박미영, 김영철, 전용기, "병렬 프로그램의 수행중 경합탐지를 위한 프로그램 재구성 도구," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 10: 153-161, 한국정보과학회, 1999. 9. * Park, M., Y. Kim and Y. Jun, "A Program Res… | |
| * 박미영, 김영철, 전용기, "수행중 경합 탐지를 위한 내포 병렬성을 가진 프로그램의 재구성," 한국정보과학회 영남지부 학술발표논문집, 7(1): 215-222, 한국정보과학회, 1999. 12. * Park, M., Y. Kim, and Y. Jun, "Restructuring… | |
| * 정민섭, 김영주, 하옥균, 전용기, “내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지,” 한국정보처리학회 춘계학술발표 논문집, 15(1): 553-556, 한국정보처리학회, 2008. 5. * Jung, M., Y. Kim, O. Ha, and Y. Jun, “… | |
| * 한민균, 최으뜸, 전용기, "병렬 프로그램을 UML Sequence 다이어그램으로 변환하는 도구", 2021년도 항공우주시스템공학회 춘계학술대회, 제주, Jul 2021. * M.-G. Han, E.-T. Choi, and Y.-K. Jun, “A Tool for Con… | |
| * 강민우, 김정민, 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 경합을 효과적으로 탐지하는 도구," 정보통신분야학회 합동학술대회 논문집, 2(1): 42-46, 2008. 11. * Kang, M., J. Kim, O. Ha, M. Kang, and Y. Jun, "An … | |
| * 한민균, 정지원, 최으뜸, 이성진, "등산로에서 산불 감시를 위한 무인기의 경로 생성 도구의 적용 가능성 분석", 2022년도 한국항공우주학회 항공우주전자 심포지엄, 부산, July 2022. * M.-G. Han, J.-W Jeong, E.-T. Choi, and S.… | |
| * 이민지, 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * M.-J. Lee, H.-J. Baek, K.-P. Lee, E.-T. Choi, an… | |
| * 천병규, 김동국, 전용기, "병렬프로그램의 효과적인 접근이상 탐지를 위한 반복수행 프로토콜," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(1): 54-64, 한국정보과학회, 1994. 5. * Chon, Byoung-Gyu, Dong-Gook Kim, and Yong-Ke… | |
| * 천병규, 김동국, 전용기, "단일방향 내포 병렬프로그램의 효과적인 접근이상 탐지," 한국정보과학회 프로그래밍언어연구회 학술발표논문집, 8(2): 26-36, 한국정보과학회, 1994. 10. * Chon, Byoung-Gyu, Dong-Gook Kim, and Yong-Kee … | |
| * 김병철, 강문혜, 전용기, 임채덕, "임베디드 소프트웨어 개발을 위한 JTAG 기반의 디버깅 도구", 한국정보과학회 춘계학술발표논문집, 31(1): 943-945, 한국정보과학회, 2004. 4. * Kim, B., M. Kang, Y. Jun, and C. Lim, "A JT… | |
| * 이병귀, 강문혜, 전용기 " 무인기 비행제어 소프트웨어를 위한 경합탐지 사례연구", 2011 한국컴퓨터종합학술대회 논문집, 38(1):79-82, 한국정보과학회, 2011. 6. * Lee, B., M. Kang, and Y. Jun, "A Case Study on Detect… | |
| * 김병철, 이승열, 전용기, "병행 Java 프로그램의 수행 감시를 위해서 사건순서 정보를 생성하는 기법", 한국정보과학회 영남지부 학술발표논문집, 11(1): 206-211, 한국정보과학회, 2003. 12. * Kim, Byung-Chul, Seung-Yul Lee, and … | |
| * 김병철, 전용기, "병행 Java 프로그램의 디버깅을 위한 확장적 스레드 시각화", 한국정보과학회 병렬처리시스템연구회, 15(1): 194-200, 한국정보과학회, 2004. 5. * Kim, B., and Y. Jun, "Scalable Thread Visualization … | |
| * 김병철, 박희동, "JTAG 인터페이스를 이용한 GUI 디버거 기술 동향," 한국멀티미디어학회지, 7(3):1-11, 한국멀티미디어학회, 9. 2003. publication domestic conference byungchul heedong | |
| * 팽봉준, 김현지, 박세원, 하옥균, 전용기, "멀티스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 논문집, pp. 1-3, 한국정보과학회, 부산, 2014. * Paeng, B.-J., H.-J. Kim, S.-W… | |
| * 배상현, 전용기, 배종민, "Web 기반 원격교육을 위한 실시간 평가시스템의 설계 및 구현," 한국정보과학회 영남지부 학술발표논문집, 5(1): 17-24, 한국정보과학회, 1997. 12. * Sang-Hyun Bae, Yong-Kee Jun, and Jong-Min Bae,… | |
| * 배상현, 전용기, 배종민, "동기화 명령을 가지는 내포병렬 루프 프로그램의 수행중 접근이상 탐지를 위한 레이블링," 한국정보과학회 가을 학술발표논문집, 25(2): 712-714, 한국정보과학회, 1998. 10. * Sang-Hyun Bae, Yong-Kee Jun, and … | |
| * 최석주, 김영주, 전용기, "OpenMP 프로그램의 최적화된 경합탐지 환경을 구성하는 웹기반 도구," 한국정보과학회 영남지부 학술논문발표회, 13(1): 180-184, 한국정보과학회, 2005. 12. * Choi, S., Y. Kim, and Y. Jun, "A Web-ba… | |
| * 김선숙, 구인본, 하옥균, 전용기 "ARINC-653 항공 소프트웨어의 경합 조건을 치유하기 위한 자동 록 생성기" 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 9-13, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Kim. S, I. Kuh, O.… | |
| * 김성대, 김영주, 박미영, 이승렬, 박소희, 전용기, "공유메모리 병렬프로그래밍을 위한 가상실험실," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 11(2): 8-17, 한국정보과학회, 2000. 9. * Kim, S., Y. Kim, M. Park, S. Lee, S. P… | |
| * 김성대, 김영주, 박소희, 전용기, "병렬 프로그램 디버깅 도구를 위한 웹 인터페이스," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 66-75,한국정보과학회, 1999. 9. * Kim, S., Y. Kim, S. Park and Y. Jun, " A Web… | |
| * 박세원, 강명신, 하옥균, 전용기, "구조화된 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… | |
| * 박소희, 임경도, 전용기, "내포 병렬 프로그램의 경합 탐지를 위한 레이블링 기법의 비교 분석," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, 76-85, 한국정보과학회, 1999. 9. * Park, S., K. Im and Y. Jun, "A Comparison … | |
| * 박소희, 박미영, 김영주, 이승렬, 전용기, "OpenMP 병렬프로그램의 경합 탐지를 위한 스레드 기반의 BD 레이블링 기법," 병렬처리시스템 학술발표회 논문집, 11(1): 133-142, 한국정보과학회, 2000. 3. * Park, S., M. Park, Y. Kim, S… | |
| * 박소희, 박미영, 김병철, 전용기, "병렬 프로그램의 효율적인 수행중 경합탐지를 위한 레이블링 기법," 한국정보과학회 영남지부 학술발표논문집, 9(1): 121-130, 한국정보과학회, 2001. 12. * Park, S., M. Park, B. Kim and Y. Jun, "… | |
| * 박소희, 김영주, 박미영, 김성대, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬프로그램의 메시지경합 탐지 도구," 한국정보처리학회 추계학술발표논문집, 7(2): 645-648, 한국정보처리학회, 2000. 10. * Park, S., Y. Kim, M. Park, S… | |
| * 배수연, 박미영, 전용기, "병렬 프로그램의 메시지경합 탐지기법에 대한 시험도구," 한국정보과학회 춘계학술발표논문집, 29(1): 598-600, 한국정보과학회, 2002. 4 * Bae, S., M. Park, and Y. Jun "A Testbed for Message Ra… | |
| * 배수연, 박미영, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 확장적 시각화," 한국정보과학회 추계학술발표논문집, 29(2): 313-315, 한국정보과학회, 2002. 10. * Bae, S., M. Park, and Y. Jun, "Scalable Race Vi… | |
| * 옥순호, 김동국, 전용기, "병렬프로그램의 접근이상 탐지를 위한 순차적 감시도구," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(1): 44-53, 한국정보과학회, 1994. 5. * Ok, Soon-Ho, Dong-Gook Kim, and Yong-Kee Jun, "A S… | |
| * 옥순호, 배재권, 전용기, "병렬프로그램의 접근이상을 탐지하기 위한 순차적 그래픽 감시 도구," 한국정보과학회 프로그래밍언어연구회 학술발표논문집, 8(2): 59-68, 한국정보과학회, 1994. 10. * Ok, Soon-Ho, Jae-Kwon Bae, and Yong-Kee… | |
| * 이승은, 이건표, 최으뜸, 전용기, "오픈 UAV 소프트웨어의 동시성 오류 특성 분석을 위한 오류 리포트 조사", 한국항공우주학회, 제주, 20-23 Nov, 2019. * S.-E. Lee, K.-P. Lee, E.-T. Choi, and Y.-K. Jun, "A Survey… | |
| * 이승은, 이건표, 최으뜸, 전용기, "병행 프로그램 설계를 위한 Data Race 탐지기법 분석", 2020년도 임베디드공학회 추계학술대회, 제주, Nov 2020. * S.-E. Lee, Lee, K.-P, E.-T. Choi and Y.-K. Jun, “An Ana… | |
| * 이승열, 강문혜, 김동국, "다중스레드 프로그램의 디버깅을 위한 사건순서 정보," 한국멀티미디어학회지, 7(3):24-33, 한국멀티미디어학회, 9. 2003. publication domestic conference seungryul munhye donggook | |
| * 이승렬, 김영주, 박미영, 박소희, 전용기, "다중스레드 자바 프로그램을 위한 디버깅 도구의 분석," 한국정보과학회 영남지부 학술발표논문집, 8(1): 105-109, 한국정보과학회, 2000. 12. * Lee, S., Y. Kim, M. Park, S. Park, and Y… | |
| * 이승렬, 김영주, 박미영, 김성대, 박소희, 전용기, "경합탐지 알고리즘의 평가를 위한 커널 벤치마크 프로그램," 한국정보과학회 컴퓨터시스템연구회 추계학술발표회 논문집, pp. 37-46, 한국정보과학회, 2000. 9. * Lee, S., Y. Kim, M. Park, S. … | |
| * 이승렬, 김영주, 전용기, "동기화를 가진 공유메모리 병렬프로그램의 최초경합을 위한 효율적인 수행중 탐지 기법," 한국정보과학회 추계학술발표논문집, 26(2):774-776,한국정보과학회, 1999. 10. * Lee, S., Y. Kim, and Y. Jun, " Scalab… | |
| * 김영주, 강문혜, 전용기, "OpenMP 프로그램을 위한 경합탐지 도구의 분석," 한국정보과학회 추계학술발표논문집, 30(2): 478-480, 한국정보과학회, 2003. 10. * Kim, Y., M. Kang, and Y. Jun, "An Analysis of Race De… | |
| * 김영주, 최석주, 전인걸, 전용기, 임채덕, "SoC 프로그램의 원격디버깅을 위한 실시간 추적도구," 한국정보과학회 한국컴퓨터종합학술발표논문집A, 32(1): 4-6, 한국정보과학회, 2005. 7. * Kim, Y., S. Choi, I. Chun, Y. Jun, and C. … | |
| * 홍영표, 최성인, 전용기, 이부권, "웹기반 원격교육을 위한 수준별 학습 관리시스템,"한국정보처리학회 추계 학술발표논문집, 5(2): 879-882, 한국정보처리학회, 1998. 10. * Young-Pyo Hong, Sung-In Choi, Yong-Kee Jun, and B… | |
| * 김영주, 이승렬, 전용기, "임계구역을 가진 공유메모리 병렬프로그램에서 효율적인 경합 탐지를 위한 사건 선택기법," 한국정보과학회 춘계학술발표논문집, 27(1): 630-632, 한국정보과학회, 2000. 4. * Kim, Y., S. Lee, and Y. Jun, "Filte… | |
| * 김영주, 이승렬, 박미영, 김성대, 박소희, 전용기, "록킹을 가진 병렬프로그램의 경합탐지를 위한 확장적 감시 기법 ," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 11(2): 44-53, 한국정보과학회, 2000. 9. * Kim, Y., S. Lee, M. Park, … | |
| * 김영주, 전용기, "OpenMP 프로그램에서 경합검증을 위한 최적의 도구," HPC 연구회, 한국정보과학회, 2006. 8. * Kim, Y., and Y. Jun, "An Optimal Tool for Verifying Races in OpenMP Programs," High… | |
| * 김영주, 김정시, "OpenMP 프로그램을 위한 디버깅 도구," 한국멀티미디어학회지, 7(3):34-46, 한국멀티미디어학회, 9. 2003. publication domestic conference youngjoo jeongsi | |
| * 하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 최적의 경합검증 도구," 한국정보과학회 추계학술발표 논문집, 34(2): 1-6, 한국정보과학회, 2007. 10. * Ha, O., M. Kang, Y. Kim and Y. Jun… | |
| * 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 데이터 경합 탐지를 위한 Sun Thread Analyzer의 실험적 분석," 정보통신분야학회 합동학술대회 논문집, 2(1): 38-41, 2008. 11. * Ha, O., M. Kang, Y. Jun, "An Empiric… | |
| * 하옥균, 김선숙, 백민정, 이보람, 김경훈, 전용기, “Zigbee 센서 네트워크 기반의 선박 충돌회피 테스트베드의 설계와 구현,” 대한임베디드공학회 추계학술발표논문집, pp. 524-527, 대한임베디드공학회, 2008. 11. * Ha, O., S. Kim, M. Baek,… | |
| * 하옥균, 김선숙, 전용기, "OpenMP 프로그램을 위한 효율적 병행성 정보의 생성기법", 2010 한국컴퓨터종합학술대회 논문집, 37(1):534-539, 한국정보과학회, 2011. 7. * Ha, O., S. Kim, and Y. Jun, "An Efficient Schem… | |
| * 최으뜸, 이동수, 윤영훈, 고심재, 김병수, 전용기, "항공기 소프트웨어의 건전성 관리시스템을 위한 설계지침", 항공우주시스템공학회 2018년도 춘계학술대회, 제주, april 2018. * Choi, E.-T., D.-S. Lee, Y.-H. Yoon, S.-J. Ko… | |
| * 최으뜸, 박세원, 하옥균, 전용기, "ARINC-653 응용 프로그램에서의 원자성 결합을 위한 동적 탐지 도구", 2014 대한임베디드공학회 추계학술대회, 대한임베디드공학회 추계학술대회 논문집, pp.40~43, 제주, 2014. * Choi, E.-T., S.-W. Park,… | |
| * 최으뜸, 하옥균, 전용기, "수행 중 경합탐지 도구를 위한 사례 연구", 2013 한국컴퓨터종합학술대회 논문집,40(1):103-105, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "A Case Study of On-the-fly De… | |
| * 최으뜸, 하옥균, 전용기 "소프트웨어 트랜잭셔널 메모리를 이용한 자료경합 치유 기술 설계", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 3-4, 한국컴퓨터정보학회, 원주, 2016. 07 * Choi, E.-T., O.-K. Ha, and Y.-K. Jun, … | |
| * 최으뜸, 전용기, "항공기 소프트웨어에서 수리된 원자성위배를 분석하기 위한 프레임웍", 한국정보과학회 국방소프트웨어 연구회 2018 추계 워크샵, 서울, Nov 2018. * Choi, E.-T., D.-S. Lee, and Y.-K. Jun, "A Framework fo… | |
| * 최으뜸, 오진우, 전용기, "무기체계 소프트웨어에서 원자성위배를 자율적으로 수리하기 위한 개발 프레임웍 연구", 2018 대한임베디드공학회 추계학술대회, 제주, Nov 2018. * Choi, E.-T., J.-W. Oh, and Y.-K. Jun, “A Developmen… | |
| * 최으뜸, 김태형, 전용기, "ARINC 653 기반 항공기 소프트웨어의 동시성 결함을 자율 수리하는 도구를 검증하기 위한 프레임웍", 2019 대한임베디드공학회 추계학술대회, pp. 45-46, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * E.-T. Choi, T… | |
| * 류은경, 하금숙, 이성우, 김용국, 전용기, 유기영, "수행중 경합탐지를 위한 기억공간 효율적인 레이블링 기법," 병렬처리시스템 학술발표회 논문집, 12(1): 3-11, 한국정보과학회, 2001.9. * Ryu, E., K. Ha, S. Lee, Y. Kim, Y. Jun a… | |
| * 우이정, 김태형, 처그바야르 자르갈사이항, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * I -J.Woo, T.-H. Kim, Jargalsaikhan, T., E.-T. … | |
| * 구인본, 김영주, 강문혜, 전용기, "병행 Java 프로그램의 공유변수 접근사건 선택을 위한 투명한 감시도구," 한국정보처리학회 추계학술발표 논문집, 14(2): 648-652, 한국정보처리학회, 2007. 11. * Kuh, I., Y. Kim, M. Kang and Y. J… | |
| * 강정혜, 박미영, 구금서, 전용기, "운영체제 행위의 이해를 위한 확장적 시각화 도구," 한국정보과학회 춘계학술발표논문집, 31(1): 172-174, 한국정보과학회, 2004. 4. * Kang, J., M. Park, G. Koo, and Y. Jun, "A Scalable… | |
| * 전정수, 하옥균, 김기일, 전용기, "터치스크린을 위한 Viewport 기반의 다기능 시연기의 개발", 한국정보기술학회 IT 융합기술 워크숍 및 하계학술대회 논문집, C-14: 52, 271-276, 한국정보기술학회, 2009. 6. * Jun, J., O. Ha, K. Kim… | |
| * 김정시, 전용기, "요약 보고방식에 의한 최초경합의 수행중 탐지," 한국정보과학회 영남지부 학술발표논문집, 4(1): 63-73, 한국정보과학회, 1997. 2. * Jeong-Si Kim, and Yong-Kee Jun, "On-the-fly Detection of the F… | |
| * 김정시, 김현주, 정춘화, 전용기, "웹 기반 가상대학을 위한 출석 평가 시스템의 설계 및 구현," 한국정보과학회 가을 학술발표논문집, 25(2): 682-684, 한국정보과학회, 1998. 10. * Jung-Si Kim, Hyun-Ju Kim, Chun-Haw Jung, a… | |
| * 김정시, 박희동, 전용기, "Java 프로그램에서 경합탐지를 위한 오류수정 도구," 한국정보과학회 컴퓨터시스템연구회 추계 학술발표논문집, 9: 258-265, 한국정보과학회, 1998. 9. * Jeong-Si Kim, Hee-Dong Park, and Yong-Kee Jun,… | |
| * 박주혁, 하옥균, 전용기, "실시간 객체인식을 위한 이미지 처리기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 35-36혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Park, J.-H., O.-K. Ha, and Y.-K. Ju… | |
| * 박주혁, 옥지훈, 최으뜸, 전용기, "항공기 소프트웨어에서 자료경합치유를 위한 공간 효율적인 소프트웨어 트랜잭셔널 메모리", 2017 대한임베디드공학회 추계학술대회, pp. 45-46, IEMEK, 제주, Nov, 2017. * Park, J.-H., Ok, J.-H., E… | |
| * 박주혁, 배향연, 최으뜸, 전용기 "실시간 어플리케이션의 주기성을 위한 수행 중 분석도구", 2016 대한임베디드공학회 추계학술대회, pp. 276-278, 대한임베디드공학회, 제주, 2016. 11 * Park, J.-H., H.-Y. Bae, E.-T. Choi, and… | |
| * 이준호, 한민균, 최으뜸, 전용기, "병렬 소프트웨어 설계의 연구 동향", 2022년도 항공우주시스템공학회 춘계학술대회, 제주, May 2022. * J.-H. Lee, M.-G. Han, E.-T. Choi, and Y.-K. Jun, “A Study on the R… | |
| * 정지원, 정재욱, 최으뜸, 전용기, "항공기 건전성 관리 시스템의 기술 동향", 2022년도 항공우주시스템공학회 춘계학술대회, 제주, May 2022. * J.-W. Jeong, J.-W. Jung, E.-T. Choi, and Y.-K. Jun, “Technology… | |
| * 이진숙, 김동국, 전용기, "병렬프로그램의 수행중 접근이상 탐지를 위한 효과적인 탐지 프로토콜,"한국정보과학회 학술발표논문집, 21(1):753-756, 한국정보과학회, 1994. 4. * Lee, Jin-Sook, Dong-Gook Kim, and Yong-Kee Jun, "… | |
| * 이진희, 김영주, 전용기, "OpenMP 프로그램의 경합 디버깅을 위한 추상적 시각화 정보의 추적선택기법," 한국정보과학회 영남지부 학술발표논문집, 9(1): 112-120, 한국정보과학회, 2001. 12. * Lee, J., Y. Kim, and Y. Jun, "A Trac… | |
| * 이진희, 김영주, 전용기, "OpenMP 프로그램의 경합 디버깅을 위한 추상적 시각화," 병렬처리시스템 학술발표회 논문집, 12(1): 13-21, 한국정보과학회, 2001. 9 * Lee, J., Y. Kim, Y. Jun, "A Visual Abstraction Techni… | |
| * 이진숙, 김영철, 전용기, "동기화가 없는 단일 수준 병렬성을 갖는 프로그램을 위한 효과적인 수행중 탐지 프로토콜," 한국정보과학회 영남지부 학술발표논문집, 2(1): 33-41, 한국정보과학회, 1995. 2. * Jin-Sook Lee, Young-Cheol Kim, and… | |
| * 이진숙, 배재권, 전용기, "순서동기화를 가진 병렬프로그램에서 처음으로 발생하는 접근이상들을 위한 수행중 탐지 기법," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(2): 71-82, 한국정보과학회, 1994. 11. * Lee, Jin-Sook, Jae-Kwon Bae, … | |
| * 박진석, 배창희, 최으뜸, 전용기, "오픈 항공기 소프트웨어 기반의 접근 결함 벤치마크", 2022년도 항공우주시스템공학회 춘계학술대회, 제주, May 2022. * J.-S. Park, C.-H. Bae, E.-T. Choi, and Y.-K. Jun, “An Acc… | |
| * 배창희, 최으뜸, 이성진, 전용기, "동시성 오류 자율 수리의 범위 확장을 위한 다중 변수에 의한 동시성 오류 패턴 연구", 2021년도 항공우주시스템공학회 춘계학술대회, 제주, Jul 2021. * C.-H. Bae, E.-T. Choi, S.-J. Lee, and Y… | |
| * 처그바야르 자르갈사이항, 이건표, 최으뜸, 전용기, "UAV 비행제어 소프트웨어의 원자성 위배 연구", 2020년도 임베디드공학회 추계학술대회, 제주, Nov 2020. * Jargalsaikhan, T., Lee, K.-P, E.-T. Choi and Y.-K. J… | |
| * 처그바야르 자르갈사이항, 이건표, 최으뜸, 전용기, "A Comparision of Health Management Systems for UAV Software", 2021년도 항공우주시스템공학회 춘계학술대회, 제주, Jul 2021. * Jargalsaikhan, T… | |
| * TSogbayr Jargalsaikhan, 최으뜸, 전용기, "ARINC-653 환경에서 UAV 비행제어 소프트웨어의 건전성관리 시스템", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Jargalsaikhan, T., E.-T. Choi, a… | |
| * 처그바야르 자르갈사이항, 최으뜸, 전용기, "UAV 비행제어 소프트웨어의 소스코드 분석", 2019 대한임베디드공학회 추계학술대회, pp. 47-48, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * Jargalsaikhan, T., E.-T. Choi, and Y.-… | |
| * 정춘화, 김동국, 김정시, 김영철, 박희동, 전용기, "병렬프로그램의 접근이상 탐지를 위한 효과적 감시도구," 한국정보과학회 병렬처리시스템 학술발표논문집, 7(2): 139-148, 한국정보과학회, 1996. 11. * Chun-Haw Jung, Dong-Gook Kim, Je… | |
| * 정춘화, 전용기, "병렬프로그램의 경합수정을 위한 감시도구의 효과적 사용자 인터페이스," 한국정보과학회 컴퓨터시스템연구회 학술발표논문집, 8: 42-47, 한국정보과학회, 1997. 9. * Choon-Hwa Jeong, and Yong-Kee Jun, "An Effective… | |
| * 정춘화, 김정시, 전용기, "병렬프로그램의 경합 수정을 위한 순차적 감시도구," 한국정보과학회 병렬처리시스템연구회 학술발표논문집, 8(3): 25-32, 한국정보과학회, 1997. 10. * Choon-Hwa Jeong, Jeong-Si Kim, and Yong-Kee Jun,… | |
| * 김태형, 이민지, 박주혁, 최으뜸, 전용기, "Pthread를 사용하는 항공기 소프트웨어에서 원자성위배를 자율적으로 수리하는 기법", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Kim, E.-H., M.-J. Lee, J.-H. Park, E… | |
| * 김태형, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Kim, E.-H., E.-T. Choi, and Y.-K. Jun, “A Metho… | |
| * 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 동시성 오류를 위한 감시 기법", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Kim, T.-H., E.-T. Choi, and Y.-K. Jun, “Monitoring Concurrency E… | |
| * 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 2016년 한국컴퓨터정보학회 하계학술대회 논문집, pp. 5-6, 한국컴퓨터정보학회, 원주, 2016. 07 * Bae, H.-Y., O.-K. Ha, M.-H. Kang, and… | |
| * 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어에서 경합치유도구를 검증하기 위한 합성프로그램 모음", 2017 대한임베디드공학회 추계학술대회, pp. 122-123, IEMEK, 제주, Nov, 2017. * Baek, H.-J., K.-P. Lee, E.-T. Cho… | |
| * 백형진, 이민지, 최으뜸, 전용기, "병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Baek, H.-j., M.-J. Lee, E.-T. Choi, and Y.-K. Jun, … | |
| * 백형진, 최으뜸, 이건표, 전용기, "항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Baek, H.-J., E.-T. Choi, K.-P. Lee, a… | |
| * 백형진, 우이정, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성오류 자율 수리도구를 검증하기 위한 오류패턴 모음", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Baek, H.-J., I.-J. Woo, E.-T. Choi, and Y.-K.… | |
| * 김혜경, 김동국, 전용기, "임의적 동기화를 가지는 단일방향 내포 병렬루프 프로그램의 수행중 이상 탐지," 한국정보과학회 병렬처리시스템 학술발표논문집, 5(2): 61-70, 한국정보과학회, 1994. 11. * Kim, Hye-Gyeong, Dong-Gook Kim, and … | |
| * 김혜림, 김병철, 전용기, "멀티스레드 프로그램의 디버깅을 위한 부분순서 수행 그래프 시각화," 한국정보처리학회 추계학술대회 논문집, pp. 15(2): 1020-1023, 한국정보처리학회, 2008. 11. * Kim, H., B. Kim, and Y. Jun, "Visual… | |
| * 김혜경, 김영철, 전용기, "병렬 프로그램의 접근 이상 탐지를 위한 레이블링 알고리즘", 한국정보과학회 영남지부 학술발표논문집, 2(1): 43-52, 한국정보과학회, 1995. 2. * Hye-Gyeong Kim, Young-Cheol Kim, and Yong-Kee Jun,… | |
| * 조호기, 구인본, 김병철, 전용기, "Windows 응용프로그램의 수행을 감시하기 위한 실용적인 시스템콜 조정기법," 한국정보과학회 가을학술발표논문집A, 36(2):234-235, 한국정보과학회, 2009. 11. * Cho, H., I. Kuh, B. Kim and Y. Ju… | |
| * 박희동, 김정시, 전용기, "결정적 공유메모리 병렬프로그램을 위한 수행중 최초경합 탐지 기법," 한국정보과학회 병렬처리시스템연구회 학술발표논문집, 9(3): 111-119, 한국정보과학회, 1998. 9. * Hee-Dong Park, Jeong-Si Kim, and Yong-… |