Fri, Oct 21 AM 10:30 - 11:45 |
(1) |
10:30-10:55 |
Heuristic Approach in Simulating Collaborative Systems Performance |
Tad Gonsalves, Kiyoshi Itoh (Sophia Univ.) |
(2) |
10:55-11:20 |
Qualitative validations of "One-Day Customer-Go-around Model" |
Ichiro Toyoshima, Takashi Koiso, Takufumi Yoshida, Kanako Hattori, Naoki Imasaki (TOSHIBA) |
(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 |
Lunch Break ( 75 min. ) |
Fri, Oct 21 PM 13:00 - 17:10 |
(4) |
13:00-14:00 |
[Tutorial Lecture]
The Basics of Formal Verification (model check algorithm)
-- SMV、SPIN、Athena -- |
Tadashi Araragi (NTT) |
|
14:00-14:10 |
Break ( 10 min. ) |
(5) |
14:10-14:35 |
Design and Security Verification of One-time ID Key-Exchange Protocol by Modal Logic |
Kenji Imamoto, Kouichi Sakurai (Kyushu Univ.) |
(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 |
Break ( 10 min. ) |
(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 |
Break ( 10 min. ) |
(9) |
16:10-17:10 |
[Invited Talk]
Overview of Research Activities of AIST Research Center for Verification and Semantics |
Yoshiki Kinoshita (CVS) |