Sanghyun Yoon
Ph.D
Dependable Software Laboratory
Division of Computer Science and Engineering
Konkuk University, Korea
e-mail: [email protected]
[email protected]
Research Interests
-
Formal verification
-
Hybrid system/automata
Publications
- International Journal
- 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)
- International Conference
- Junbeom Yoo and Sanghyun Yoon, "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)
- 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 and 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)
- 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)
- Domestic Journal/Magazine
- 윤상현, 전인걸, 김원태, 조재연, 유준범, "하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어," 정보과학회논문지 : 시스템 및 이론, 제42권, 제7호, pp.823-833, 2015. (paper)
- 김의섭, 윤상현, 유준범, "안전 필수 시스템을 위한 안전성 분석 기법," 중소기업정보기술융합학회 논문지, 제2권 제1호, pp.11-18, 2012.
(paper)
- Domestic Conference
- 윤상현, 조재연, 전인걸, 유준범, "HyTech를 이용한 ECML 모델의 검증 및 분석," 2014 한국소프트웨어공학학술대회 (KCSE 2014), pp.2-10, 강원도 평창 휘닉스파크, 02.12-02.14, 2014. (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)
- 윤상현, 조재연, 유준범, "고장 수목을 이용한 테스트 케이스의 안전성 측정" 한국정보과학회 2011 한국컴퓨터종합학술대회, Vol.38, No.1(B), pp.197-199, 경주교육문화회관, 6.30-7.2, 2011. (paper,ppt)
- 조재연, 윤상현, 유준범, "NuSCR의 검증을 위한 Quick Checker 개선", 2011 한국소프트웨어공학학술대회 (KCSE 2011), pp.393-400, 강원도 보광 피닉스파크, 2011. (paper, ppt)
- 이동아, 윤상현, 이무열, 진현욱, 유준범, "SPIN을 이용한 차량용 MOST Network Service 프로토콜 스택 정형검증", 한국정보과학회 2010 한국컴퓨터종합학술대회, Vol. 37, No.1(A), p60-61, 제주대, 06.30-07.02, 2010. (paper, ppt)
- 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)
- 김영호, 이동아, 윤상현, 박윤정, 민덕기, "아이팟 모바일 캘린더 및 주소록 프로그램을 이용한 상용 엡서버 동기화 시스템", 제 32회 한국정보처리학회 추계학술발표대회, 16권, 2호, p123-124, 건국대학교 서울캠퍼스, 11.01, 2009. (paper)
Class
Etc.