Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. - Seonmo Kim; Wonhong Nam; Hyunyoung Kil; Myunghwan Park (Comput. Sci. Eng., 2014)

True random number generation using CMOS Boolean chaotic oscillator. - Myunghwan Park; John C. Rodgers; Daniel P. Lathrop (Microelectron. J., 2015)

Poster: Test Case Prioritization Using Error Propagation Probability. - Jeonghyun Joo; Seunghoon Yoo; Myunghwan Park (ICST, 2020)

Propagation and Masking Characteristics of Errors During Software Testing in Synchronous Programming. - Young-Mi Kim; Jin-Young Choi; Seunghoon Yoo; Myunghwan Park (IEEE Access, 2024)