Concepedia
Statistics
Publications
16
Citations
432
H-Index
14
Active since
2003
Affiliations
Konkuk University(Current)
Korea Atomic Energy Research Institute
Korea Advanced Institute of Science and Technology
Korea University
Konkuk University Medical Center
Junbeom Yoo is an author at Konkuk University specializing in computer science, engineering, and formal methods.
Publications per year
2003–2020
Formal Modeling and Verification of Safety-Critical Software
Junbeom Yoo, Eunkyoung Jee, Sungdeok Cha · IEEE Software · 2009 · 55 citations
Engineering, Nuclear Engineering, Systems Engineering +14
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo, Tai-Hyo Kim, Sungdeok Cha et al. · Journal of Systems and Software · 2003 · 46 citations
A data flow-based structural testing technique for FBD programs
Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha et al. · Information and Software Technology · 2009 · 42 citations
Engineering, Computer Engineering, Computer Science +10
Software safety analysis of function block diagrams using fault trees
Younju Oh, Junbeom Yoo, Sungdeok Cha et al. · Reliability Engineering & System Safety · 2004 · 41 citations
Engineering, Computer Engineering, Computer Science +16
A Verification Framework for FBD Based Software in Nuclear Power Plants
Junbeom Yoo, Sungdeok Cha, Eunkyung Jee · 2008 · 39 citations
Computing, Computer Science, Nuclear Engineering +16
1–5 of 16