Tue, Jan 14 PM 13:00 - 14:40 |
(1) |
13:00-13:25 |
|
|
(2) |
13:25-13:50 |
|
Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
(3) |
13:50-14:15 |
|
Akira Fujimoto, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
(4) |
14:15-14:40 |
|
|
|
14:40-15:00 |
Break ( 20 min. ) |
Tue, Jan 14 PM 15:00 - 16:15 |
(5) |
15:00-15:25 |
Smith Dynamics-Based Task Allocation Considering Differences of Abilities among Agents |
Hiroki Watanabe, Takafumi Kanazawa (Osaka Univ.) |
(6) |
15:25-15:50 |
Sensor Attack Detection in Control Systems Using Moving Horizon Estimation |
Kei Isono, Koichi Kobayashi (Hokkaido Univ.), Ryosuke Adachi (Yamaguchi Univ.), Yuh Yamashita (Hokkaido Univ.) |
(7) |
15:50-16:15 |
Verification of reliable codiagnosability for discrete event systems with conditional decidions |
Takumi Hamada, Shigemasa Takai (Osaka Univ.) |
|
16:15-16:30 |
Break ( 15 min. ) |
Tue, Jan 14 PM 16:30 - 17:45 |
(8) |
16:30-16:55 |
A Prototype Algorithm and Implementation of Code-Clone Detection with MapReduce-Style Prallel Processing |
Toshihiro Kamiya (Shimane Univ.), Eunjong Choi (KIT) |
(9) |
16:55-17:20 |
Dynamic Leakage Analysis Based on Model Counting and Its Evaluation |
Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) |
(10) |
17:20-17:45 |
|
() |
Wed, Jan 15 AM 10:30 - 11:45 |
(11) |
10:30-10:55 |
|
|
(12) |
10:55-11:20 |
A Proposal of Botnet Defense System and Its Basic Strategy |
Shingo Yamaguchi (Yamaguchi Univ.) |
(13) |
11:20-11:45 |
Modeling of Prediction Processes based on Learning Colored Petri Nets |
Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus) |
|
- |
Lunch Break |
Wed, Jan 15 PM 13:00 - 14:15 |
(14) |
13:00-13:25 |
|
|
(15) |
13:25-13:50 |
|
|
(16) |
13:50-14:15 |
Integration of Code Preprocessing Methods for Source Code Analysis |
Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |