| Year 2004 Title 동기화를 가진 공유메모리 병렬프로그램에서 실행중 2단계 최초경합 탐지를 위한 사건선택 방법 Applicant 박희동 Inventor 박희동, 전용기, 배찬숙 Nationality Korea Status Holding(등록) A… | |
| Year 2005 Title 임베디드 다중스레드 프로그램의 사후 경합탐지를 위한 스레드 병행성 정보 생성 방법 Applicant 한국전자통신연구원 Inventor 김정시, 전용기, 임채덕, 김흥남 Nationality Korea Status Holding(등… | |
| Year 2005 Title 제이티에이지를 이용한 임베디드 시스템의 디버깅 장치 및 방법 Applicant 한국전자통신연구원 Inventor 전인걸, 김정시, 임채덕, 박승민, 김병철, 전용기 Nationality Korea Status Opening(공개)… | |
| Year 2006 Title 내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법 Applicant 하금숙, 전용기 Inventor 하금숙, 전용기, 유기영 Nationality Korea Status Holding(등록) A… | |
| Year 2010 Title ARINC-653 기반 항공기용 컴퓨터 시스템에서 멀티 스레드 프로그램의 경합 치유 방법 및 시스템 Applicant 경상대학교 산학협력단 Inventor 전용기, 하옥균, 기마틴 Nationality Korea Status P… | |
| Year 2011 Title 항공기 다중 기능 시현기 Applicant 경상대학교산학협력단 Inventor 김기일, 전용기, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 다중 기능 시현기… | |
| Year 2011 Title 항공기의 수평 현황 시현기 Applicant 경상대학교 산학협력단 Inventor 전용기, 김기일, 하옥균 Nationality Korea Status Holding(등록) Abstract 본 발명은 항공기의 수평 현황 시현… | |
| Year 2013 Title 데이터 경합 탐지를 위한 스레드 레이블링 방법 및 이를 이용한 데이터 경합탐지 장치 Applicant 경상대학교산학협력단 Inventor 전용기, 하옥균 Nationality Korea Status Holding(등록) A… | |
| Year 2022 Title 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법 Applicant 경상국립대학교산학협력단 Inventor 전용기, 최으뜸, 김태형 Nationality Korea Status Holding(등록… | |
| * 이건표, 송근영, 최으뜸, 전용기, "항공기 소프트웨어에 적용하기 위한 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… | |
| * 이건표, 이성진, 전용기, "A Tool for On-the-fly Repairing of Atomicity Violation in GPU Program Execution", 한국컴퓨터정보학회논문지, vol. 26 No. 9, pp. 1-12, September 2021. * … | |
| * 이건표, 하옥균, 전용기, "소나 영상 시뮬레이션 위한 병렬처리 기술 분석", 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… | |
| * 하금숙, 전용기, 유기영, "내포병렬성을 가진 공유메모리 프로그램의 수행중 최초경합 탐지를 위한 효율적 기법," 정보과학회논문지: 시스템 및 이론, 30(7): 341-351, 한국정보과학회, 2003. 8. * Ha, K., Y. Jun, and K. Yoo, "Efficie… | |
| * 구금서, 전용기, "항공기의 실시간 임무컴퓨터 개발을 위한 멀티코어 테스트베드," 한국정보처리학회 춘계학술발표논문집, 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 | |
| * 정대율, 전용기, "경상대학교 가상대학시스템 전략계획 수립에 관한 연구," 산업경제, 12: 83-110, 경상대학교, 2001. 12. publication domestic university yongkee | |
| * 정대율, 전용기, "가상대학시스템 전략계획수립을 위한 교수자 측면의 요구분석에 관한 연구: K대학의 사례를 중심으로," Information Systems Review, 4(1): 89-110, 한국경영정보학회, 2002. 11. * Jeong, D., and Y. Jun, "… | |
| * 김동국, 옥순호, 이진숙, 천병규, 전용기, "RACE STAND: 병렬프로그램을 위한 오류수정 도구," 한국정보과학회 영남지구 학술발표논문집, 1(1): 39-44, 한국정보과학회, 1994. 2. * Kim, Dong-Gook, Soon-Ho Ok, Jin-Sook Lee,… | |
| * 김동국, 김영철, 전용기, "병렬프로그램의 오류수정을 위한 최초경합의 수행중 탐지기법," 정보과학회논문지B, 24(12): 1441-1450, 한국정보과학회, 1997. 12. * Kim, D., Y. Kim, and Y. Jun, "On-the-fly Detection of … | |
| * 이동수, 하옥균, 전용기, "이미지 합성을 위한 현실성 향상 기술 분석", 2017년 한국컴퓨터정보학회 동계학술대회 논문집 제25권 제1호, pp. 37-38혁, 한국컴퓨터정보학회, 전주, 2017. 01 * Lee, D.-S., O.-K. Ha, and Y.-K. Jun,… | |
| * 김동국, 전용기, "병렬 프로그램의 접근 이상 탐지를 위한 동적 오류 수정 도구," 전산연구 10: 11-24, 경상대학교, 1995. 12. * Dong-Gook Kim, and Yong-Kee Jun, "A Dynamic Debugging Tool for Detecting … | |
| * 김동국, 전용기, "다중 사용자용 MiDAS-III의 디버깅 환경에 관한 연구," 전산연구, 12: 81-94, 경상대학교, 1997. 12. * Dong-Gook Kim, and Yong-Kee Jun, "A Study on Debugging Environment of Mul… | |
| * 이동수, 최으뜸, 전용기, "항공기 소프트웨어에서 원자성위배를 치유하기 위한 블록화 롤백기법", 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,… | |
| * 박명철, 김영주, 하석운, 전용기, 임채덕, "SoC 프로그램의 원격 디버깅을 위한 실시간 추적도구의 구현," 정보처리학회논문지A, 12-A(7): 583-588, 정보처리학회, 2005. 12. * Park, M., Y. Kim, S. Ha, Y. Jun, and C. Lim… | |
| * 강명신, 구인본, 하옥균, 전용기, "동적 자료경합 탐지를 위한 메모리 접근사건의 효율적인 이진코드 감시 기법", 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… | |
| * 강문혜, 김영주, 전용기, "공유메모리 프로그램의 최초경합 탐지를 위한 접근역사 분석," 정보과학회논문지: 시스템 및 이론, 31(1): 41-50, 한국정보과학회, 2004, 2. * Kang, M., Y. Kim, and Y. Jun, "Analyzing Access His… | |
| * 강문혜, 하옥균, 전용기, "OpenMP 디렉티브 프로그램의 최초경합 탐지를 위한 도구," 한국정보과학회논문지, 37(1): pp. 1-7 , 한국정보과학회, 2010.2. * Kang, M., O. Ha, and Y. Jun, “A Detection Tool of First … | |
| * 박미영, 구금서, 전용기, "메시지전달 프로그램의 디버깅을 위한 메시지경합의 탐지," 한국멀티미디어학회지, 7(3):59-68, 한국멀티미디어학회, 9. 2003. publication domestic conference miyoung geumseo yongkee | |
| * 박미영, 강문혜, 전용기, 박혁로, "메시지 전달 프로그램에서의 수행 중 경합탐지," 한국정보과학회 논문지:시스템 및 이론, 34(7):267~275, 한국정보과학회, 2007.8. * Park, M., M. Kang, Y. Jun, and H. Park, "On-the-fly… | |
| * 박미영, 김영주, 김성대, 이승렬, 박소희, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합조건의 시각화," 컴퓨터시스템연구회 추계학술발표회 논문집, 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… | |
| * 박미영, 김영철, 박소희, 이승렬, 김영주, 전용기, "OpenMP 병렬 프로그램의 수행중 경합탐지를 위한 모니터링 기법," 전산연구, 14: 67-74, 경상대학교, 1999. 12. * Mi-Young Park, Young-Cheol Kim, So-Hee Park, Seun… | |
| * 박미영, 김영철, 전용기, "수행중 경합 탐지를 위한 내포 병렬성을 가진 프로그램의 재구성," 한국정보과학회 영남지부 학술발표논문집, 7(1): 215-222, 한국정보과학회, 1999. 12. * Park, M., Y. Kim, and Y. Jun, "Restructuring… | |
| * 박미영, 전용기, "메시지전달 프로그램의 디버깅을 위한 경합의 확장적 시각화," 정보과학회논문지: 시스템 및 이론, 32(7): 341-348, 한국정보과학회, 2005. 8. * Park, M., and Y. Jun, "Scalable Race Visualization for… | |
| * 전미경, 김인홍, 류시국, 전용기, 강현석, "주석 및 내용 기반 검색을 지원하는 동영상 정보 관리 시스템," 한국멀티미디어학회 논문지, 2(3):231-242, 한국멀티미디어학회, 1999. 9. * Jun, M., I. Kim, S. Rhyoo, Y. Jun, and H. … | |
| * 박미영, 강현석, 전용기, "메시지전달 프로그램의 영향받지 않은 경합조건 탐지를 위한 경합상태 전이기법," 정보과학회논문지: 시스템 및 이론, 33(8): 495-504, 한국정보과학회, 2006. 8. * Park, M., H. Kang, and Y. Jun, "Race St… | |
| * 정민섭, 김영주, 하옥균, 전용기, “내부적 비결정성을 가진 공유 메모리 프로그램의 잠재적 경합 탐지,” 한국정보처리학회 춘계학술발표 논문집, 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… | |
| * 한민균, 최으뜸, 전용기, 이성진, "항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템", 한국항공우주학회지, vol.51, no.11, Nov 2023. * M.-G. Han, E.-T. Choi, Y.-K. Jun and S.-J. Lee, “He… | |
| * 강민우, 김정민, 하옥균, 강문혜, 전용기, "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 … | |
| * Chon, Byoung-Gyu, Dong-Gook Kim, and Yong-Kee Jun, "Efficient Reexecution Monitoring Technique for Debugging Parallel Programs," J. of the Inst. of Computer … | |
| * 김병철, 강문혜, 전용기, 임채덕, "임베디드 소프트웨어 개발을 위한 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 … | |
| * 김병철, 전용기, "멀티스레드 프로그램의 디버깅을 위한 수행그래프," 한국정보기술학회논문지, 7(2): 16-25, 한국정보기술학회, 2009.4. * Kim, B., and Y. Jun, "A Execution Graph for Debugging Multithreaded Pr… | |
| * 천병규, 우종정, 전용기, "내포 병렬성을 가지는 OpenMP 프로그램의 최초 경합 탐지," 정보처리학회논문지A, 8(3): 253-260, 한국정보처리학회, 2001. 9. * Chon, B., J. Woo, and Y. Jun, "Detecting the First Race… | |
| * 김병철, 박희동, "JTAG 인터페이스를 이용한 GUI 디버거 기술 동향," 한국멀티미디어학회지, 7(3):1-11, 한국멀티미디어학회, 9. 2003. publication domestic conference byungchul heedong | |
| * 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… | |
| * 임산하, 이선아, 전용기, "항공기 시스템의 치명적인 공통 요인을 식별하기 위한 고장-안전 요구분석 절차 제안", 한국항공우주학회지, vol. 50 No. 4, pp. 259-267, February 2022. * S.-H. Lim, S.-A. Lee and Y.-K. Jun… | |
| * 박상섭, 이성진, 전용기, "국내 개발 인공위성을 위한 저비용 원격명령 처리시스템", 한국항공우주학회지, vol. 49 No. 6, pp. 481-488, June 2021. * S.-S. Park, S.-J. Lee and Y.-K. Jun, “Development and … | |
| * 배상현, 전용기, 배종민, "동기화명령을 가지는 내포병렬루프 프로그램의 수행중 접근이상 탐지를 위한 레이블링," 전산연구, 11: 61-69, 경상대학교, 1996. 12. * Sang-Hyun Bae, Yong-Kee Jun, and Jong-Min Bae, "A Labeli… | |
| * 배상현, 전용기, 배종민, "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… | |
| * 김선숙, 하옥균, 전용기, "항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경", 2013 한국컴퓨터종합학술대회 논문집,40(1):100-102, 한국정보과학회, 2013. 06 * Kim,S., O.,Ha, and Y., Jun, "Verification Environm… | |
| * 김선숙, 구인본, 하옥균, 전용기 "ARINC-653 항공 소프트웨어의 경합 조건을 치유하기 위한 자동 록 생성기" 2010 대한임베디드공학회 추계학술대회 학술발표 논문집, pp. 9-13, 제주칼호텔, 대한임베디드공학회, 2010. 11. * Kim. S, I. Kuh, O.… | |
| * 김성준, 김경훈, 전용기, "항공전자 시스템을 위한 PCI-Express 버스의 결함감내 구조", 한국항공우주학회지, vol.48, no.12, Dec 2020. * S.-J. Kim, K.-H. Kim and Y.-K. Jun, “A Fault-Tolerant Archite… | |
| * 김성대, 김영주, 박미영, 이승렬, 박소희, 전용기, "공유메모리 병렬프로그래밍을 위한 가상실험실," 한국정보과학회 병렬처리시스템 학술발표회 논문집, 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, "… | |
| * 박소희, 이승열, 김정시, 김동국, 전용기, "병렬프로그램의 경합수정을 위한 효과적 감시도구," 경상대학교 전산연구, 13: 59-68, 경상대학교, 1998. 12. * Park,S., S. Lee, J. Kim, D. Kim, and Y. Jun, "An Effective … | |
| * 박소희, 김영주, 박미영, 김성대, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬프로그램의 메시지경합 탐지 도구," 한국정보처리학회 추계학술발표논문집, 7(2): 645-648, 한국정보처리학회, 2000. 10. * Park, S., Y. Kim, M. Park, S… | |
| * 박소희, 김영주, 박미영, 이승렬, 전용기, "리눅스 클러스터 시스템을 위한 병렬 디버거 개발," 경상대학교 전산연구, 15: 37-46, 경상대학교, 2000. 12. * Park, S., Y. Kim, M. Park, S. Lee, and Y. Jun, "Developmen… | |
| * 박소희, 우종정, 배종민, 전용기, "병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법," 정보처리학회논문지A, 9(4): 525-534, 한국정보처리학회, 2002. 12. * Park, S., J. Woo, J. Bae, and Y. Jun, "A … | |
| * 배수연, 박미영, 전용기, "병렬 프로그램의 메시지경합 탐지기법에 대한 시험도구," 한국정보과학회 춘계학술발표논문집, 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… | |
| * 옥순호, 김동국, 전용기, "병렬프로그램의 오류수정을 위한 GUI 기반의 순차적 접근이상 탐지도구," 전산연구, 9: 1-10, 경상대학교, 1994. 12. * Ok, Soon-Ho, Dong-Gook Kim, and Yong-Kee Jun, "A GUI-based Seque… | |
| * 옥순호, 김동국, 전용기, "병렬프로그램의 접근이상 탐지를 위한 순차적 감시도구," 한국정보과학회 병렬처리시스템 학술발표논문집, 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 | |
| * 이승렬, 박소희, 김영주, 박미영, 전용기, "다중스레드 자바 프로그램을 위한 경합탐지 도구의 분석," 경상대학교 전산연구, 14: 59-66, 경상대학교, 1999. 12. * Lee, S., S. Park, Y. Kim, M. Park, and Y. Jun, "An Anal… | |
| * 이승렬, 김영주, 박미영, 박소희, 전용기, "다중스레드 자바 프로그램을 위한 디버깅 도구의 분석," 한국정보과학회 영남지부 학술발표논문집, 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… | |
| * 김영주, 정민섭, 전용기, " 내부적 비결정성을 가진공유 메모리병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기", 한국정보처리학회논문지 26-A(1): 9-18, 2010. 2. * Kim, Y., M. Jung, Y. Jun, "A Preprocessor for Detect… | |
| * 김영주, 최석주, 전인걸, 전용기, 임채덕, "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… | |
| * 김영주, 박소희, 박미영, 이승렬, 전용기, "록킹을 가진 OpenMP 병렬프로그램의 경합탐지를 위한 확장적 감시기법 및 도구," 경상대학교 전산연구, 15: 7-16, 경상대학교, 2000. 12. * Kim, Y., S. Park, M. Park, S. Lee, and Y.… | |
| * 김영주, 이승렬, 전용기, "임계구역을 가진 공유메모리 병렬프로그램에서 효율적인 경합 탐지를 위한 사건 선택기법," 한국정보과학회 춘계학술발표논문집, 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 디렉티브 프로그램을 위한 자료경합 검증도구," 정보과학회논문지: 시스템 및 이론, 34(9):395-406, 한국정보과학회, 2007.9. * Kim, Y., and Y. Jun, "A Verification Tool of Data Races i… | |
| * 김영주, 구인본, 배병진, 전용기, "병행 Java 프로그램의 확장적 경합탐지를 위한 JDI 기반의 투명한 감시도구", 한국정보처리학회논문지, 16-A(2):55-60, 2009. 4. * Kim, Y., Kuh, I., Bae, B. and Y. Jun, "A Transpar… | |
| * 김영주, 김정시, "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 디렉티브 프로그램을 위한 효율적인 경합검증 도구," 정보과학회논문지: 컴퓨팅의 실체, 14(3): 301-305, 한국정보과학회, 2008.5. * Ha, O., M. Kang, Y. Kim, and Y. … | |
| * 하옥균, 강문혜, 전용기, "OpenMP 프로그램의 데이터 경합 탐지를 위한 Sun Thread Analyzer의 실험적 분석," 정보통신분야학회 합동학술대회 논문집, 2(1): 38-41, 2008. 11. * Ha, O., M. Kang, Y. Jun, "An Empiric… | |
| * 하옥균, 강문혜, 전용기, “OpenMP 프로그램을 위한 경합탐지 도구의 실험적 비교와 분석,” 한국정보기술학회논문지, 7(4): pp. 24-32 , 한국정보기술학회, 2009.8. * Ha, O., M. Kang, and Y. Jun, “An Empirical Compari… | |
| * 하옥균, 김선숙, 백민정, 이보람, 김경훈, 전용기, “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… | |
| * Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "내포 병렬성 프로그램에서 수행 중 경합 탐지를 위한 효율적인 스레드 식별자 생성 기법", 한국정보기술학회논문지, 9(2): pp. 15-25 , 한국정보기술학회, 2011.2. * Ha, O. and Y… | |
| * Ok-Kyoon Ha (하옥균), Yong-Kee Jun (전용기), "멀티 스레드 프로그램을 위한 동적 자료경합 탐지 기술 현황", 정보과학회지, 33(12): pp. 45-51 , 한국정보과학회, 2015.12. * Ha, O.-K., and Y. Jun, “A Surve… | |
| * 이용래, 최으뜸, 전용기, "항공기 시현계통 소프트웨어의 비행시험을 위한 분석도구 ", 한국항공우주학회지, Volume 46, Issue 11, Nov 2018. * Lee, Y.-L., E.-T. Choi, and Y.-K. Jun, “An Analysis Tool f… | |
| * 최으뜸, 이동수, 윤영훈, 고심재, 김병수, 전용기, "항공기 소프트웨어의 건전성 관리시스템을 위한 설계지침", 항공우주시스템공학회 2018년도 춘계학술대회, 제주, april 2018. * Choi, E.-T., D.-S. Lee, Y.-H. Yoon, S.-J. Ko… | |
| * 최으뜸, 이동수, 전용기, 이성진, "항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법", 한국항공우주학회지, vol.48, no.7, July 2020. * E.-T. Choi, D.-S. Lee and Y.-K. Jun, “On-the-fly Atomici… | |
| * 최으뜸, 박세원, 하옥균, 전용기, "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… | |
| * 조재희, 전용기, 김용기, "수행중 탐지 기법을 이용한 병렬 프로그램 디버깅의 개선," 전산연구, 11: 71-79, 경상대학교, 1996. 12. * Jae-Hee Cho, Yong-Kee Jun, and Yong-Gi Kim, "The improvement of Parall… | |
| * 강정혜, 박미영, 구금서, 전용기, "운영체제 행위의 이해를 위한 확장적 시각화 도구," 한국정보과학회 춘계학술발표논문집, 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… | |
| * 김정시, 전용기, "수행중 경합 탐지기법의 보고방식에 관한 연구," 경상대학교 전산연구, 12: 51-59, 경상대학교, 1997. 12. * Kim, J,. and Y. Jun, "Report Method of On-the-fly Techniques for Race Detec… | |
| * 김정시, 전용기, "요약보고 방법에 의해 병목현상을 개선한 최초경합의 수행중 탐지기법," 정보과학회논문지A, 26(9): 1042-1054, 한국정보과학회, 1999. 9. * Kim, J., and Y. Jun, "On-the-fly Detection of the First … | |
| * 김정시, 김현주, 정춘화, 전용기, "웹 기반 가상대학을 위한 출석 평가 시스템의 설계 및 구현," 한국정보과학회 가을 학술발표논문집, 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… | |
| * 허진용, 전용기, 배종민, "Race Condition 분류의 비교분석," 경상대학교 전산연구, 11: 51-60, 경상대학교, 1996. 12. * Heo, J., Y. Jun, and J. Bae, "A Comparison of Race Condition Taxonomies… | |
| * 오진우, 최으뜸, 전용기, "무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크", 대한임베디드공학회논문지, Volume 13, Issue 6, Dec 2018. * Oh, J.-W., E.-T. Choi, and Y.-K. Jun, “A Framework for … | |
| * 이진숙, 배재권, 전용기, "순서동기화를 가진 병렬프로그램에서 처음으로 발생하는 접근이상들을 위한 수행중 탐지 기법," 한국정보과학회 병렬처리시스템 학술발표논문집, 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… | |
| * 정춘화, 전용기, "수행중 접근이상 탐지를 위한 변형된 병렬프로그램을 생성하는 전처리기," 전산연구, 11: 93-100, 경상대학교, 1996. 12. * Choon-Hwa Jeong, and Yong-Kee Jun, "A Preprocessor for Instrumentat… | |
| * 정춘화, 전용기, "병렬프로그램의 경합수정을 위한 감시도구의 효과적 사용자 인터페이스," 한국정보과학회 컴퓨터시스템연구회 학술발표논문집, 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… | |
| * 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템", 한국항공우주학회지, vol.48, no.10, Oct 2020. * T.-H. Kim, E.-T. Choi and Y.-K. Jun, “An Efficie… | |
| * 배향연, 하옥균, 강문혜, 전용기 "임베디드 어플리케이션을 위한 수행시간 분석 도구의 개발", 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… | |
| * 박희동, 전용기, "동기가 있는 병렬프로그램에서 수행중 최초접근이상 탐지기법 연구," 전산연구 11: 81-92, 경상대학교, 1996. 12. * Hee-Dong Park, and Yong-Kee Jun, "A Study on the On-the-fly Detection of… | |
| * 박희동, 전용기, "순서적 동기화를 포함하는 공유메모리 병렬프로그램에서의 수행중 최초경합탐지 기법," 정보과학회논문지A, 26(8): 884-894, 한국정보과학회, 1999. 8. * Park, H., and Y. Jun, "On-the-fly Detection of the … | |
| * 박희동, 김정시, 전용기, "결정적 공유메모리 병렬프로그램을 위한 수행중 최초경합 탐지 기법," 한국정보과학회 병렬처리시스템연구회 학술발표논문집, 9(3): 111-119, 한국정보과학회, 1998. 9. * Hee-Dong Park, Jeong-Si Kim, and Yong-… |