Theory and Formal Methods Lab.


2017

International Journal


* CAN Database Verification Framework Using UPPAAL
Beomyeon Cho, Taewook Kim and Jin-Young Chio , International Journal of Computer Theory and Engineering, 9(6) pp.438-442, Jan 2018


International Conference


* Modeling scheduling policy with Constraint Satisfaction Problem approach
Hyuk Lee and Jin-Young Chio , Int'l Conf on Embedded Systems, Cyber-physical Systems, and Applications, Jul 2017

* Formal Specification and Verification of Firewall using TLA+
Young-Mi Kim, Miyoung KANG and Jin-Young Chio , Int'l Conf on Security and Management, Jul 2017


Korean Journal



Korean Conference


* UPPAAL 을 이용한AUTOSAR OS 기반 응용프로그램의 Schedulability 정형검증
김태욱, 장준하, 최진영 , Korea Software Congress 2017, 2017년 12월

* 전기차 충전 선로를 이용한 통신환경에서 TCP 혼잡제어 성능 비교
박진우, 최진영 , Korea Software Congress 2017, 2017년 12월

* 제약 만족 문제 방식을 통한 스케줄 가능성 분석
이혁, 정언, 최진영 , Korea Software Congress 2017, 2017년 12월





SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved