Publications

Publications
　

International Journal
- Sejin Jung, Junbeom Yoo, and Sam Malek, "A Systematic Co-Engineering of Safety and Security Analysis in Requirements Engineering Process," International Journal of Critical Infrastructure Protection, Vol.43, 100642, Dec, 2023 (paper).
- Sejin Jung, Eui-Sub Kim, and Junbeom Yoo, "Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis," IEICE Transactions on Information and Systems, Vol.E105-D, No.5, May. 2022. (paper)
- Sejin Jung, Yoona Heo, and Junbeom Yoo, "A Formal Approach to Support the Identification of Unsafe Control Actions of STPA for Nuclear Projection Systems," Nuclear Engineering and Technology, Vol.54, No.5, pp.1635-1643, May. 2022. (paper)
- Dong-Ah Lee, Eui-Sub Kim, and Junbeom Yoo, "An Empirical Evaluation of Coverage Criteria for FBD Simulation using Mutation Analysis," IEICE Transactions on Information and Systems, Vol.E104-D, No.01, pp.209-211, Jan. 2021. (paper)
- Dong-Ah Lee, Eui-Sub Kim, and Junbeom Yoo, "Quantitative Measures of the Thoroughness of FBD Simulations for PLC-based Digital I&C System," Nuclear Engineering and Technology, Vol.53, No.1, pp.131-141, Jan. 2021. (paper)
- Sejin Jung, Junbeom Yoo, Young-Jun Lee, "A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems," Reliability Engineering & System Safety, Vol.203, 2020. (paper)
- Sejin Jung, Junbeom Yoo, Young-Jun Lee "A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software," Reliability Engineering & System Safety, Vol. 202, 2020. (paper)
- Sanghyun Yoon and Junbeom Yoo, "Formal Verification of ECML Hybrid Models with SpaceEx," Information and Software Technology, Vol.92, pp.121-144, 2017. (paper)
- Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim and Junbeom Yoo, "Timed Model-based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 compliance RTOS," IEICE Transactions on Information and Systems, Vol.E100-D, No.10, pp.2644-2647, 2017. (paper)
- Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee "NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs," Journal of Computing Science and Engineering, Vol.11, No.1, pp.9-23, 2017. (paper)
- Sejin Jung, Junbeom Yoo, Young-Jun Lee, "A PLC Platform-Independent Structural Analysis on FBD Programs for Digital Reactor Protection Systems," Annals of Nuclear Energy, Vol.103, pp.454-469, 2017. (paper)
- Sejin Jung, Eui-Sub Kim, Junbeom Yoo, Jang-Yeol Kim and Jong Gyun Choi, "An Evaluation and Acceptance of COTS Software for FPGA-based Controllers in NPPS," Annals of Nuclear Energy, Vol.94, pp.338-349, 2016. (paper)
- Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young Jun Lee and Jong-Gyun Choi, "An Integrated Software Testing Framework for FPGA-based Controllers in Nuclear Power Plants," Nuclear Engineering and Technology, Vol.48, No.2, pp.470-481, 2016. (paper).
- Dong-Ah Lee, Junbeom Yoo and Jang-Soo Lee, "A Systematic Verification of Behavioral Consistency between FBD Design and ANSI-C Implementation Using HW-CBMC," Reliability Engineering and System Safety, Vol.120, No.12, pp.139-149, 2013 (paper)
- Junbeom Yoo, Eui-Sub Kim and Jang-Soo Lee, "A Behavior-Preserving Translation from FBD Design to C Implementation for Reactor Protection System Software," Nuclear Engineering and Technology, Vol.45, No.4, pp.489-504, 2013. (paper)
- Junbeom Yoo, Jong-Hoon Lee and Jang-Soo Lee, "A Research on Seamless Platform Change of Reactor Protection System from PLC to FPGA," Nuclear Engineering and Technology, Vol.45, No.4, pp.477-488, 2013. (paper)
- Han Choi, Sungdeok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee and Won-Tae Kim, "Formal Verification of Basic DEV&DESS Formalism Using HyTech," Information Journal, Vol.16, No.1(B), pp.821-826, 2013. (paper)
- Dong-Ah Lee, Sangkyung Sung, Junbeom Yoo and Doo-Hyun Kim, "Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter," Journal of Aerospace Engineering, Vol.25, No.4, pp.530-540, 2012. (paper)
- Sungdeok Cha and Junbeom Yoo, "A Safety-focused Verification using Software Fault Trees," Future Generation Computer Systems, Vol.28, No.8, pp.1272-1282, 2012. (paper)
- Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo and Robert Young Chul Kim, "HCML: An MOF-based Hardware Component Modeling Language for Profiling Heterogeneous Embedded System," Information Journal, Vol.15, No.5, pp.2067-2078, 2012. (paper)
- Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, Kwangyong Koh, Junbeom Yoo, Geeyong Park and Poonghyun Seong, "FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram," Journal of Research and Practice in Information Technology, Vol.42, No.3, pp.255-272, August, 2010. (paper)
- Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha and Doohwan Bae, "A Data Flow-based Structural Testing Technique for FBD Programs," Information & Software Technology, Vol.51, No.7, July, pp.1131-1139, 2009. (paper)
- Junbeom Yoo, Eunkyoung Jee and Sungdeok (Steve) Cha, "Formal Modeling and Verification of Safety-Critical Software," IEEE Software, Vol.26, No.3, pp.42-49, May/June 2009. (paper, ppt)
- Junbeom Yoo, Sungdeok Cha and Eunkyoung Jee, "Verification of PLC programs written in FBD with VIS," Nuclear Engineering and Technology, Vol.41, No.1, Feb. pp.79-90, 2009. (paper)
International Conference
- Yoona Heo, "An Approach for Safety Testing of Cooperative Cyber-Physical Systems Using STPA and Quality Attribute Scenarios," The 30th Asia-Pacific Software Engineering Conference (APSEC 2023), SRC - Student Research Competition, Dec. 4-7, Seoul Korea, 2023. (paper, poster, 2nd prize)
- Sejin Jung and Junbeom Yoo, "An approach for hazard analysis of multiple-cooperative systems considering dynamic configuration uncertainty," The 29th Asia-Pacific Software Engineering Conference (APSEC 2022), pp. 279-288, Dec. 6-9, Virtual, 2022. (paper, ppt)
- Eui-Sub Kim and Junbeom Yoo, "FBDScenaGen+: GA-based High-Quality Scenario Generator for FBD Simulation," International Symposium on Future I&C for Nuclear Power Plants (ISOFIC/ISSNP 2017), Nov. 26-30, Gyeongju, Korea, 2017 (paper, ppt)
- Eui-Sub Kim and Junbeom Yoo, "A New Equivalence Checker for Demonstrating Correctness of Synthesis and Generation of Safety-Critical Software," The 11th IEMEK Symposium on Embedded Technology (ISET 2016), pp.89-90, May 26-27, Deajeon, Korea, 2016. (paper, ppt)
- Junbeom Yoo, Eui-Sub Kim and Sejin Jung, "Verification Techniques for COTS Dedication of Commercial FPGA Tools," The 10th International Symposium on Embedded Technology (ISET 2015), pp.150-151, June 04-06, Daegu, Korea, 2015. (paper, ppt)
- Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young Jun Lee and Jang-Soo Lee, "NuDE 2.0: A Model-based Software Development Environment for the PLC & FPGA based Digital Systems in Nuclear Power Plants," International Symposium on Integrated Circuit (ISIC 2014), pp.00-00, Dec. 10-12, Singapore, 2014. (paper, ppt)
- Dong-Ah Lee, Junbeom Yoo and Jang-Soo Lee, "Guidelines for the Use of the Function Block Diagram in Reactor Protection Systems," The 21th Asia-Pacific Software Engineering Conference (APSEC 2014), pp.142-149, Dec. 1-4, Jeju, Republic of Korea, 2014. (paper, ppt)
- Eui-Sub Kim, Junbeom Yoo, Jong Gyun Choi, Young Jun Lee and Jang-Soo Lee, "A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study," The 2nd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), co-located with ISSRE 2014, pp.210-215, Nov. 3-6, Naples, Italy, 2014. (paper, ppt)
- Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee and Jong-Gyun Choi, "An Integrated Software Development Framework for PLC & FPGA based Digital I&Cs," International Symposium on Future I&C for Nuclear Power Plants (ISOFIC/ISSNP 2014), Aug. 25-28, Jeju, Republic of Korea, 2014. (paper, ppt)
- Jang-Soo Lee and Junbeom Yoo, "Comparison of Hazard Analysis Requirements for Instrumentation and Control System of Nuclear Power Plants," International Symposium on Future I&C for Nuclear Power Plants (ISOFIC/ISSNP 2014), Aug. 25-28, Jeju, Republic of Korea, 2014. (paper, ppt)
- Dong-Ah Lee, Eui-sub Kim, Junbeom Yoo, Jang-Soo Lee, and Jong Gyun Choi, "FBDtoVerilog 2.0: An automatic translation of FBD into Verilog to develop FPGA," International Conference on Information Science & Applications 2014 (ICISA2014), pp.447–450, May 6th–9th, Seoul, Republic of Korea, 2014. (paper, ppt)
- Eui-Sub Kim, Dong-Ah Lee and Junbeom Yoo, "RT-Selection : A Regression Test Selection Technique Using Textual Differencing and Change Impact Analysis," 2013 International Workshop on ICT, pp.1-4, Dec. 12-14, Beppu, Japan, 2013. (paper, ppt)
- Junbeom Yoo and Sanghyun, "YooSQAF-DS: A Software Quality Assessment Framework for Dependable Systems," The 37th Annual International Computer Software & Applications Conference (COMPSAC 2013), pp.724-725, July 22-26, Kyoto, Japan, 2013. (paper, ppt)
- Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo and Jang-Soo Lee, "A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System," Cybersecurity in Control and Safety Systems - Invited Session, 2013 IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013), pp.2193-2198, June 19-21, Saint Petersburg, Russia, 2013. (paper, ppt)
- Dong-Ah Lee, Jang-Soo Lee, Se-Woo Cheon, and Junbeom Yoo, "Application of System-Theoretic Process Analysis to Engineered Safety Features-Component Control System," Second STAMP Conference, MIT, March 26-28, 2013 (ppt)
- Dong-Ah Lee, Jang-Soo Lee, Se-Woo Cheon, and Junbeom Yoo, "Application of System-Theoretic Process Analysis to Engineered Safety Features-Component Control System," Enlarged Halden Programme Group (EHPG) Meeting, C5-7, Storefjell Resort Hotel, Mar. 10-15, Norway, 2013. (paper, ppt)
- Sun Hwi Lee, Sanghyun Yoon and Junbeom Yoo, "SW-STPA: A Software Hazard Analysis Technique based on STPA," Korea-Japan Joint Workshop on ICT, pp.9-12, Sep. 20-22, Pohang, Korea, 2012. (paper, ppt)
- Jaeyeon Jo, Sanghyun Yoon, Junbeom Yoo, Hae Young Lee and Won-Tae Kim, "Case Study : Verification of ECML Model Using SpaceEx," Korea-Japan Joint Workshop on ICT, pp.1-4, Sep. 20-22, Pohang, Korea, 2012. (paper, ppt)
- Jae Yeon Jo, Junbeom Yoo, Han Choi, Sungdeok Cha, Hae Young Lee, and Won-Tae Kim, "Translation from ECML to Linear Hybrid Automata," International Workshop on Technologies and Applications for Cyber Physical System (TACPS 2012 / EMC-12), LNEE 181, pp.293-300, Sep. 06-08, Gwangju, Korea, 2012. (paper, ppt)
- Jae Ha Song, Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo, Jae Seung Kim, Robert Young Chul Kim and Jun Hun Oh, "Design and Implementation of a Remote Control for IPTV with Sensors," The 3rd International Mega-Conference on Future Generation Information Technology (FGIT 2011), LNCS 7105, pp.223-228, Dec. 08-10, Jeju, Korea, 2011. (paper)
- Han Choi, Sungdeok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, and Won-Tae Kim, "Formal Verification of DEV&DESS Formalism using Symbolic Model Checker HyTech," In Proceeding of Control and Automation, and Energy System Engineering (CCIS 256), The 3rd International Mega-Conference on Future Generation Information Technology (FGIT 2011); International Conference on Cyber Physical System (CPS 2011), pp.112-121, Dec. 08-10, Jeju, Korea, 2011. (paper, ppt) Best Paper Award
- Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo and Doo-Hyun Kim, "Systematic Verification of Operational Flight Program through Reverse Engineering," In Proceeding of Software Engineering, Business Continuity, ad Education (CCIS 257), The 3rd International Mega-Conference on Future Generation Information Technology (FGIT 2011); International Conference on Advanced Software Engineering and its Application 2011 (ASEA 2011), pp.285-291, Dec. 08-10, Jeju, Korea, 2011. (paper, ppt)
- Woo Yeol Kim, Hyun Seung Son, Junbeom Yoo, Robert Young Chul Kim, "Design of MOF based Hardware Component Modeling Language for Heterogeneous Embedded Systems," International Conference on Computer Convergence Technology (ICCCT 2011), pp.234-249, Oct. 20-22, Seoul, Korea, 2011. (paper)
- Dong-Ah Lee, Junbeom Yoo and Jang-Soo Lee, "Equivalence Checking between Function Block Diagrams and C Programs using HW-CBMC," The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), LNCS 6894, pp.397-408, Sept. 19-21, Naples, Italy, 2011. (paper, ppt)
- Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong and Sungdeok Cha, "FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs," The Twenty-Third International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pp.48-51, July 7-9, Miami Beach, USA, 2011. (paper, ppt)
- Sanghyun Yoon, Jaeyeon Jo and Junbeom Yoo, "A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems," DSDSD (Domain Specific Dependable Softare Development) Workshop (co-located with SSIRI 2011), pp.68-75, June 27-29, Jeju, Korea, 2011. (paper, ppt)
- Sungdeok Cha, Sehun Jeong, Junbeom Yoo and Young-Gab Kim, "Testing of Safety-Critical Software embedded in an Artificial Heart," THE SAFETY-CRITICAL SYSTEMS CLUB (SCSC), 19th annual: Safety-critical Systems Symposium (SSS 2011), pp.143-153, Feb. 8-10, De Vere Grand Harbour Hotel, Southampton, UK, 2011. (paper)
- Wooyeol Kim, Hyunseung Son, Junbeom Yoo, Young Park and Robert Youngchul Kim, "A Study on Target Model Generation for Smartphone Applications using Model Transformation Technique," ICONI & APIC-IST 2010, pp.557-558, Dec. 16-20, Crimson Resort, Mac tan Island, Philippines, 2010. (paper)
- Nayoung Hong, Junbeom Yoo and Sungdeok Cha, "Customization of Scrum Methodology for Outsourced E-commerce Projects," The 17th Asia Pacific Software Engineering Conference (APSEC 2010), pp.310-315, Nov. 30 - Dec. 3, Sydney, Australia, 2010. (paper, ppt)
- Dong-Ah Lee, Junbeom Yoo and Doohyun Kim, "Formal Verification of Process Communications in Operational Flight Program for a Small-Scale Unmanned Helicopter," The 6th International Conference on Intelligent Unmanned Systems (ICIUS 2010), pp.91-96, Nov. 3-5, Bali, Indonesia, 2010. (paper, ppt)
- Junbeom Yoo, "A Formal Embedded Software Verification using Software Fault Tree Analysis," The 5th International Symposium on Embedded Technology (ISET 2010), pp.125-126, May 13-14, Daegu, Korea, 2010. (paper+ppt)
- Sehun Jung, Junbeom Yoo and Sungdeok Cha, "VIS Analyzer: A Visual Assistant for VIS Verification and Analysis," The 13th IEEE Computer Society symposium dealing with the rapidly expanding field of object/component/service-oriented real-time distributed computing (ORC) technology (ISORC), pp.250-254, May 5-6, Carmona, Sevilla, Spain, 2010. (paper, ppt)
- Hyun-Wook Jin and Junbeom Yoo, "Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems," Workshop on Software Technologies For Future Embedded and Ubiquitous Systems (SEUS 2009), LNCS 5860, pp.240-251, Newport Beach, USA, Nov. 16-18, 2009. (paper)
- Junbeom Yoo, Sungdeok Cha and Eunkyoung Jee, "A Verification Framework for FBD based Software in Nuclear Power Plants," The 15th Asia Pacific Software Engineering Conference (APSEC 2008), pp.385-392, Beijing, China, Dec. 3-5, 2008. (paper, ppt)

