Han Seong Son

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 4

Top Topics

Top Venues

IEEE Trans. Circuits Syst. Video Technol.

Reliab. Eng. Syst. Saf.

Publications

Han Seong Son
Validity Evaluation for the Data Used for Artificial Intelligence System. IntelliSys (1) (2019)
Hee Eun Kim, Han Seong Son, Bo Gyung Kim, Jaehyun Cho, Sung Min Shin, Hyun Gook Kang
Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence. IEEE Access 6 (2018)
Hee Eun Kim, Han Seong Son, Jonghyun Kim, Hyun Gook Kang
Systematic development of scenarios caused by cyber-attack-induced human errors in nuclear power plants. Reliab. Eng. Syst. Saf. 167 (2017)
Han Seong Son, Chae-Eun Rhee, Hyuk-Jae Lee
A Novel Hardware Architecture of the Lucas-Kanade Optical Flow for Reduced Frame Memory Access. IEEE Trans. Circuits Syst. Video Technol. 26 (6) (2016)
Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son
A formal software requirements specification method for digital nuclear plant protection systems. J. Syst. Softw. 74 (1) (2005)
Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son
Software safety analysis of function block diagrams using fault trees. Reliab. Eng. Syst. Saf. 88 (3) (2005)
Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee
PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP (2004)
Han Seong Son, Poong-Hyun Seong
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". Reliab. Eng. Syst. Saf. 83 (1) (2004)
Seo Ryong Koo, Han Seong Son, Poong-Hyun Seong
A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction. J. Syst. Softw. 67 (3) (2003)
Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong
Systematic evaluation of fault trees using real-time model checker UPPAAL. Reliab. Eng. Syst. Saf. 82 (1) (2003)
Han Seong Son, Poong Hyun Seong
Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. Reliab. Eng. Syst. Saf. 80 (1) (2003)