Poong-Hyun Seong
Orcid: 0000-0001-5498-4277Affiliations:
- Korea Advanced Institute of Science and Technology, Guseong-dong, Yuseong-gu, Daejeon, South Korea
According to our database1,
Poong-Hyun Seong
authored at least 46 papers
between 1996 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Estimating the frequency of cyber threats to nuclear power plants based on operating experience analysis.
Int. J. Crit. Infrastructure Prot., 2022
2021
Reliab. Eng. Syst. Saf., 2021
2020
A Novel Monitoring System for the Data Integrity of Reactor Protection System Using Blockchain Technology.
IEEE Access, 2020
2015
A statistical approach to estimating effects of performance shaping factors on human error probabilities of soft controls.
Reliab. Eng. Syst. Saf., 2015
2014
Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs).
Proceedings of the Human Interface and the Management of Information. Information and Knowledge Design and Evaluation, 2014
Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2014
A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms.
Proceedings of the Human Interface and the Management of Information. Information and Knowledge in Applications and Services, 2014
2010
Attentional-Resource Effectiveness Measures in Monitoring and Detection Tasks in Nuclear Power Plants.
IEEE Trans. Syst. Man Cybern. Part A, 2010
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
J. Res. Pract. Inf. Technol., 2010
2009
A computational model for evaluating the effects of attention, memory, and mental models on situation assessment of nuclear power plant operators.
Reliab. Eng. Syst. Saf., 2009
Reliab. Eng. Syst. Saf., 2009
A human-machine interface evaluation method: A difficulty evaluation method in information searching (DEMIS).
Reliab. Eng. Syst. Saf., 2009
2008
An analytical approach to quantitative effect estimation of operation advisory system based on human cognitive process using the Bayesian belief network.
Reliab. Eng. Syst. Saf., 2008
A method for identifying instrument faults in nuclear power plants possibly leading to wrong situation assessment.
Reliab. Eng. Syst. Saf., 2008
2007
Reliab. Eng. Syst. Saf., 2007
How to evaluate effectiveness in monitoring and detection tasks in nuclear power plants?
Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007
Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator's Cognitive Activities for Nuclear Power Plants.
Proceedings of the Human-Computer Interaction. HCI Applications and Services, 2007
Development of an Integrated Decision Support System to Aid the Cognitive Activities of Operators in Main Control Rooms of Nuclear Power Plants.
Proceedings of the IEEE Symposium on Computational Intelligence in Multicriteria Decision Making, 2007
2006
Testing digital safety system software with a testability measure based on a software fault tree.
Reliab. Eng. Syst. Saf., 2006
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC).
Reliab. Eng. Syst. Saf., 2006
A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants.
Reliab. Eng. Syst. Saf., 2006
Reliab. Eng. Syst. Saf., 2006
A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants.
Reliab. Eng. Syst. Saf., 2006
A computational model for knowledge-driven monitoring of nuclear power plant operators based on information theory.
Reliab. Eng. Syst. Saf., 2006
An analytic model for situation assessment of nuclear power plant operators based on Bayesian inference.
Reliab. Eng. Syst. Saf., 2006
Reliab. Eng. Syst. Saf., 2006
2005
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification.
Reliab. Eng. Syst. Saf., 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".
Reliab. Eng. Syst. Saf., 2004
Reliab. Eng. Syst. Saf., 2004
A method for risk-informed safety significance categorization using the analytic hierarchy process and bayesian belief networks.
Reliab. Eng. Syst. Saf., 2004
Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy.
J. Syst. Softw., 2004
Verification method for the FBD-style design specification using SDT and SMV.
Proceedings of the IASTED International Conference on Software Engineering, 2004
An integrated environment of S/W specification and V&V for safety-critical systems.
Proceedings of the IASTED International Conference on Software Engineering, 2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
2003
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., 2003
A quantitative approach to modeling the information flow of diagnosis tasks in nuclear power plants.
Reliab. Eng. Syst. Saf., 2003
Reliab. Eng. Syst. Saf., 2003
A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction.
J. Syst. Softw., 2003
2002
Reliability graph with general gates: an intuitive and practical method for system reliability analysis.
Reliab. Eng. Syst. Saf., 2002
Experimental analysis of specification language diversity impact on NPP software diversity.
J. Syst. Softw., 2002
Hidden Markov model-based real-time transient identifications in nuclear power plants.
Int. J. Intell. Syst., 2002
2001
IEEE Trans. Syst. Man Cybern. Part A, 2001
Dependability estimation of a digital system with consideration of software masking effects on hardware faults.
Reliab. Eng. Syst. Saf., 2001
1996
Int. J. Circuit Theory Appl., 1996
Fuzzy Sets Syst., 1996