Technical Report
- Sanghyun Yoon, "An ETRI CPS Modeling Language for Hybrid System Simulation," Konkuk University, Dependable Software Lab. TR-DS-2015-01. (pdf)

Patent
- 등록번호,102495939, 등록일,2023.01.31, 출원번호,1020180052759, 출원일,2018.05.08, 사이버-피지컬 시스템 개발을 위한 삼차원 디자인 모델링 장치 및 방법, "유준범, 김민우, 김의섭," 출원인, 건국대학교 산학협력단 (특허증)
- 등록번호,1016017410000, 등록일,2016.03.03, 출원번호,1020150092498, 출원일,2015.06.29, 서로 다른 언어로 작성된 프로그램들의 동일성을 검증하는 검증장치, "이영준, 최종균, 김의섭, 유준범, 이동아," 출원인,한국원자력연구원 (특허증)

Domestic Journal & Magazine
- 백형부, 유준범, 차성덕, "NuSCR 정형 요구사항명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구" 정보과학회논문지, 컴퓨팅의 실제 및 레터, 제15권 제4호, pp.265-269, 4월, 2009. (paper)
- 조재연, 유준범, "하이브리드 시스템 도구" 한국시뮬레이션학회지 12월호, Vol.2, pp.19-25, 2011. (paper)
- 김의섭, 윤상현, 유준범, "안전 필수 시스템을 위한 안전성 분석 기법," 중소기업정보기술융합학회 논문지, 제2권 제1호, pp.11-18, 2012. (paper)
- 이동아, 김의섭, 유준범, "원자력 발전소 I&C 시스템의 안전성 분석을 위한 신기술 적용 사례", 정보과학회지, 제31권, 제5호, p10-17, 2013. (paper)
- 김의섭, 이동아, 유준범, "RT-Selection: 텍스트 차이점과 변경 영향 분석을 이용한 회귀 테스트 선택 기법", 정보과학회논문지 : 소프트웨어 및 응용, 제41권, 제6호, pp.407-416, 2014. (paper)
- 김의섭, 이동아, 유준범, "RT-Selection: 텍스트 차이점과 변경 영향 분석을 이용한 회귀 테스트 선택 기법", 소프트웨어공학센터, 웹진 108호: 인사이드 이슈, 2014. (paper)
- 윤상현, 전인걸, 김원태, 조재연, 유준범, "하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어," 정보과학회논문지 : 시스템 및 이론, 제42권, 제7호, pp.823-833, 2015. (paper)
- 정세진, 김의섭, 유준범, "원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증", 정보과학회지, 제 33권, 제 7호, pp.33-40, 2015. (paper)
- 김재엽, 김의섭, 유준범, 이영준, 최종균, "FBDtoVHDL: FPGA 개발을 위한 FBD에서 VHDL로의 자동 변환", 정보과학회논문지 : 소프트웨어 및 응용 , 제43권, 제5호, pp.569-578, 2016. (paper)
- 정세진, 이동아, 김의섭, 장천현, 유준범, "OOPT: 소프트웨어공학 교육을 위한 객체지향 소프트웨어 개발 방법론,"정보과학회논문지, 제 44권, 제 5호, pp.510-521, 2017. (paper)
- 정세진, 유준범, "OSDEF: 객체지향 소프트웨어 개발 실습을 위한 통합 프레임워크", 정보과학회논문지, Vol.46, No.8, pp.774-786, 2019. (paper)
- 이동아, 유준범, "FMProjector: 표준 인터페이스를 준수하는 운영체제를 위한 정형 검증 프레임워크", 정보과학회논문지, Vol.46, No.8, pp.814-822, 2019. (paper)
- 윤상현, 유준범, "하이브리드 시스템 정형 검증 분야 소개 및 동향," 정보과학회지, 제 37권, 제 4호, pp.49-55, 2019. (paper)
- 정세진, 김의섭, 유준범, "가상물리시스템의 산출물간 통합 관계분석을 위한 추적성 분석", 정보과학회논문지, Vol.48, No.1, pp.107-118, 2021. (paper)
- 허윤아, 정세진,, 유준범, "멀티 인스턴스를 갖는 가상물리시스템의 통합 테스트를 위한 테스트 환경 개발", 정보과학회논문지, Vol.51, No.5, pp.414-425, 2024. (paper)

