Junbeom Yoo

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 9

Top Topics

Practical Application

Software Development

Safety Analysis

Requirements Engineering

Top Venues

IEICE Trans. Inf. Syst.

Reliab. Eng. Syst. Saf.

Inf. Softw. Technol.

Publications

Sejin Jung, Junbeom Yoo, Sam Malek
A systematic co-engineering of safety and security analysis in requirements engineering process. Int. J. Crit. Infrastructure Prot. 43 (2023)
Sejin Jung, Eui-Sub Kim, Junbeom Yoo
Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis. IEICE Trans. Inf. Syst. (5) (2022)
Sejin Jung, Junbeom Yoo
An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty. APSEC (2022)
Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo
An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis. IEICE Trans. Inf. Syst. (1) (2021)
Sejin Jung, Junbeom Yoo, Young-Jun Lee
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems. Reliab. Eng. Syst. Saf. 203 (2020)
Sejin Jung, Junbeom Yoo, Young-Jun Lee
A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software. Reliab. Eng. Syst. Saf. 202 (2020)
Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs. J. Comput. Sci. Eng. 11 (1) (2017)
Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim, Junbeom Yoo
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS. IEICE Trans. Inf. Syst. (10) (2017)
Sanghyun Yoon, Junbeom Yoo
Formal verification of ECML hybrid models with spaceex. Inf. Softw. Technol. 92 (2017)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. APSEC (1) (2014)
Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee
NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants. ISIC (2014)
Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. ISSRE Workshops (2014)
Junbeom Yoo, Sanghyun Yoon
SQAF-DS: A Software Quality Assessment Framework for Dependable Systems. COMPSAC (2013)
Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee
A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System. MIM (2013)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC. Reliab. Eng. Syst. Saf. 120 (2013)
Sung Deok Cha, Junbeom Yoo
A safety-focused verification using software fault trees. Future Gener. Comput. Syst. 28 (8) (2012)
Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim
Systematic Verification of Operational Flight Program through Reverse Engineering. FGIT-ASEA/DRBC/EL (2011)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. SAFECOMP (2011)
Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. SSIRI (Companion) (2011)
Jae Ha Song, Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo, Jae Seung Kim, Robert Young Chul Kim, Jung Hun Oh
Design and Implementation of a Remote Control for IPTV with Sensors. FGIT (2011)
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. SEKE (2011)
Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim
Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. FGIT-CA/CES3 (2011)
Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim
Testing of Safety-Critical Software Embedded in an Artificial Heart. SSS (2011)
Nayoung Hong, Junbeom Yoo, Sung Deok Cha
Customization of Scrum Methodology for Outsourced E-Commerce Projects. APSEC (2010)
Sehun Jeong, Junbeom Yoo, Sung Deok Cha
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. ISORC (2010)
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-Wook Jin, Junbeom Yoo
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems. SEUS (2009)
Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha
Formal Modeling and Verification of Safety-Critical Software. IEEE Softw. 26 (3) (2009)
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae
A data flow-based structural testing technique for FBD programs. Inf. Softw. Technol. 51 (7) (2009)
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC (2008)
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon
Testing of Timer Function Blocks in FBD. APSEC (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)
Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son
A formal software requirements specification method for digital nuclear plant protection systems. J. Syst. Softw. 74 (1) (2005)
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
Control and Data Flow Testing on Function Block Diagrams. SAFECOMP (2005)
Junbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song
Synthesis of FBD-based PLC design from NuSCR formal specification. Reliab. Eng. Syst. Saf. 87 (2) (2005)
Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son
Software safety analysis of function block diagrams using fault trees. Reliab. Eng. Syst. Saf. 88 (3) (2005)
Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee
PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP (2004)
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA (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)
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)