Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2020-01-14 13:00 |
Hiroshima |
|
MSS2019-41 SS2019-25 |
(To be available after the conference date) [more] |
MSS2019-41 SS2019-25 pp.1-6 |
SS, MSS |
2020-01-14 13:25 |
Hiroshima |
|
Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) MSS2019-42 SS2019-26 |
(To be available after the conference date) [more] |
MSS2019-42 SS2019-26 pp.7-12 |
SS, MSS |
2020-01-14 13:50 |
Hiroshima |
|
Akira Fujimoto, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) MSS2019-43 SS2019-27 |
(To be available after the conference date) [more] |
MSS2019-43 SS2019-27 pp.13-18 |
SS, MSS |
2020-01-14 14:15 |
Hiroshima |
|
MSS2019-44 SS2019-28 |
(To be available after the conference date) [more] |
MSS2019-44 SS2019-28 pp.19-24 |
SS, MSS |
2020-01-14 15:00 |
Hiroshima |
|
Smith Dynamics-Based Task Allocation Considering Differences of Abilities among Agents Hiroki Watanabe, Takafumi Kanazawa (Osaka Univ.) MSS2019-45 SS2019-29 |
In task allocation problems, efficiency of an allocation is strongly dependent on relationship between properties of tas... [more] |
MSS2019-45 SS2019-29 pp.25-30 |
SS, MSS |
2020-01-14 15:25 |
Hiroshima |
|
Sensor Attack Detection in Control Systems Using Moving Horizon Estimation Kei Isono, Koichi Kobayashi (Hokkaido Univ.), Ryosuke Adachi (Yamaguchi Univ.), Yuh Yamashita (Hokkaido Univ.) MSS2019-46 SS2019-30 |
The sensor attack detection problem in control systems is important in cybersecurity. In this paper, we propose a method... [more] |
MSS2019-46 SS2019-30 pp.31-36 |
SS, MSS |
2020-01-14 15:50 |
Hiroshima |
|
Verification of reliable codiagnosability for discrete event systems with conditional decidions Takumi Hamada, Shigemasa Takai (Osaka Univ.) MSS2019-47 SS2019-31 |
In this paper, we propose a reliable decentralized diagnosis scheme for discrete event systems with conditional decision... [more] |
MSS2019-47 SS2019-31 pp.37-42 |
SS, MSS |
2020-01-14 16:30 |
Hiroshima |
|
A Prototype Algorithm and Implementation of Code-Clone Detection with MapReduce-Style Prallel Processing Toshihiro Kamiya (Shimane Univ.), Eunjong Choi (KIT) MSS2019-48 SS2019-32 |
This report presents a scalable type-3 code-clone (duplicated code) detection method running in a
MapReduce style paral... [more] |
MSS2019-48 SS2019-32 pp.43-48 |
SS, MSS |
2020-01-14 16:55 |
Hiroshima |
|
Dynamic Leakage Analysis Based on Model Counting and Its Evaluation Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) MSS2019-49 SS2019-33 |
We propose a method of analyzing dynamic information leakage of a given program that has a secret input, a public output... [more] |
MSS2019-49 SS2019-33 pp.49-54 |
SS, MSS |
2020-01-14 17:20 |
Hiroshima |
|
() MSS2019-50 SS2019-34 |
[more] |
MSS2019-50 SS2019-34 pp.55-60 |
SS, MSS |
2020-01-15 10:30 |
Hiroshima |
|
MSS2019-51 SS2019-35 |
[more] |
MSS2019-51 SS2019-35 pp.61-66 |
SS, MSS |
2020-01-15 10:55 |
Hiroshima |
|
A Proposal of Botnet Defense System and Its Basic Strategy Shingo Yamaguchi (Yamaguchi Univ.) MSS2019-52 SS2019-36 |
(To be available after the conference date) [more] |
MSS2019-52 SS2019-36 pp.67-72 |
SS, MSS |
2020-01-15 11:20 |
Hiroshima |
|
Modeling of Prediction Processes based on Learning Colored Petri Nets Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus) MSS2019-53 SS2019-37 |
This paper presents a modeling approach to visualize the prediction process of machine learning based on learning colore... [more] |
MSS2019-53 SS2019-37 pp.73-78 |
SS, MSS |
2020-01-15 13:00 |
Hiroshima |
|
MSS2019-54 SS2019-38 |
(To be available after the conference date) [more] |
MSS2019-54 SS2019-38 pp.79-84 |
SS, MSS |
2020-01-15 13:25 |
Hiroshima |
|
MSS2019-55 SS2019-39 |
(To be available after the conference date) [more] |
MSS2019-55 SS2019-39 pp.85-90 |
SS, MSS |
2020-01-15 13:50 |
Hiroshima |
|
Integration of Code Preprocessing Methods for Source Code Analysis Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) MSS2019-56 SS2019-40 |
[more] |
MSS2019-56 SS2019-40 pp.91-96 |