| * Eu-Teum Choi, Young-Hun Yun, Simjae Ko, Byoung Soo Kim, Yong-Kee Jun, "Tracing Threads of Safety-Critical Functions for Certifying Airworthiness of Military… | |
| Participant Jun, Yong-Kee Sponsor Lig nex1 Period 2019.05.01 ~ 2021.12.31 Subject 중소형 항공기급 개방형 항공전자 시스템 아키텍처 및 소프트웨어 개발 Status on Going pro… | |
| * 이건표, 최으뜸, 전용기, "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.-… | |
| * 이민지, 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * M.-J. Lee, H.-J. Baek, K.-P. Lee, E.-T. Choi, an… | |
| * 이승은, 이건표, 최으뜸, 전용기, "오픈 UAV 소프트웨어의 동시성 오류 특성 분석을 위한 오류 리포트 조사", 한국항공우주학회, 제주, 20-23 Nov, 2019. * S.-E. Lee, K.-P. Lee, E.-T. Choi, and Y.-K. Jun, "A Survey… | |
| * 최으뜸, 김태형, 전용기, "ARINC 653 기반 항공기 소프트웨어의 동시성 결함을 자율 수리하는 도구를 검증하기 위한 프레임웍", 2019 대한임베디드공학회 추계학술대회, pp. 45-46, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * E.-T. Choi, T… | |
| * 우이정, 김태형, 처그바야르 자르갈사이항, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * I -J.Woo, T.-H. Kim, Jargalsaikhan, T., E.-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.-… | |
| * 김태형, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법", 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… | |
| * 백형진, 이민지, 최으뜸, 전용기, "병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰", 항공우주시스템공학회 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… |