Junbeom Yoo

According to our database1, Junbeom Yoo
  • authored at least 34 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of five.



In proceedings 
PhD thesis 


On csauthors.net:


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

Formal verification of ECML hybrid models with spaceex.
Information & Software Technology, 2017

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

A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.
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.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC.
Rel. Eng. & Sys. Safety, 2013

A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

SQAF-DS: A Software Quality Assessment Framework for Dependable Systems.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

A safety-focused verification using software fault trees.
Future Generation Comp. Syst., 2012

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Testing of Safety-Critical Software Embedded in an Artificial Heart.
Proceedings of the Advances in Systems Safety, 2011

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Design and Implementation of a Remote Control for IPTV with Sensors.
Proceedings of the Future Generation Information Technology, 2011

Systematic Verification of Operational Flight Program through Reverse Engineering.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.
Proceedings of the Control and Automation, and Energy System Engineering, 2011

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
Journal of Research and Practice in Information Technology, 2010

VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.
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.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

Formal Modeling and Verification of Safety-Critical Software.
IEEE Software, 2009

A data flow-based structural testing technique for FBD programs.
Information & Software Technology, 2009

Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

A Verification Framework for FBD Based Software in Nuclear Power Plants.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Testing of Timer Function Blocks in FBD.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

Synthesis of FBD-based PLC design from NuSCR formal specification.
Rel. Eng. & Sys. Safety, 2005

Software safety analysis of function block diagrams using fault trees.
Rel. Eng. & Sys. Safety, 2005

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification.
Rel. Eng. & Sys. Safety, 2005

A formal software requirements specification method for digital nuclear plant protection systems.
Journal of Systems and Software, 2005

Control and Data Flow Testing on Function Block Diagrams.
Proceedings of the Computer Safety, 2005

NuEditor - A Tool Suite for Specification and Verification of NuSCR.
Proceedings of the Software Engineering Research, 2004

PLC-Based Safety Critical Software Development for Nuclear Power Plants.
Proceedings of the Computer Safety, 2004

An integrated environment of S/W specification and V&V for safety-critical systems.
Proceedings of the IASTED International Conference on Software Engineering, 2004

Systematic evaluation of fault trees using real-time model checker UPPAAL.
Rel. Eng. & Sys. Safety, 2003