Junbeom Yoo

Sung Deok Cha, Junbeom Yoo: A safety-focused verification using software fault trees. Future Generation Comp. Syst. 28(8): 1272-1282 (2012)

Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim: Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. FGIT-CA/CES3 2011: 112-121

Jae Ha Song, Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo, Jae Seung Kim, Robert Young Chul Kim, Jung Hun Oh: Design and Implementation of a Remote Control for IPTV with Sensors. FGIT 2011: 223-228

Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim: Systematic Verification of Operational Flight Program through Reverse Engineering. FGIT-ASEA/DRBC/EL 2011: 285-291

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee: Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. SAFECOMP 2011: 397-408

Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim: Testing of Safety-Critical Software Embedded in an Artificial Heart. SSS 2011: 143-153

Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha: FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. SEKE 2011: 48-51

Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo: A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. SSIRI (Companion) 2011: 68-75

Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong: FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. Journal of Research and Practice in Information Technology 42(3): 171-188 (2010)

Nayoung Hong, Junbeom Yoo, Sung Deok Cha: Customization of Scrum Methodology for Outsourced E-Commerce Projects. APSEC 2010: 310-315

Sehun Jeong, Junbeom Yoo, Sung Deok Cha: VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. ISORC 2010: 250-254

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae: A data flow-based structural testing technique for FBD programs. Information & Software Technology 51(7): 1131-1139 (2009)

Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha: Formal Modeling and Verification of Safety-Critical Software. IEEE Software 26(3): 42-49 (2009)

Hyun-Wook Jin, Junbeom Yoo: Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems. SEUS 2009: 240-251

Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee: A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392

Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon: Testing of Timer Function Blocks in FBD. APSEC 2006: 243-250

Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son: A formal software requirements specification method for digital nuclear plant protection systems. Journal of Systems and Software 74(1): 73-83 (2005)

Junbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song: Synthesis of FBD-based PLC design from NuSCR formal specification. Rel. Eng. & Sys. Safety 87(2): 287-294 (2005)

Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son: Software safety analysis of function block diagrams using fault trees. Rel. Eng. & Sys. Safety 88(3): 215-228 (2005)

Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Yeong Jae Yoo: 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 89(3): 248-260 (2005)

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80

Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han: An integrated environment of S/W specification and V&V for safety-critical systems. IASTED Conf. on Software Engineering 2004: 607-612

Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee: PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP 2004: 155-165

Jaemyung Cho, Junbeom Yoo, Sung Deok Cha: NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA 2004: 19-28