10月21日(金) 午前 AI一般 10:30 - 11:45 |
(1) |
10:30-10:55 |
ヒューリスティクアプローチによる協調システムの性能シミュレーション |
○タッド ゴンサルベス・伊藤 潔(上智大) |
(2) |
10:55-11:20 |
店舗内回遊モデルの定性的検証 |
○豊嶋伊知郎・小磯貴史・吉田琢史・服部可奈子・今崎直樹(東芝) |
(3) |
11:20-11:45 |
QSR Data Mining System for Dynamic Route Selection in Multimedia Communication Networks |
○Jing He(Konan Univ./Chinese Academy of Sciences)・Wuyi Yue(Konan Univ.)・Yong Shi(Chinese Academy of Sciences) |
|
11:45-13:00 |
昼食 ( 75分 ) |
10月21日(金) 午後 さまざまな分野の形式的検証最前線 13:00 - 17:10 |
(4) |
13:00-14:00 |
[チュートリアル講演]形式的検証(モデルチェック技術)の基本(口頭発表) ~ SMV、SPIN、Athenaを中心に ~ |
○櫟 粛之(NTT) |
|
14:00-14:10 |
休憩 ( 10分 ) |
(5) |
14:10-14:35 |
ワンタイムID鍵交換プロトコルの設計,および様相論理による安全性検証 |
○今本健二・櫻井幸一(九大) |
(6) |
14:35-15:00 |
Formal Verification of Crash Failure Tolerance Algorithm(口頭発表)
-- Formal Verification of Distributed Systems in Unbounded Number of Processes -- |
Pierre Metrailler(EPFL)・○Tadashi Araragi(NTT) |
|
15:00-15:10 |
休憩 ( 10分 ) |
(7) |
15:10-15:35 |
Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning |
○Tadashi Araragi(NTT)・Seung Mo Cho(Samsung) |
(8) |
15:35-16:00 |
The Circum System |
○Toshiko Wakaki(Shibaura Inst. of Tech.)・Katsumi Nitta(Tokyo Inst. of Tech.) |
|
16:00-16:10 |
休憩 ( 10分 ) |
(9) |
16:10-17:10 |
[招待講演]産業技術総合研究所「システム検証研究センター」 研究活動の概要(口頭発表) |
○木下佳樹(産総研) |