Junbeom Yoo

According to our database, Junbeom Yoo authored at least 40 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A systematic co-engineering of safety and security analysis in requirements engineering process.

Sejin Jung, Junbeom Yoo, Sam Malek

Int. J. Crit. Infrastructure Prot., December, 2023

2022

Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis.

Sejin Jung, Eui-Sub Kim, Junbeom Yoo

IEICE Trans. Inf. Syst., 2022

An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty.

Sejin Jung, Junbeom Yoo

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis.

Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo

IEICE Trans. Inf. Syst., 2021

2020

A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems.

Sejin Jung, Junbeom Yoo, Young-Jun Lee

Reliab. Eng. Syst. Saf., 2020

A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software.

Sejin Jung, Junbeom Yoo, Young-Jun Lee

Reliab. Eng. Syst. Saf., 2020

2017

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.

Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee

J. Comput. Sci. Eng., 2017

Formal verification of ECML hybrid models with spaceex.

Sanghyun Yoon, Junbeom Yoo

Inf. Softw. Technol., 2017

Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS.

Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim, Junbeom Yoo

IEICE Trans. Inf. Syst., 2017

2014

A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.

Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants.

Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee

Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Reliab. Eng. Syst. Saf., 2013

A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.

Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

SQAF-DS: A Software Quality Assessment Framework for Dependable Systems.

Junbeom Yoo, Sanghyun Yoon

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

A safety-focused verification using software fault trees.

Sung Deok Cha, Junbeom Yoo

Future Gener. Comput. Syst., 2012

2011

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems.

Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.

Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Testing of Safety-Critical Software Embedded in an Artificial Heart.

Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim

Proceedings of the Advances in Systems Safety, 2011

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Proceedings of the Computer Safety, Reliability, and Security, 2011

Design and Implementation of a Remote Control for IPTV with Sensors.

Jae Ha Song, Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo, Jae Seung Kim, Robert Young Chul Kim, Jung Hun Oh

Proceedings of the Future Generation Information Technology, 2011

Systematic Verification of Operational Flight Program through Reverse Engineering.

Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.

Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Wontae Kim

Proceedings of the Control and Automation, and Energy System Engineering, 2011

2010

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

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.

Sehun Jeong, Junbeom Yoo, Sung Deok Cha

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Customization of Scrum Methodology for Outsourced E-Commerce Projects.

Nayoung Hong, Junbeom Yoo, Sung Deok Cha

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Formal Modeling and Verification of Safety-Critical Software.

Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha

IEEE Softw., 2009

A data flow-based structural testing technique for FBD programs.

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae

Inf. Softw. Technol., 2009

Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.

Hyun-Wook Jin, Junbeom Yoo

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

2008

A Verification Framework for FBD Based Software in Nuclear Power Plants.

Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2006

Testing of Timer Function Blocks in FBD.

Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

Synthesis of FBD-based PLC design from NuSCR formal specification.

Junbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song

Reliab. Eng. Syst. Saf., 2005

Software safety analysis of function block diagrams using fault trees.

Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son

Reliab. Eng. Syst. Saf., 2005

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

A formal software requirements specification method for digital nuclear plant protection systems.

Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son

J. Syst. Softw., 2005

Control and Data Flow Testing on Function Block Diagrams.

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha

Proceedings of the Computer Safety, 2005

2004

NuEditor - A Tool Suite for Specification and Verification of NuSCR.

Jaemyung Cho, Junbeom Yoo, Sung Deok Cha

Proceedings of the Software Engineering Research, 2004

PLC-Based Safety Critical Software Development for Nuclear Power Plants.

Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee

Proceedings of the Computer Safety, 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

Proceedings of the IASTED International Conference on Software Engineering, 2004

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