Han Seong Son

According to our database, Han Seong Son authored at least 11 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Validity Evaluation for the Data Used for Artificial Intelligence System.

Han Seong Son

Proceedings of the Intelligent Systems and Applications, 2019

2018

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

2017

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

2016

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

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 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

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

PLC-Based Safety Critical Software Development for Nuclear Power Plants.

Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee

Proceedings of the Computer Safety, 2004

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

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

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