이민지, 백형진, 이건표, 최으뜸, 전용기, "항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019.

M.-J. Lee, H.-J. Baek, K.-P. Lee, E.-T. Choi, and Y.-K. Jun, "An Analysis Technique of Lock-based Interleaving for Diagnosing Atomicity Violations in Airborne Software", KSAS, Jeju, 20-23 Nov, 2019.