| 2022 | APSEC | An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty. | Sejin Jung, Junbeom Yoo |
| 2014 | APSEC | Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
| 2014 | ISSRE | A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. | Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee |
| 2013 | COMPSAC | SQAF-DS: A Software Quality Assessment Framework for Dependable Systems. | Junbeom Yoo, Sanghyun Yoon |
| 2011 | SEKE | FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. | Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha |
| 2011 | SAFECOMP | Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
| 2010 | APSEC | Customization of Scrum Methodology for Outsourced E-Commerce Projects. | Nayoung Hong, Junbeom Yoo, Sung Deok Cha |
| 2010 | ISORC | VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. | Sehun Jeong, Junbeom Yoo, Sung Deok Cha |
| 2008 | APSEC | A Verification Framework for FBD Based Software in Nuclear Power Plants. | Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee |
| 2006 | APSEC | Testing of Timer Function Blocks in FBD. | Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon |
| 2005 | SAFECOMP | Control and Data Flow Testing on Function Block Diagrams. | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
| 2004 | SAFECOMP | PLC-Based Safety Critical Software Development for Nuclear Power Plants. | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
| 2004 | SERA | NuEditor - A Tool Suite for Specification and Verification of NuSCR. | Jaemyung Cho, Junbeom Yoo, Sung Deok Cha |