​
Login / Signup
Hee Eun Kim
ORCID
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 3
Top Topics
Fault Tolerant
Cyber Attacks
Formal Methods
Network Communication
Top Venues
Reliab. Eng. Syst. Saf.
IEEE Access
</>
Publications
</>
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)
Sang Hun Lee
,
Hee Eun Kim
,
Kwang Seop Son
,
Sung Min Shin
,
Seung Jun Lee
,
Hyun Gook Kang
Corrigendum to "Reliability modeling of safety-critical network communication in a digitalized nuclear power plant" [Reliab. Eng. Syst. Saf. 144 (2015) 285-295].
Reliab. Eng. Syst. Saf.
149 (2016)
Sang Hun Lee
,
Hee Eun Kim
,
Kwang Seop Son
,
Sung Min Shin
,
Seung Jun Lee
,
Hyun Gook Kang
Reliability modeling of safety-critical network communication in a digitalized nuclear power plant.
Reliab. Eng. Syst. Saf.
144 (2015)