Jaeyeon Jo

Current works

Publications

• 조재연, 윤상현, 유준범, "NuSCR의 검증을 위한 Quick Checker 개선," 2011 한국소프트웨어공학학술대회 (KCSE 2011), pp.393-400, 강원도 보광 피닉스파크, 2011. (paper, ppt)
• 윤상현, 조재연, 유준범, "고장 수목을 이용한 테스트 케이스의 안전성 측정" 한국정보과학회 2011 한국컴퓨터종합학술대회, Vol.38, No.1(B), pp.197-199, 경주교육문화회관, 6.30-7.2, 2011. (paper,ppt)
• Sanghyun Yoon, Jaeyeon Jo, and Junbeom Yoo, "A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems," DSDSD Workshop (co-located with SSIRI 2011), pp.68-75, June 27-29, Jeju, Korea, 2011., (paper,ppt)
• 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. (pdf, ppt) Best Paper Award
• 조재연, 유준범 "하이브리드 시스템 도구" 한국시뮬레이션학회 2011. 12. Vol. 1, No. 2(pdf)
• 윤상현, 조재연, 유준범, "TC2SMV: UML State Chart Diagram에서 생성된 테스트 케이스를 SMV 입력 프로그램으로 변환하는 CASE 도구," 한국정보과학회 2012 한국컴퓨터종합학술대회, Vol.39, No.1(B), pp.126-128, 제주, 6.27-6.29, 2012. (paper, ppt)
• Jaeyeon 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)
• 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)

Interested

Wiki Site

Etc

Hybrid System Model Checker