Domestic Conference
- 백형부, 유준범, 차성덕, "NuSCR 정형 요구사항명세로부터 FBD 프로그램 자동생성을 위한 도구 (NuSCRtoFBD) 개발," 한국정보과학회 제35회 추계학술대회(KIISE 2008 Fall Conference), Vol.35, No.2(A), pp.45-46, 중앙대, 10.24-25, 2008. (우수논문 paper, ppt)
- 정세훈, 유준범, 차성덕, "VIS 정형 검증 자동화를 위한 소프트웨어 VIS Analyzer 개발," 한국정보과학회 제35회 추계학술대회(KIISE 2008 Fall Conference), Vol.35, No.2(B), pp.1-5, 중앙대, 10.24-25, 2008. (paper, ppt)
- 유준범, "원자력발전소 디지털 제어기기를 위한 정형기법 기반의 소프트웨어 개발 방법론," 2008년 대한임베디드공학회 추계학술발표회, pp.449-451, 제주, 11.14-15, 2008. (paper, ppt)
- 박진희, 유준범, 차성덕, "MAPPING TABLE을 이용한 금융 PRODUCT FACTORY 분석 기법," 한국정보과학회 2009 한국컴퓨터종합학술대회, Vol.36, No.1(B), pp.35-39, 제주대, 7.1-3, 2009. (paper)
- 오명진, 권신일, 유준범, 차성덕, "웹 로그를 이용한 실시간 로봇 탐지 알고리즘," 한국정보과학회 2009 한국정보과학회 추계학술발표회, Vol.36, No.2(A), pp.138-139, 이화여대, 11.27-28, 2009. (우수논문 paper)
- Sanghyun Yun, Dong-Ah Lee and Junbeom Yoo, "NuFTA: A CASE Tool for Automatic Software Fault Tree Analysis," Transactions of the Korean Nuclear Society Spring Meeting 2010, pp.855-856, May 27-28, Pyeongchang, Korea, 2010. (paper, ppt)
- 이동아, 윤상현, 이무열, 진현욱, 유준범, "SPIN을 이용한 차량용 MOST Network Service 프로토콜 스택 정형검증," 한국정보과학회 2010 한국컴퓨터종합학술대회, Vol.37, No.1(A), pp.60-61, 제주대, 6.30-7.2, 2010. (우수논문 paper, ppt)
- 홍나영, 유준범, 차성덕, "국내 전자상거래 기업의 외주 개발 프로젝트에 적용한 스크럼 방법론 사례 연구," 한국정보과학회 2010 한국컴퓨터종합학술대회, Vol.37, No.1(A), pp.64-65, 제주대, 6.30-7.2, 2010. (우수논문 paper, ppt)
- 양희문, 유준범, 차성덕, "기술적 분석을 이용한 프로젝트 비용 산정 보정 기법," 한국정보과학회 2010 한국컴퓨터종합학술대회, Vol.37, No.1(A), pp.82-83, 제주대, 6.30-7.2, 2010. (우수논문 paper, ppt)
- 유준범, "학부생을 위한 Dependability 교육 - SW 테스팅," 한국 소프트웨어공학기술 합동 워크샵 2010 (KSEJW 2010), pp.301-306, 서울 누리꿈스퀘어, 08.19-20, 2010. (paper, ppt)
- 이종훈, 이동아, 유준범, "HELISCOPE Project 의 비행 운용 프로그램을 위한 검증 절차," 2011 한국소프트웨어공학학술대회 (KCSE 2011), pp.303-311, 강원도 평창 휘닉스파크, 2011. (paper, ppt)
- 조재연, 윤상현, 유준범, "NuSCR의 검증을 위한 Quick Checker 개선," 2011 한국소프트웨어공학학술대회 (KCSE 2011), pp.393-400, 강원도 평창 휘닉스파크, 2011. (paper, ppt)
- Dong-Ah Lee, Jong-Hoon Lee and Junbeom Yoo, "Verification Process of Behavioral Consistency between Design and Implementation programs of pSET using HW-CBMC," Transactions of the Korean Nuclear Society Spring Meeting 2011, pp.933-934, May 26-27, Taebaek, Korea, 2011. (paper, ppt)
- 윤상현, 조재연, 유준범, "고장 수목을 이용한 테스트 케이스의 안전성 측정," 한국정보과학회 2011 한국컴퓨터종합학술대회, Vol.38, No.1(B), pp.197-199, 경주교육문화회관, 6.30-7.2, 2011. (paper, ppt)
- 이동아, 유준범, "pSET 저장형식의 표준화를 위한 변환도구 개발: pSET2TC6", 한국정보과학회 제38회 추계학술발표회 (KIISE 2011), Vol. 38, No.2(B), pp.105-107, 11.25.-11.26., 서울대학교, 2011. (paper, ppt)
- 이종훈, 이동아, 유준범, 송승화, 김두현, "소프트웨어 역공학을 통한 HeliScope OFP의 테스트 케이스 생성", 2012 한국소프트웨어공학학술대회(KCSE 2012), 강원도 평창 휘닉스파크, 2.8-2.10, 2012. (paper, ppt)
- Jong-Hoon Lee and Junbeom Yoo, "NuDE: Development Environment for Safety-Critical Software of Nuclear Power Plant", Transactions of the Korean Nuclear Society Spring Meeting 2012, pp.1154-1155, May 16-18, Jeju, Korea, 2012. (paper, ppt)
- 윤상현, 조재연, 유준범, "TC2SMV: UML State Chart Diagram에서 생성된 테스트 케이스를 SMV 입력 프로그램으로 변환하는 CASE 도구," 한국정보과학회 2012 한국컴퓨터종합학술대회, Vol.39, No.1(B), pp.126-128, 제주, 6.27-6.29, 2012. (paper, ppt)
- 이동아, 김의섭, 유준범, "고장수목을 이용한 Function Block Diagram의 위험성 분석 기법 연구," 한국정보과학회 제39회 추계발표회 (KIISE 2012), Vol.39, No.2(B), pp.76-78, 충남대학교, 11.23~11.24, 2012. (paper, ppt)
- 김의섭, 이동아, 유준범, "번역기, 코드 생성기 및 컴파일러를 위한 검증기법 조사," 2013 한국소프트웨어공학학술대회 (KCSE 2013), pp.43-51, 강원도 평창 휘닉스파크, 03.30-02.01, 2013. (paper, ppt)
- Jong-Joon Lee, Junbeom Yoo, Jong Gyun Choi and Jang-Soo Lee, "Equivalence Checking between Pre-synthesis and Post-synthesis Programs by Using Vis," Transactions of the Korean Nuclear Society Spring Meeting 2013, 13S-10C-8A, May 30-31, Gwangju, Korea, 2013. (paper, ppt)
- 서영주, 이동아, 유준범, "Fault Tree의 저장을 위한 범용적인 형태의 XML 스키마," 한국정보과학회 2013 한국컴퓨터종합학술대회, pp.592-594, 여수, 6.26-6.28, 2013. (paper, poster) 학부생 우수 논문상
- 이동아, 김의섭, 서영주, 유준범, "FBDEditor: 원자력 계측제어 시스템 개발을 위한 FBD 설계 프로그램," 2014 한국소프트웨어공학학술대회 (KCSE 2014), pp.315-318, 강원도 평창 휘닉스파크, 02.12-02.14, 2014. (paper, ppt)
- 윤상현, 조재연, 전인걸, 유준범, "HyTech를 이용한 ECML 모델의 검증 및 분석," 2014 한국소프트웨어공학학술대회 (KCSE 2014), pp.2-10, 강원도 평창 휘닉스파크, 02.12-02.14, 2014. (paper, ppt)
- 김의섭, 이동아, 유준범, "FBDtoVerilog 변환기의 Correctness를 검증하기 위한 자동화된 시나리오 생성기 구현," 2014년 정보처리학회 춘계학술발표대회 논문집 제21권 1호, pp.599-602, 2014. (paper, ppt)
- 서영주, 이동아, 유준범, "VerilogLinker: FPGA 제어기를 위한 통합개발환경과 상용 FPGA 합성도구의 연동," 2014년 정보처리학회 춘계학술발표대회 논문집 제21권 1호, pp.595-599, 2014. (paper, ppt)
- 김재엽, 이동아, 서영주, 유준범, "NuSCRtoFBD 4.0: NuSCR 정형명세언어로부터 FPGA 개발용 FBD프로그램 자동생성 도구", 2014년 한국컴퓨터종합학술대회 논문집 (KCC 2014), pp.1986-1988, 부경대학교&해운대그랜드호텔, 06.25-06.27, 2014. (paper, ppt)
- Sejin Jung, Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee, "Programming Guidelines for FBD Programs in Reactor Protection System Software", Transactions of the Korean Nuclear Society Autumn Meeting, pp.1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
- Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, "A Translator Verification Technique for FPGA Software Development in Nuclear Power Plants", Transactions of the Korean Nuclear Society Autumn Meeting, pp.1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
- Eui-Sub Kim, Junbeom Yoo, Jong-Gyun Choi, Jang-Yeol Kim and Jang-Soo Lee, "A Correctness Verification Technique for Commercial FPGA Synthesis Tools", Transactions of the Korean Nuclear Society Autumn Meeting, pp.1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
- 정세진, 김의섭, 유준범, 최종균, 김장열, "원자력발전소용 FPGA 기반 디지털 I&C 시스템 개발에 사용된 COTS 소프트웨어의 안전 카테고리 분류", 한국정보과학회 2015 한국컴퓨터종합학술대회, pp.561-563, 제주대, 06.24-06.26, 2015. (우수논문, paper, ppt)
- 김의섭, 정세진, 김재엽, 유준범, 장천현, "Verilog4VIS-EC: VIS의 동치성 검사를 위한 Verilog의 정제된 포맷", 한국정보과학회 2015 한국컴퓨터종합학술대회, pp.573-575, 제주대, 06.24-06.26, 2015. (paper, ppt)
- 김재엽, 김의섭, 유준범, 이영준, 최종균, "FBDtoVHDL: FPGA 개발을 위한 FBD로부터 VHDL 자동 변환 도구", 한국정보과학회 제42회 동계학술발표회 (KIISE 2015), pp 461-463, 강원도 휘닉스파크, 12.17~12.19, 2015. (paper, ppt)
- 정세진, 김의섭, 유준범, 최종균, 김장열, 이장수 "IP Core library 사용이 상용 합성 도구의 COTS SW Dedication에 미치는 영향 분석", 한국정보과학회 제42회 동계학술발표회 (KIISE 2015), pp 499-502, 강원도 휘닉스파크, 12.17~12.19, 2015. (paper, ppt)
- 이동아, 유준범, 이장수, "원자력 계측제어 소프트웨어의 안전성 분석을 위한 Safety Case 의 Arguments 개발 절차", 2016 한국소프트웨어공학학술대회 (KCSE 2016), pp.476~477, 강원도 보광 휘닉스파크, 2016. (우수단편논문, paper, ppt)
- 김재엽, 이동아, 유준범, "소프트웨어 개발 프로세스를 대상으로 수행하는 추적성 분석의 세부 관계 정의", 2016 한국소프트웨어공학학술대회 (KCSE 2016), pp.409~411, 강원도 보광 휘닉스파크, 2016. (paper, ppt)
- 김민우, 이동아, 유준범, 이장수, "NuSTPA : 발전소보호계통을 위한 STPA 기반의 안전성 분석 도구", 2016 정보 및 제어 심포지엄 (ICS’16), pp.64-65, 단국대학교, 04.29~04.30, 2016. (paper, ppt)
- Eui-Sub Kim, Sejin Jung, Jaeyeob Kim and Junbeom Yoo, "MC/DC and Toggle Coverage Measurement Tool for FBD Program Simulation", Transactions of the Korean Nuclear Society Spring Meeting, May 12-13, Jeju, Korea, 2016. (paper, ppt)
- Sejin Jung, Eui-Sub Kim, Junbeom Yoo,Jong Yong Keum and Jang-Soo Lee "Hazard Analysis of Software Requirements Specification for Process Module of FPGA-based Controllers in NPP", Transactions of the Korean Nuclear Society Autumn Meeting, October 27-28, Gyeongju, Korea, 2016. (paper, ppt)
- 손준익, 정세진, 유준범, 이영준 "NuSCPI: 원자력발전소의 디지털 계측제어 소프트웨어를 대상으로 개발된 Safety Case Pattern 작성을 위한 CASE 도구", 한국정보과학회 2017 한국컴퓨터종합학술대회, pp.545-547, 부산 벡스코, 12.20-12.22, 2017. (paper, ppt)
- 정세진, 유준범, 이장수, "원자력 발전소 안전 필수 시스템의 FMEA분석 결과의 적정성 평가를 위한 템플릿", 한국정보과학회 2017 한국컴퓨터종합학술대회, pp.595-597, 부산 벡스코, 12.20-12.22, 2017. (paper, ppt)
- 김의섭, 김민우, 유준범, "지능형 교통시스템의 사이버물리 시스템을 위한 요구사항 추적 모델 및 지원도구", 한국정보과학회 2018 한국컴퓨터종합학술대회, pp.580-582, 제주도 국제컨벤션센터, 06.20-06.22, 2018. (paper, ppt)
- 정세진, 손준익, 유준범, "원자력 발전소 안전 소프트웨어의 safety case pattern 작성을 위한 문헌 리뷰 기반의 pattern 작성 범위 분류", 한국정보과학회 2018 한국컴퓨터종합학술대회, pp.577-579, 제주도 국제컨벤션센터, 6.20-6.22, 2018. (paper, ppt)
- 손준익, 정세진, 유준범 "NuSCR 정형 요구 명세에서 UML2.0 Activity Diagram으로의 변환 규칙", 한국정보과학회 2018 한국컴퓨터종합학술대회, pp.577-579, 제주도 국제컨벤션센터, 6.20-6.22, 2018. (paper, ppt)
- 정세진, 유준범, "위해도 분석 결과의 효과적인 확인을 위한 추적성 기반 위해도 모델", 2019 한국소프트웨어공학학술대회 (KCSE 2019), pp.164-167, 강원도 휘닉스파크, 01.28-01.30, 2019. (paper, ppt)
- 김의섭, 유준범, "사이버-피지컬 시스템의 상호운용성 상충관계 분석에 관한 연구", 2019 한국소프트웨어공학학술대회 (KCSE 2019), pp.164-167, 강원도 휘닉스파크, 01.28-01.30, 2019. (paper, ppt)
- 정세진, 김의섭, 유준범, "Safety Case 패턴의 분류 카테고리에 따른 인스턴스 생성", 2019 한국컴퓨터종합학술대회 (KCC 2019), 제주 국제컨벤션센터, 2019. (paper, ppt)
- Dong-Ah Lee, Junbeom Yoo, "A Model Projection Technique for Compositional Verification using Model Checking", 2020 한국소프트웨어공학학술대회 (KCSE 2020), pp.184~186, 강원도 보광 휘닉스파크, 02.03~02.05, 2020. (Paper, ppt)

Old Ones

Copyright notice: The documents distributed by this web papers have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author and copyright holder's copyright.
　