Specification and validation of dynamic systems using temporal logic. - Seung Mo Cho; Hyung Ho Kim; Sung Deok Cha; Doo-Hwan Bae (IEE Proc. Softw., 2001)

Object-oriented concept analysis for software modularisation. - Hyung Ho Kim; Doo-Hwan Bae (IET Softw., 2008)

Scalable Fault Tree Analysis for Functional Safety Software. - Hyung Ho Kim (APSEC, 2023)