백형진, 최으뜸, 이건표, 전용기, "항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019.

Baek, H.-J., E.-T. Choi, K.-P. Lee, and Y.-K. Jun, “A Technique to Generate Information of Safe Interleavings for On-the-fly Atomicity Violation Repairing in Airborne Software,” The Korea Society of Computer and Information Winter Conference 2019, KSCI, Jan 2019.