Table of Contents

Tae-Hyung Kim (김태형)

Name(Korean) 김태형 ASCII
Name(English) Tae-Hyung Kim
Email miewcs@naver.com
Status Master
Graduate 2020
Graduation thesis An Efficient System of Health Management for On-the-fly Repairing of Order Violation in Airborne Software
Affiliation Korea Aerospace Industries (KAI)
한국항공우주산업주식회사
SNS homepage / linkedIn / ResearchGate / etc…

International Publication

SCI/SCIE Journal

* Eu-teum Choi, Tae-hyung Kim, Yong-Kee Jun, Seong-Jin Lee, and Min-gyun Han, "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software", Applied…

ACM/IEEE Conf.

SCOPUS Journal

Others Publication

Domestic Publication

* 최으뜸, 김태형, 전용기, "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. …
* 김태형, 이민지, 박주혁, 최으뜸, 전용기, "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…