Reliability graph with general gates: an intuitive and practical method for system reliability analysis. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2002)

A model for computerized procedures based on flowcharts and success logic trees. - Yeonsub Jung; PoongHyun Seong; ManCheol Kim (Reliab. Eng. Syst. Saf., 2004)

An analytic model for situation assessment of nuclear power plant operators based on Bayesian inference. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

A computational model for knowledge-driven monitoring of nuclear power plant operators based on information theory. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

A probabilistic approach for determining the control mode in CREAM. - Man Cheol Kim; Poong Hyun Seong; Erik Hollnagel (Reliab. Eng. Syst. Saf., 2006)

A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants. - Suk-Joon Kim; Poong Hyun Seong; Jun Seok Lee; Man Cheol Kim; Hyun Gook Kang; Seung-Cheol Jang (Reliab. Eng. Syst. Saf., 2006)

Development of standard communication protocol for emergency management of main control room operators in nuclear power plants. - Man Cheol Kim; Jinkyun Park; Wondea Jung; Hanjeom Kim (IFAC HMS, 2007)

A method for identifying instrument faults in nuclear power plants possibly leading to wrong situation assessment. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2008)

An analytical approach to quantitative effect estimation of operation advisory system based on human cognitive process using the Bayesian belief network. - Seung Jun Lee; Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2008)

Input-profile-based software failure probability quantification for safety signal generation systems. - Hyun Gook Kang; Ho-Gon Lim; Ho Jung Lee; Man Cheol Kim; Seung-Cheol Jang (Reliab. Eng. Syst. Saf., 2009)

Development of a path model for human-induced unplanned reactor trips in nuclear power plants. - Man Cheol Kim; Jinkyun Park (Qual. Reliab. Eng. Int., 2011)

Three suggestions on the definition of terms for the safety and reliability analysis of digital systems. - Man Cheol Kim; Carol S. Smidts (Reliab. Eng. Syst. Saf., 2015)

Systematic approach and mathematical development for conditional core damage probabilities under station blackout of a nuclear power plant. - Man Cheol Kim (Reliab. Eng. Syst. Saf., 2022)

Rigorous derivation of interfacing system LOCA frequency formulas for probabilistic safety assessment of nuclear power plants. - Man Cheol Kim (Reliab. Eng. Syst. Saf., 2023)

Comparison of state-of-knowledge correlation effect associated with lognormal, beta, and gamma uncertainty distributions. - Gyun Seob Song; Man Cheol Kim (Reliab. Eng. Syst. Saf., 2024)