Old Publications

• International Journal
  • Sungdeok Cha, Han Seong Son, Junbeom Yoo, Eunkyung Jee, Poong Hyun Seong, "Systematic Evaluation of Fault Trees using Real-Time Model Checker UPPAAL," Reliability Engineering and System Safety, Vol.82, No.1, pp11-21, 2003. (pdf)
  • Junbeom Yoo, Taihyo Kim, Sungdeok Cha, Jang-Soo Lee, Han Seong Son, "A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems," Journal of Systems and Software, Vol.74, No.1, pp73-83, 2005. (pdf)
  • Junbeom Yoo, Sungdeok Cha, Chang Hwoi Kim, Duck Yong Song, "Synthesis of FBD-based PLC Design from NuSCR Formal Specification," Reliability Engineering and System Safety, Vol.87, No.2, pp287-294, 2005. (pdf)
  • Younju Oh, Junbeom Yoo, Sungdeok Cha, Han Seong Son, "Software Safety Analysis of Function Block Diagrams using Fault Trees," Reliability Engineering and System Safety, Vol.88, No.3, pp215-228, 2005. (pdf)
  • Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Sungdeok 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," Reliability Engineering and System Safety, Vol.89, No.3, pp.248-260, 2005. (pdf)
  • Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Sungdeok Cha, Cheong Youn, Hyun-Chul Han, "NuSEE: Development of an Integrated Environment of Software Specification and V&V for the NPP Safety-Critical Systems," Nuclear Engineering and Technology, Vol.38, No.3, 2006. (pdf)

• International Conference
  • Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Junbeom Yoo, Sung Deok Cha, Dae Sung Son, Seong Soo Choi, "Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Based on Software Inspection and Formal Method," International Symposium on Future I&C for NPP(ISOFIC), pp159-164, Nov., 2002. (pdf)
  • Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Junbeom Yoo, Sung Deok Cha, Dae Sung Son, Seong Soo Choi, "Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields," American Nuclear Society Transactions, Vol.86, No.1, pp73-74, 2002. (pdf)
  • Junbeom Yoo, Sungdeok Cha, Han Seong Son, "Automatic Generation of Goal-Tree from Statecharts Requirements Specification," America Nuclear Society Transactions, Vol.88, pp37-38, 2003. (pdf, ppt)
  • Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Sungdeok Cha, Cheong Youn, Hyun-Chul Han, "An Integrated Environment of S/W Specification and V&V for Safety-Critical Systems," In proceeding of the IASTED International Conference SOFTWARE ENGINEERING, pp607-612, Innsbruck, Austria, Feb., 17-19, 2004. (pdf)
  • Jaemyung Cho, Junbeom Yoo, Sungdeok Cha, "NuEditor – A Tool Suite for Specification and Verification of NuSCR," In proceeding of Second ACIS International Conference on Software Engineering Research, Management and Applications (SERA2004), pp298-304, LA, USA, May 5-7, 2004. (pdf, ppt)
  • Junbeom Yoo, Sungdeok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee, "PLC-Based Safety Critical Software Development for Nuclear Power Plants," The 23th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2004), LNCS 3219, pp155-165, Potsdam, Germany, Sept. 21-24, 2004. (pdf)
  • Junbeom Yoo, Suhyun Park, Hojung Park, Taihyo Kim, Sungdeok Cha, "Direct Control Flow Testing on Function Block Diagrams," The 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety (NUTHOS-6), Nara, JAPAN, Oct. 4-8, 2004. (pdf, ppt)
  • Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, "Control and Data Flow Testing on Function Block Diagrams," The 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2005), LNCS 3688, pp.67-80, Fredrikstad, Norway, Sep. 28-30, 2005. (pdf)
  • Eunkyoung Jee, Seungjae Jun, Hojung Bang, Sungdeok Cha, Junbeom Yoo, Geeyong Park, Keechoon Kwon "Testing of Timer Function Blocks in FBD", The 13th Asia Pacific Software Engineering Conference (APSEC), pp.243-250, Bangalore, India, Dec. 6-8, 2006. (pdf)
  • Seungjae Jeon, Eunkyoung Jee, Sungdeok Cha, Junbeom Yoo, Geeyoung Park, "Verification of Function Block Diagram through Verilog Translation," he 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2007), LNCS 4680, pp.00-00, Buremburg, Germany, Sep. 18-21, 2007. (pdf)
    　

