Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [Japanese] / [English]
MSS2019-41
(See Japanese page.)
pp. 1 - 6
MSS2019-42
Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
pp. 7 - 12
MSS2019-43
Akira Fujimoto, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
pp. 13 - 18
MSS2019-44
(See Japanese page.)
pp. 19 - 24
MSS2019-45
Smith Dynamics-Based Task Allocation Considering Differences of Abilities among Agents
Hiroki Watanabe, Takafumi Kanazawa (Osaka Univ.)
pp. 25 - 30
MSS2019-46
Sensor Attack Detection in Control Systems Using Moving Horizon Estimation
Kei Isono, Koichi Kobayashi (Hokkaido Univ.), Ryosuke Adachi (Yamaguchi Univ.), Yuh Yamashita (Hokkaido Univ.)
pp. 31 - 36
MSS2019-47
Verification of reliable codiagnosability for discrete event systems with conditional decidions
Takumi Hamada, Shigemasa Takai (Osaka Univ.)
pp. 37 - 42
MSS2019-48
A Prototype Algorithm and Implementation of Code-Clone Detection with MapReduce-Style Prallel Processing
Toshihiro Kamiya (Shimane Univ.), Eunjong Choi (KIT)
pp. 43 - 48
MSS2019-49
Dynamic Leakage Analysis Based on Model Counting and Its Evaluation
Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.)
pp. 49 - 54
MSS2019-51
(See Japanese page.)
pp. 61 - 66
MSS2019-52
A Proposal of Botnet Defense System and Its Basic Strategy
Shingo Yamaguchi (Yamaguchi Univ.)
pp. 67 - 72
MSS2019-53
Modeling of Prediction Processes based on Learning Colored Petri Nets
Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 73 - 78
MSS2019-54
(See Japanese page.)
pp. 79 - 84
MSS2019-55
(See Japanese page.)
pp. 85 - 90
MSS2019-56
Integration of Code Preprocessing Methods for Source Code Analysis
Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
pp. 91 - 96
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.