Online edition: ISSN 2432-6380
[TOP] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [Japanese] / [English]
KBSE2020-29
DevOps Assurance Cases for Autonomous Vehicles Systems
Yudai Koike (Nihon Univ.), Manabu Okada (Tier4), Toshinori Takai (Change Vision), Takumi Okuma, Yutaka Matsuno (Nihon Univ.)
pp. 1 - 6
KBSE2020-30
Taiga Wakamatsu, Yusuke Aoyama, Noriyuki Kushiro (Kyutech)
pp. 7 - 12
KBSE2020-31
A study of the framework with runtime verification treating time constraints for self-adaptive systems
Hideharu Kojima, Hiroyuki Nakagawa (Osaka Univ.)
pp. 13 - 18
KBSE2020-32
Consideration of evaluation datasets for DNS tunnel detection research
Tetsuya Asakura, Takeo Tatsumi (OUJ)
pp. 19 - 24
KBSE2020-33
[Invited Talk]
"Research Trends and Future Prospects for Safety and Security of Machine Learning Applied Systems"
Nobukazu Yoshioka (NII)
p. 25
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.