Han Seong Son

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