Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
SS2018-1
Proposal of a usage investigation tool of similar coding pattern
Koki Ogasawara, Tetsuya Kanda, Katsuro Inoue (Osaka Univ)
pp. 1 - 6
SS2018-2
(See Japanese page.)
pp. 7 - 12
SS2018-3
A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.)
pp. 13 - 18
SS2018-4
An analysis of the impact of temporal changes of developers' activities on the committer candidate prediction model
Daiki Yamasaki, Masao Ohira, Akinori Ihara, Yutaro Kashiwa, Tomoki Miyazaki (Wakayama Univ.)
pp. 19 - 24
SS2018-5
Reversible Communicating Systems with Time
Satoru Yamamoto, Shoji Yuen (Nagoya Univ.)
pp. 25 - 30
SS2018-6
Application of Model Checking to an STAMP/STPA Example
-- Fallen Barrier Trap at Railroad Crossing --
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata (Shinshu Univ.)
pp. 31 - 36
SS2018-7
(See Japanese page.)
pp. 37 - 41
SS2018-8
A Study of Safety Updating Functionalities for Embedded Systems
Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ)
pp. 43 - 48
SS2018-9
Shu Nagai, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 49 - 54
SS2018-10
Fault-Tolerant Topology determination for IoT network
Mitsumasa Ota (Waseda Univ.), Ryuichi Takahashi (Ibaraki Univ.), Yoshiaki Fukazawa (Waseda Univ.)
pp. 55 - 60
SS2018-11
Case Study on a Verification of an IoT Architecture Model Based on Control Loop
Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.)
pp. 61 - 66
SS2018-12
(See Japanese page.)
pp. 149 - 154
SS2018-13
(See Japanese page.)
pp. 155 - 160
SS2018-14
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model
Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.)
pp. 161 - 166
SS2018-15
Development and Operation of Services for Open Smart Mobility Markets
-- Architecture Strategy and Service Supply Chain Management --
Tsuneo Nakanishi (Fukuoka Univ.), Kenji Hisazumi, Takao Ando, Tsunenori Mine, Akira Fukuda (Kyushu Univ.)
pp. 183 - 188
SS2018-16
An Automated Evaluation Method for Conceptual Data Models Focusing on Appropriateness of Attributes
Takafumi Tanaka (TUAT), Hiroaki Hashiura (NIT), Atsuo Hazeyama (TGU), Kousuke Mouri, Keiichi Kaneko (TUAT)
pp. 189 - 194
SS2018-17
A study of productivity for agile software development
Kumi Jinzenji, Daisuke Hamuro (NTT)
pp. 195 - 200
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.