• Technical Report
  • Junbeom Yoo, Sungdeok Cha, "A Formal Software Requirements Specification Method for Digital Plants Protection Systems," KAIST CS/TR-2003-191. (pdf)
  • Junbeom Yoo, Hojung Bang, Sungdeok Cha, "Procedural Transformation from Formal Software Requirement to PLC-based Design," KAIST CS/TR-2004-198. (pdf)
     
• Domestic Journal
• 지은경, 차성덕, 손한성, 유준범, 구서룡, 성풍현, "실시간 모델 체커를 이용한 폴트 트리의 체계적 검증," 한국정보과학회 논문지 Vol.29, No.11•12, pp.860-872, Dec. 2002. (pdf)
• 유준범, 최용진, 정진완, "임의의 다각형 질의 윈도우를 이용한 공간 선택 질의의 정제 전략," 한국정보과학회 논문지 Vol.30, No.3, pp.286-295, June 2003. (pdf)
• 유준범, 차성덕, 김창회, 오윤주, "디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세," 한국정보과학회 논문지, Vol.31, No.6, pp.750-759, June 2004. (pdf)
• 유준범, 차성덕, 김창회, 송덕용, "정형 소프트웨어 요구사항으로부터 PLC 디자인의 체계적 생성," 한국정보과학회 논문지, Vol.32, No.2, pp.108-118, Feb. 2005. (pdf)
• 지은경, 유준범, 박수현, 차성덕, "Function Block Diagrams에 대한 제어 및 데이터 흐름 테스팅," 소프트웨어공학회지, Vol.18, No.1, pp.3-19, 2005. (pdf)
• 김태호, 유준범, 차성덕, "템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법," 한국정보과학회 논문지 Vol.32, No.12, pp.1178~1191, 2005.12 (pdf)
   
• Domestic Conference
• 유준범, 정진완, "일반적인 다각형 모양의 질의 윈도우를 이용한 공간 선택 질의의 정제 전략," 제28회 한국정보과학회 춘계학술대회, Vo.28, No.1, pp52-54, Apr., 2001. (pdf)
• 오윤주, 조재명, 유준범, 차성덕, "반응형 실시간 소프트웨어를 명세하고 분석하기 위한 기법," 제29회 한국정보과학회 추계학술대회, Vol.29, No.2, Oct., 2002. (pdf)
• 조재명, 오윤주, 유준범, 차성덕, "원전 분야를 위한 KAIST 소프트웨어 개발 방법론," 제29회 한국정보과학회 추계학술대회, Vol.29, No.2, Oct., 2002. (pdf)
• 김창회, 손한성, 한재복, 유준범, "정형기법을 이용한 KNICS 디지털 원자로보호계통 소프트웨어요구사항명세 개발," 제3회 원자력학회-전기학회 공동주최 계측제어기술 Workshop, 11. 14, 2003. (pdf)
• 손한성, 권기춘, 유준범, 차성덕, "Formal Verification of FBD-Based PLC Software at Software Design Phase," 제3회 원자력학회-전기학회 공동주최 계측제어기술 Workshop, pp170-174, 11. 14, 2003. (pdf)
• 지은경, 유준범, 박수현, 차성덕, "Function Block Diagrams에 대한 제어 및 데이터 흐름 테스팅," 제6회 한국소프트웨어공학 학술대회, pp105-114, 2. 21-23, 2005. (pdf)
• 신모범, 유준범, 차성덕, "VIS 검증기를 이용한 FBD 명세의 정형검증," 한국정보과학회 한국컴퓨터종합학술대회 2005, Vol.32, NO.01, pp.0427~0429, 2005.07 (pdf)