Poong-Hyun Seong

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

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