Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Junbeom Yoo · SciRah

Researcher profile · Semantic Scholar

Junbeom Yoo

Share profile

Junbeom Yoo — researcher profile on SciRah

h-index: 15
Works: 80
Citations: 750

Most-cited papers

A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo, T. Kim, S. Cha, Jang-Soo Lee +1 more
2005Journal of Systems and Software64 citations
Semantic Scholar
Formal Modeling and Verification of Safety-Critical Software
Junbeom Yoo, Eunkyoung Jee, S. Cha
2009IEEE Software56 citations
Semantic Scholar
A data flow-based structural testing technique for FBD programs
Eunkyoung Jee, Junbeom Yoo, S. Cha, Doo-Hwan Bae
2009Information and Software Technology50 citations
Semantic Scholar
Software safety analysis of function block diagrams using fault trees
Younju Oh, Junbeom Yoo, S. Cha, H. Son
2005Reliability Engineering & System Safety50 citations
Semantic Scholar
A Verification Framework for FBD Based Software in Nuclear Power Plants
Junbeom Yoo, S. Cha, Eunkyung Jee
2008Asia-Pacific Software Engineering Conference45 citations
Semantic Scholar
VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS
Junbeom Yoo, S. Cha, Eunkyoung Jee
200937 citations
Semantic Scholar
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems
Sejin Jung, Junbeom Yoo, Young-Jun Lee
2020Reliability Engineering & System Safety32 citations
Semantic Scholar
Synthesis of FBD-based PLC design from NuSCR formal specification
Junbeom Yoo, S. Cha, C. Kim, D. Song
2005Reliability Engineering & System Safety23 citations
Semantic Scholar
Customization of Scrum Methodology for Outsourced E-Commerce Projects
Nayoung Hong, Junbeom Yoo, Sung-Sig Cha
2010Asia-Pacific Software Engineering Conference22 citations
Semantic Scholar
A RESEARCH ON SEAMLESS PLATFORM CHANGE OF REACTOR PROTECTION SYSTEM FROM PLC TO FPGA
Junbeom Yoo, Jong-Hoon Lee, Jang-Soo Lee
201319 citations Open access
Semantic Scholar
NuEditor - A Tool Suite for Specification and Verification of NuSCR
Jaemyung Cho, Junbeom Yoo, S. Cha
2004International Conference on Software Engineering Research and Applications19 citations
Semantic Scholar
A safety-focused verification using software fault trees
S. Cha, Junbeom Yoo
2012Future generations computer systems18 citations
Semantic Scholar
An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants
Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young-Jun Lee +1 more
201617 citations Open access
Semantic Scholar
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 +2 more
2017Journal of Computing Science and Engineering16 citations Open access
Semantic Scholar
Systematic evaluation of fault trees using real-time model checker UPPAAL
S. Cha, H. Son, Junbeom Yoo, Eunkyoung Jee +1 more
2003Reliability Engineering & System Safety16 citations Open access
Semantic Scholar
Control and Data Flow Testing on Function Block Diagrams
Eunkyoung Jee, Junbeom Yoo, S. Cha
2005International Conference on Computer Safety, Reliability, and Security15 citations
Semantic Scholar
A BEHAVIOR-PRESERVING TRANSLATION FROM FBD DESIGN TO C IMPLEMENTATION FOR REACTOR PROTECTION SYSTEM SOFTWARE
Junbeom Yoo, Eui-Sub Kim, Jang-Soo Lee
201313 citations Open access
Semantic Scholar
NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICAL SYSTEMS
S. Koo, P. Seong, Junbeom Yoo, S. Cha +2 more
200613 citations
Semantic Scholar
FBDtoVerilog 2.0: An Automatic Translation of FBD into Verilog to Develop FPGA
Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee +1 more
2014International Conference on Information Science and Applications11 citations
Semantic Scholar
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
S. Koo, P. Seong, Junbeom Yoo, S. Cha +1 more
2005Reliability Engineering & System Safety11 citations
Semantic Scholar
PLC-Based Safety Critical Software Development for Nuclear Power Plants
Junbeom Yoo, S. Cha, H. Son, C. Kim +1 more
2004International Conference on Computer Safety, Reliability, and Security10 citations
Semantic Scholar
NuDE : Development Environment for Safety-Critical Software of Nuclear Power Plant
Jong-Hoon Lee, Junbeom Yoo
20129 citations
Semantic Scholar
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
2013Reliability Engineering & System Safety8 citations
Semantic Scholar
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis
S. Jeong, Junbeom Yoo, S. Cha
2010IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing8 citations
Semantic Scholar
A Synthesis Method of Software Fault Tree from NuSCR Formal Specification using Templates
Taeho Kim, Junbeom Yoo, S. Cha
20058 citations
Semantic Scholar
An evaluation and acceptance of COTS software for FPGA-based controllers in NPPS☆
Sejin Jung, Eui-Sub Kim, Junbeom Yoo, Jang-Yeol Kim +1 more
20167 citations
Semantic Scholar
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs
Junbeom Yoo, Jong-Hoon Lee, S. Jeong, S. Cha
2011International Conference on Software Engineering and Knowledge Engineering7 citations
Semantic Scholar
A Study on Target Model Generation for Smartphone Applications using Model Transformation Technique
W. Kim, H. Son, Junbeom Yoo, R. Kim +1 more
20107 citations
Semantic Scholar
Testing of Timer Function Blocks in FBD
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, S. Cha +3 more
2006Asia-Pacific Software Engineering Conference7 citations
Semantic Scholar
Direct Control Flow Testing on Function Block Diagrams
Junbeom Yoo, Su-Hyun Park, Hojung Bang, T. Kim +1 more
20047 citations
Semantic Scholar
A PLC platform-independent structural analysis on FBD programs for digital reactor protection systems
Sejin Jung, Junbeom Yoo, Young-Jun Lee
20176 citations
Semantic Scholar
An Integrated Software Development Framework for PLC & FPGA based Digital I&Cs
Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, J. Choi
20146 citations
Semantic Scholar
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, J. Choi +2 more
2014International Symposium on Intelligent Control6 citations
Semantic Scholar
Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter
Dong-Ah Lee, S. Sung, Junbeom Yoo, Doo-Hyun Kim
20126 citations
Semantic Scholar
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
2011International Conference on Computer Safety, Reliability, and Security6 citations
Semantic Scholar
A Correctness Verification Technique for Commercial FPGA Synthesis Tools
Eui-Sub Kim, Junbeom Yoo, J. Choi, Jang-Yeol Kim +1 more
20145 citations
Semantic Scholar
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
2013IFAC Conference on Manufacturing Modelling, Management, and Control5 citations Open access
Semantic Scholar
Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech
Han Choi, S. Cha, Jaeyeon Jo, Junbeom Yoo +2 more
2011FGIT-CA/CES35 citations
Semantic Scholar
A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software
Sejin Jung, Junbeom Yoo, Young-Jun Lee
2020Reliability Engineering & System Safety4 citations
Semantic Scholar
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study
Eui-Sub Kim, Junbeom Yoo, J. Choi, Young-Jun Lee +1 more
20142014 IEEE International Symposium on Software Reliability Engineering Workshops4 citations
Semantic Scholar
Formal verification of basic DEV&DESS formalism using hytech
Han Choi, S. Cha, Jaeyeon Jo, Junbeom Yoo +2 more
20134 citations
Semantic Scholar
Technical Note Case Study : Verification of ECML Model Using SpaceEx
Jaeyeon Jo, Sang-Hyeon Yoon, Junbeom Yoo, H. Lee +1 more
20124 citations
Semantic Scholar
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems
Sang-Hyeon Yoon, Jaeyeon Jo, Junbeom Yoo
20112011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion4 citations
Semantic Scholar
NuFTA : A CASE Tool for Automatic Software Fault Tree Analysis
S. Yun, Dong-Ah Lee, Junbeom Yoo
20104 citations
Semantic Scholar
Formal Modeling and Verification of Safety-Critical Software emb ed de d soft war e
Junbeom Yoo, Eunkyoung Jee, S. Cha
20094 citations
Semantic Scholar
Automatic generation of goal-tree from statecharts requirements specification
Junbeom Yoo, S. Cha, H. Son
20034 citations
Semantic Scholar
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS
Sang-Hyeon Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim +1 more
2017IEICE Trans. Inf. Syst.3 citations Open access
Semantic Scholar
MC / DC and Toggle Coverage Measurement Tool for FBD Program Simulation
Eui-Sub Kim, Sejin Jung, Jaeyeob Kim, Junbeom Yoo
20163 citations
Semantic Scholar
Verification Techniques for COTS Dedication of Commercial FPGA Tools
Junbeom Yoo, Eui-Sub Kim, Sejin Jung
20153 citations
Semantic Scholar
Translation from ECML to Linear Hybrid Automata
Jaeyeon Jo, Junbeom Yoo, Han Choi, S. Cha +2 more
20123 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

S. Cha×24
Invite
S. Cha — researcher profile on SciRah
Jang-Soo Lee×12
Invite
Jang-Soo Lee — researcher profile on SciRah
Eui-Sub Kim×12
Invite
Eui-Sub Kim — researcher profile on SciRah
Dong-Ah Lee×9
Invite
Dong-Ah Lee — researcher profile on SciRah

×8

Invite

J. Choi — researcher profile on SciRah

Eunkyoung Jee×7

Invite

Eunkyoung Jee — researcher profile on SciRah

Invite

Sejin Jung — researcher profile on SciRah

Young-Jun Lee×6

Invite

Young-Jun Lee — researcher profile on SciRah

Invite

H. Son — researcher profile on SciRah

Invite

Jaeyeon Jo — researcher profile on SciRah

Jong-Hoon Lee×4

Invite

Jong-Hoon Lee — researcher profile on SciRah

Invite

H. Lee — researcher profile on SciRah