default search action
Poong-Hyun Seong
Person information
- affiliation: Korea Advanced Institute of Science and Technology, Guseong-dong, Yuseong-gu, Daejeon, South Korea
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j36]Sang Min Han
, Chanyoung Lee
Estimating the frequency of cyber threats to nuclear power plants based on operating experience analysis. Int. J. Crit. Infrastructure Prot. 37: 100523 (2022) - 2021
- [j35]Young Ho Chae, Seung Geun Kim, Poong Hyun Seong:
Reliability of the system with loops: Factor graph based approach. Reliab. Eng. Syst. Saf. 208: 107407 (2021) - 2020
- [j34]Moon Kyoung Choi
A Novel Monitoring System for the Data Integrity of Reactor Protection System Using Blockchain Technology. IEEE Access 8: 118732-118740 (2020)
2010 – 2019
- 2015
- [j33]Yochan Kim
A statistical approach to estimating effects of performance shaping factors on human error probabilities of soft controls. Reliab. Eng. Syst. Saf. 142: 378-387 (2015) - 2014
- [c10]Inseok Jang, Ar Ryum Kim, Wondea Jung, Poong Hyun Seong:
A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms. HCI (13) 2014: 335-346 - [c9]Seung Min Lee, Hyun-Chul Lee, Poong Hyun Seong:
Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs). HCI (12) 2014: 483-490 - [c8]Ar Ryum Kim, Inseok Jang, Jaewhan Kim, Poong Hyun Seong:
Study on Diagnosis Error Assessment of Operators in Nuclear Power Plants. HCI (23) 2014: 491-498 - 2010
- [j32]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): 171-188 (2010) - [j31]Jun Su Ha
Attentional-Resource Effectiveness Measures in Monitoring and Detection Tasks in Nuclear Power Plants. IEEE Trans. Syst. Man Cybern. Part A 40(5): 993-1008 (2010)
2000 – 2009
- 2009
- [j30]Kwang Yong Koh, Poong Hyun Seong:
SMV model-based safety analysis of software requirements. Reliab. Eng. Syst. Saf. 94(2): 320-331 (2009) - [j29]Jun Su Ha
A human-machine interface evaluation method: A difficulty evaluation method in information searching (DEMIS). Reliab. Eng. Syst. Saf. 94(10): 1557-1567 (2009) - [j28]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): 1796-1805 (2009) - 2008
- [j27]Man Cheol Kim, Poong Hyun Seong:
A method for identifying instrument faults in nuclear power plants possibly leading to wrong situation assessment. Reliab. Eng. Syst. Saf. 93(2): 316-324 (2008) - [j26]Seung Jun Lee, Man Cheol Kim, Poong Hyun Seong:
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. 93(4): 567-577 (2008) - 2007
- [j25]Jong Hyun Kim, Poong Hyun Seong:
The effect of information types on diagnostic strategies in the information aid. Reliab. Eng. Syst. Saf. 92(2): 171-186 (2007) - [c7]Seung Jun Lee, Kim Mo, Poong Hyun Seong:
Development of an Integrated Decision Support System to Aid the Cognitive Activities of Operators in Main Control Rooms of Nuclear Power Plants. MCDM 2007: 146-152 - [c6]Seung Jun Lee, Poong Hyun Seong:
Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator's Cognitive Activities for Nuclear Power Plants. HCI (4) 2007: 620-628 - [c5]Jun Su Ha, Poong Hyun Seong:
How to evaluate effectiveness in monitoring and detection tasks in nuclear power plants? IFAC HMS 2007: 298-303 - 2006
- [j24]SeDo Sohn, Poong Hyun Seong:
Testing digital safety system software with a testability measure based on a software fault tree. Reliab. Eng. Syst. Saf. 91(1): 44-52 (2006) - [j23]Man Cheol Kim, Poong Hyun Seong, Erik Hollnagel:
A probabilistic approach for determining the control mode in CREAM. Reliab. Eng. Syst. Saf. 91(2): 191-199 (2006) - [j22]Jong-Gyun Choi, Poong Hyun Seong:
Reliability assessment of embedded digital system using multi-state function. Reliab. Eng. Syst. Saf. 91(3): 261-269 (2006) - [j21]Man Cheol Kim, Poong Hyun Seong:
An analytic model for situation assessment of nuclear power plant operators based on Bayesian inference. Reliab. Eng. Syst. Saf. 91(3): 270-282 (2006) - [j20]Man Cheol Kim, Poong Hyun Seong:
A computational model for knowledge-driven monitoring of nuclear power plant operators based on information theory. Reliab. Eng. Syst. Saf. 91(3): 283-291 (2006) - [j19]Man Cheol Kim, Poong Hyun Seong:
A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants. Reliab. Eng. Syst. Saf. 91(5): 580-593 (2006) - [j18]Suk-Joon Kim, Poong Hyun Seong, Jun Seok Lee, Man Cheol Kim, Hyun Gook Kang
A method for evaluating fault coverage using simulated fault injection for digitalized systems in nuclear power plants. Reliab. Eng. Syst. Saf. 91(5): 614-623 (2006) - [j17]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): 648-664 (2006) - 2005
- [j16]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): 248-260 (2005) - 2004
- [j15]SeDo Sohn, PoongHyun Seong:
Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy. J. Syst. Softw. 73: 351-360 (2004) - [j14]Jun Su Ha
A method for risk-informed safety significance categorization using the analytic hierarchy process and bayesian belief networks. Reliab. Eng. Syst. Saf. 83(1): 1-15 (2004) - [j13]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): 123 (2004) - [j12]Yeonsub Jung, PoongHyun Seong, ManCheol Kim:
A model for computerized procedures based on flowcharts and success logic trees. Reliab. Eng. Syst. Saf. 83(3): 351-362 (2004) - [c4]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: 283-284 - [c3]Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong:
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. HASE 2004: 285-286 - [c2]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: 206-211 - [c1]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: 607-612 - 2003
- [j11]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): 213-224 (2003) - [j10]Han Seong Son, Poong Hyun Seong:
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. 80(1): 19-32 (2003) - [j9]Jong Hyun Kim, Poong Hyun Seong:
A quantitative approach to modeling the information flow of diagnosis tasks in nuclear power plants. Reliab. Eng. Syst. Saf. 80(1): 81-94 (2003) - [j8]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): 11-20 (2003) - 2002
- [j7]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): 791-811 (2002) - [j6]Chang Sik Yoo, Poong-Hyun Seong:
Experimental analysis of specification language diversity impact on NPP software diversity. J. Syst. Softw. 62(2): 111-122 (2002) - [j5]Man Cheol Kim, Poong Hyun Seong:
Reliability graph with general gates: an intuitive and practical method for system reliability analysis. Reliab. Eng. Syst. Saf. 78(3): 239-246 (2002) - 2001
- [j4]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): 45-55 (2001) - [j3]Hyun Gook Kang
Information theoretic approach to man-machine interface complexity evaluation. IEEE Trans. Syst. Man Cybern. Part A 31(3): 163-171 (2001)
1990 – 1999
- 1996
- [j2]Gee-Yong Park, Poong Hyun Seong:
Towards increasing the learning speed of gradient descent method in fuzzy system. Fuzzy Sets Syst. 77(3): 299-313 (1996) - [j1]DaeSik Kim, Poong Hyun Seong:
Automatic fault diagnosis method for resistive network using multiple excitations. Int. J. Circuit Theory Appl. 24(4): 467-477 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: