|
  |
ROSAEC Center Kick-off Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2008-11-21 14:00 ~ 2008-11-23 12:00 |
| Place: | Shineville Resort Hotel, Jeju, Korea |
Photos
new window
Program
Day 1 : November 21, 2008
Opening : 15:00 - 16:30
Welcome Message
Kwangkeun Yi , Seoul National University
Review : Center Goals and Our Mission
Kwangkeun Yi , Seoul National University
Day 2 : November 22, 2008
Session1 : 09:30 - 10:50
무인 비행체 소프트웨어 소스 무결점 자동 검증기 개발
Youdan Kim , Seoul National University [slide]
지능형 소프트웨어 무결점 자동 검증기 개발
Chongwoo Park , Seoul National University [slide]
Session2 : 11:10 - 11:50
POSTECH PL Lab. 연구 분야 소개
Sungwoo Park , POSTECH [slide]
Session3 : 13:30 - 15:30
Introduction to formal method
Jinyoung Choi , Korea University [slide]
Introducing PLASSE Lab. and its Current Research
Kyung-Goo Doh , Hanyang University [slide]
DIANA : Data-Intensive ANAlyzer
Seungwon Hwang , POSTECH [slide]
Session4 : 15:50 - 17:50
웹 응용 소프트웨어 오류 검출
Byungmo Chang , Sookmyung Womons's University [slide]
SAT-based Model Checking for Debugging Embedded Software
Moonzoo Kim , KAIST [slide]
A Model-driven development and verification framework for embedded software
Yunja Choi , Kyungpook National University [slide]
This will be shown to users with no Flash or Javascript.