Reliability modeling of safety-critical network communication in a digitalized nuclear power plant. - Sang Hun Lee; Hee Eun Kim; Kwang Seop Son; Sung Min Shin; Seung Jun Lee; Hyun Gook Kang (Reliab. Eng. Syst. Saf., 2015)

Corrigendum to "Reliability modeling of safety-critical network communication in a digitalized nuclear power plant" [Reliab. Eng. Syst. Saf. 144 (2015) 285-295]. - Sang Hun Lee; Hee Eun Kim; Kwang Seop Son; Sung Min Shin; Seung Jun Lee; Hyun Gook Kang (Reliab. Eng. Syst. Saf., 2016)

Systematic development of scenarios caused by cyber-attack-induced human errors in nuclear power plants. - Hee Eun Kim; Han Seong Son; Jonghyun Kim; Hyun Gook Kang (Reliab. Eng. Syst. Saf., 2017)

Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence. - Hee Eun Kim; Han Seong Son; Bo Gyung Kim; Jaehyun Cho; Sung Min Shin; Hyun Gook Kang (IEEE Access, 2018)