|
* 이건표, 송근영, 최으뜸, 전용기, "항공기 소프트웨어에 적용하기 위한 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… |
|
* 이건표, 최으뜸, 전용기, "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.-… |
|
* 이동수, 최으뜸, 전용기, "항공기 소프트웨어에서 원자성위배를 치유하기 위한 블록화 롤백기법", 2017 대한임베디드공학회 추계학술대회, pp. 114-115, IEMEK, 제주, Nov, 2017.
* Lee, D.-S., E.-T. Choi, and Y.-K. Jun, … |
|
* 박명철, 정현철, 하옥균 "가축 질병 예방을 위한 가축 생체정보 모니터링 장치의 개발", 한국컴퓨터정보학회 논문지 제21권 제10호(통권 제151호), pp. 91-98, 한국컴퓨터정보학회, 2016. 10.
* Park, M.-C., H. -C. Jung, and O.-K. … |
|
* 한민균, 최으뜸, 전용기, "병렬 프로그램을 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… |
|
* 한민균, 정지원, 최으뜸, 이성진, "등산로에서 산불 감시를 위한 무인기의 경로 생성 도구의 적용 가능성 분석", 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… |
|
* 이승은, 이건표, 최으뜸, 전용기, "오픈 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… |
|
* 이용래, 최으뜸, 전용기, "항공기 시현계통 소프트웨어의 비행시험을 위한 분석도구 ", 한국항공우주학회지, 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… |
|
* 최으뜸, 하옥균, 전용기, "수행 중 경합탐지 도구를 위한 사례 연구", 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… |
|
* 우이정, 김태형, 처그바야르 자르갈사이항, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019.
* I -J.Woo, T.-H. Kim, Jargalsaikhan, T., E.-T. … |
|
* 박주혁, 옥지훈, 최으뜸, 전용기, "항공기 소프트웨어에서 자료경합치유를 위한 공간 효율적인 소프트웨어 트랜잭셔널 메모리", 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… |
|
* 오진우, 최으뜸, 전용기, "무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크", 대한임베디드공학회논문지, Volume 13, Issue 6, Dec 2018.
* Oh, J.-W., E.-T. Choi, and Y.-K. Jun, “A Framework for … |
|
* 박진석, 배창희, 최으뜸, 전용기, "오픈 항공기 소프트웨어 기반의 접근 결함 벤치마크", 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.-… |
|
* 김태형, 이민지, 박주혁, 최으뜸, 전용기, "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… |
|
* 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어에서 경합치유도구를 검증하기 위한 합성프로그램 모음", 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.… |
