A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction. - Seo Ryong Koo; Han Seong Son; Poong-Hyun Seong (J. Syst. Softw., 2003)

Systematic evaluation of fault trees using real-time model checker UPPAAL. - Sung Deok Cha; Han Seong Son; Junbeom Yoo; Eunkyoung Jee; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2003)

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. - Han Seong Son; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2003)

PLC-Based Safety Critical Software Development for Nuclear Power Plants. - Junbeom Yoo; Sung Deok Cha; Han Seong Son; Chang Hwoi Kim; Jang-Soo Lee (SAFECOMP, 2004)

Reply to "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application". - Han Seong Son; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2004)

A formal software requirements specification method for digital nuclear plant protection systems. - Junbeom Yoo; Tai Hyo Kim; Sung Deok Cha; Jang-Soo Lee; Han Seong Son (J. Syst. Softw., 2005)

Software safety analysis of function block diagrams using fault trees. - Younju Oh; Junbeom Yoo; Sung Deok Cha; Han Seong Son (Reliab. Eng. Syst. Saf., 2005)

A Novel Hardware Architecture of the Lucas-Kanade Optical Flow for Reduced Frame Memory Access. - Han Seong Son; Chae-Eun Rhee; Hyuk-Jae Lee (IEEE Trans. Circuits Syst. Video Technol., 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)

Validity Evaluation for the Data Used for Artificial Intelligence System. - Han Seong Son (IntelliSys (1), 2019)