| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Shigemasa Takai (Osaka Univ.) |
| Vice Chair |
|
Atsuo Ozaki (Osaka Inst. of Tech.) |
| Secretary |
|
Takahumi Kanazawa (Osaka Univ.), Koichi Kobayashi (Hokkaido Univ.) |
| Assistant |
|
Naoki Hayashi (Osaka Univ.) |
|
|
|
| Chair |
|
Akio Nakata (Hiroshima City Univ.) |
| Vice Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
| Secretary |
|
Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) |
| Assistant |
|
Shinpei Hayashi (Tokyo Inst. of Tech.) |
|
| Conference Date |
Tue, Jan 14, 2020 13:00 - 17:45
Wed, Jan 15, 2020 10:30 - 14:15 |
| Topics |
|
| Conference Place |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, MSS. |
Tue, Jan 14 PM
13:00 - 14:40 |
| (1) |
13:00-13:25 |
 MSS2019-41 SS2019-25 |
|
| (2) |
13:25-13:50 |
MSS2019-42 SS2019-26 |
Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
| (3) |
13:50-14:15 |
MSS2019-43 SS2019-27 |
Akira Fujimoto, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
| (4) |
14:15-14:40 |
MSS2019-44 SS2019-28 |
|
| |
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 MSS2019-45 SS2019-29 |
Hiroki Watanabe, Takafumi Kanazawa (Osaka Univ.) |
| (6) |
15:25-15:50 |
Sensor Attack Detection in Control Systems Using Moving Horizon Estimation MSS2019-46 SS2019-30 |
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 MSS2019-47 SS2019-31 |
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 MSS2019-48 SS2019-32 |
Toshihiro Kamiya (Shimane Univ.), Eunjong Choi (KIT) |
| (9) |
16:55-17:20 |
Dynamic Leakage Analysis Based on Model Counting and Its Evaluation MSS2019-49 SS2019-33 |
Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) |
| (10) |
17:20-17:45 |
MSS2019-50 SS2019-34 |
() |
Wed, Jan 15 AM
10:30 - 11:45 |
| (11) |
10:30-10:55 |
MSS2019-51 SS2019-35 |
|
| (12) |
10:55-11:20 |
A Proposal of Botnet Defense System and Its Basic Strategy MSS2019-52 SS2019-36 |
Shingo Yamaguchi (Yamaguchi Univ.) |
| (13) |
11:20-11:45 |
Modeling of Prediction Processes based on Learning Colored Petri Nets MSS2019-53 SS2019-37 |
Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus) |
| |
- |
Lunch Break |
Wed, Jan 15 PM
13:00 - 14:15 |
| (14) |
13:00-13:25 |
MSS2019-54 SS2019-38 |
|
| (15) |
13:25-13:50 |
MSS2019-55 SS2019-39 |
|
| (16) |
13:50-14:15 |
Integration of Code Preprocessing Methods for Source Code Analysis MSS2019-56 SS2019-40 |
Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
Takafumi Kanazawa (Osaka University)
Tel: +81-6-6850-6388
E- :        es -u |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-:   ist-u |
| Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
Last modified: 2020-02-27 14:45:03
|