Towards increasing the learning speed of gradient descent method in fuzzy system. - Gee-Yong Park; Poong Hyun Seong (Fuzzy Sets Syst., 1996)

Automatic fault diagnosis method for resistive network using multiple excitations. - DaeSik Kim; Poong Hyun Seong (Int. J. Circuit Theory Appl., 1996)

Dependability estimation of a digital system with consideration of software masking effects on hardware faults. - Jong-Gyun Choi; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2001)

Information theoretic approach to man-machine interface complexity evaluation. - Hyun Gook Kang; Poong-Hyun Seong (IEEE Trans. Syst. Man Cybern. Part A, 2001)

Hidden Markov model-based real-time transient identifications in nuclear power plants. - Kee-Choon Kwon; Jin-Hyung Kim; Poong-Hyun Seong (Int. J. Intell. Syst., 2002)

Experimental analysis of specification language diversity impact on NPP software diversity. - Chang Sik Yoo; Poong-Hyun Seong (J. Syst. Softw., 2002)

Reliability graph with general gates: an intuitive and practical method for system reliability analysis. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2002)

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)

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 quantitative approach to modeling the information flow of diagnosis tasks in nuclear power plants. - Jong Hyun Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 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)

Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). - Seo Ryong Koo; Poong-Hyun Seong; Sung Deok Cha (HASE, 2004)

Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. - Myung Jun Song; Seo Ryong Koo; Poong-Hyun Seong (HASE, 2004)

An integrated environment of S/W specification and V&V for safety-critical systems. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Cheong Youn; Hyun-chul Han (IASTED Conf. on Software Engineering, 2004)

Verification method for the FBD-style design specification using SDT and SMV. - Myung Jun Song; Seo Ryong Koo; Poong-Hyun Seong (IASTED Conf. on Software Engineering, 2004)

Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy. - SeDo Sohn; PoongHyun Seong (J. Syst. Softw., 2004)

A method for risk-informed safety significance categorization using the analytic hierarchy process and bayesian belief networks. - Jun Su Ha; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2004)

A model for computerized procedures based on flowcharts and success logic trees. - Yeonsub Jung; PoongHyun Seong; ManCheol Kim (Reliab. Eng. Syst. Saf., 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)

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Yeong Jae Yoo (Reliab. Eng. Syst. Saf., 2005)

Reliability assessment of embedded digital system using multi-state function. - Jong-Gyun Choi; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

An analytic model for situation assessment of nuclear power plant operators based on Bayesian inference. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

A computational model for knowledge-driven monitoring of nuclear power plant operators based on information theory. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

A probabilistic approach for determining the control mode in CREAM. - Man Cheol Kim; Poong Hyun Seong; Erik Hollnagel (Reliab. Eng. Syst. Saf., 2006)

A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants. - Suk-Joon Kim; Poong Hyun Seong; Jun Seok Lee; Man Cheol Kim; Hyun Gook Kang; Seung-Cheol Jang (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). - Seo Ryong Koo; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

Testing digital safety system software with a testability measure based on a software fault tree. - SeDo Sohn; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)

Development of an Integrated Decision Support System to Aid the Cognitive Activities of Operators in Main Control Rooms of Nuclear Power Plants. - Seung Jun Lee; Kim Mo; Poong Hyun Seong (MCDM, 2007)

Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator's Cognitive Activities for Nuclear Power Plants. - Seung Jun Lee; Poong Hyun Seong (HCI (4), 2007)

How to evaluate effectiveness in monitoring and detection tasks in nuclear power plants? - Jun Su Ha; Poong Hyun Seong (IFAC HMS, 2007)

The effect of information types on diagnostic strategies in the information aid. - Jong Hyun Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2007)

A method for identifying instrument faults in nuclear power plants possibly leading to wrong situation assessment. - Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2008)

An analytical approach to quantitative effect estimation of operation advisory system based on human cognitive process using the Bayesian belief network. - Seung Jun Lee; Man Cheol Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2008)

A human-machine interface evaluation method: A difficulty evaluation method in information searching (DEMIS). - Jun Su Ha; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2009)

SMV model-based safety analysis of software requirements. - Kwang Yong Koh; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2009)

A computational model for evaluating the effects of attention, memory, and mental models on situation assessment of nuclear power plant operators. - Hyun-Chul Lee; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2009)

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. - Eunkyoung Jee; Seungjae Jeon; Sung Deok Cha; Kwang Yong Koh; Junbeom Yoo; Gee-Yong Park; Poong-Hyun Seong (J. Res. Pract. Inf. Technol., 2010)

Attentional-Resource Effectiveness Measures in Monitoring and Detection Tasks in Nuclear Power Plants. - Jun Su Ha; Poong Hyun Seong (IEEE Trans. Syst. Man Cybern. Part A, 2010)

A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms. - Inseok Jang; Ar Ryum Kim; Wondea Jung; Poong Hyun Seong (HCI (13), 2014)

Study on Diagnosis Error Assessment of Operators in Nuclear Power Plants. - Ar Ryum Kim; Inseok Jang; Jaewhan Kim; Poong Hyun Seong (HCI (23), 2014)

Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs). - Seung Min Lee; Hyun-Chul Lee; Poong Hyun Seong (HCI (12), 2014)

A statistical approach to estimating effects of performance shaping factors on human error probabilities of soft controls. - Yochan Kim; Jinkyun Park; Wondea Jung; Inseok Jang; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2015)

A Novel Monitoring System for the Data Integrity of Reactor Protection System Using Blockchain Technology. - Moon Kyoung Choi; Chan Yeob Yeun; Poong Hyun Seong (IEEE Access, 2020)

Reliability of the system with loops: Factor graph based approach. - Young Ho Chae; Seung Geun Kim; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2021)

Estimating the frequency of cyber threats to nuclear power plants based on operating experience analysis. - Sang Min Han; Chanyoung Lee; Poong Hyun Seong (Int. J. Crit. Infrastructure Prot., 2022)