Poong-Hyun Seong

15 papers Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2010 J jnl
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
J. Res. Pract. Inf. Technol.
Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong
2009 J jnl
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.
Hyun-Chul Lee, Poong-Hyun Seong
2006 J jnl
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.
Seo Ryong Koo, Poong-Hyun Seong
2005 J jnl
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.
Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Yeong Jae Yoo
2004 — conf
An integrated environment of S/W specification and V&V for safety-critical systems.
IASTED Conf. on Software Engineering
Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han
2004 — conf
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.
HASE
Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong
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
2004 — conf
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
HASE
Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha
2004 — conf
Verification method for the FBD-style design specification using SDT and SMV.
IASTED Conf. on Software Engineering
Myung Jun Song, Seo Ryong Koo, 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
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
2002 J jnl
Experimental analysis of specification language diversity impact on NPP software diversity.
J. Syst. Softw.
Chang Sik Yoo, Poong-Hyun Seong
2002 J jnl
Hidden Markov model-based real-time transient identifications in nuclear power plants.
Int. J. Intell. Syst.
Kee-Choon Kwon, Jin-Hyung Kim, Poong-Hyun Seong
2001 J jnl
Dependability estimation of a digital system with consideration of software masking effects on hardware faults.
Reliab. Eng. Syst. Saf.
Jong-Gyun Choi, Poong-Hyun Seong
2001 J jnl
Information theoretic approach to man-machine interface complexity evaluation.
IEEE Trans. Syst. Man Cybern. Part A
Hyun Gook Kang, Poong-Hyun Seong