Jaeyeon Jo
Graduate Student
email : tm77@konkuk.ac.kr
Current works
Team project in Software Verification Class (Presentations)
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
Hybrid system
Model checking
Theorem proving
Wiki Site
DSlab wiki
Etc
W3 Schools for web developer
Hybrid System
Automative Theorem Proving
Interactive Theorem Proving
Model Checking
Hybrid System Model Checker
HyTech
PHAVer
SpaceEx
Passel