Junbeom Yoo

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