시간

내용

발표자

09:30-09:50

등록

09:50-10:00

개회사

최진영 교수 (고려대)

10:00-10:30

Keynote speech

SW 중심 사회에서 논리의 역할

권기현 교수 (경기대)

10:30-12:00

세션1 - 좌장: 김진현 박사 (INRIA)

SW 안전 산업 육성 방향과 우리의 고민

박태형 박사

(소프트웨어 정책연구소)

Capability 기반 보안

차영태 교수 (고려대)

SPARROW에서 사용하는 정적 분석 기법

진민식 수석

(파수닷컴)

12:00-13:00

점심 식사

13:00-14:50

세션2 – 좌장: 남원홍 (건국대)

Quantification and Qualification of Safety of Real-time Scheduling Systems using UPPAAL

김진현 박사 (INRIA)

Model checking safety

최윤자 교수 (경북대)

자동차 소프트웨어 개발 및 검증 솔루션

오승욱 부사장 (슈어소프트텍)

An architectural approach to the analysis of automotive software-intensive systems

강은영 교수 (중산대학)

14:50-15:20

Coffee break

15:20-16:50

세션3 – 좌장: 차영태 교수 (고려대)

Vision for Automated Software Testing in Korea IT Industry

김문주 교수 (KAIST)

Sensor Attack Detection in the Presence of Transient Faults

박준길 박사 (UPenn)

Automated Code Generation from Timed Automata Models

지은경 교수 (KAIST)

Automatic program synthesis

남원홍 교수 (건국대)

16:50-17:00

폐회사

최진영 교수 (고려대)