Information and Systems-Image Engineering(Date:2021/01/23)

Presentation
Consideration of evaluation datasets for DNS tunnel detection research

Tetsuya Asakura(OUJ),  Takeo Tatsumi(OUJ),  

[Date]2021-01-23
[Paper #]KBSE2020-32
A study of the framework with runtime verification treating time constraints for self-adaptive systems

Hideharu Kojima(Osaka Univ.),  Hiroyuki Nakagawa(Osaka Univ.),  

[Date]2021-01-23
[Paper #]KBSE2020-31
DevOps Assurance Cases for Autonomous Vehicles Systems

Yudai Koike(Nihon Univ.),  Manabu Okada(Tier4),  Toshinori Takai(Change Vision),  Takumi Okuma(Nihon Univ.),  Yutaka Matsuno(Nihon Univ.),  

[Date]2021-01-23
[Paper #]KBSE2020-29
システム仕様書の形式化による漏れ・誤りの発見および修正支援

Taiga Wakamatsu(Kyutech),  Yusuke Aoyama(Kyutech),  Noriyuki Kushiro(Kyutech),  

[Date]2021-01-23
[Paper #]KBSE2020-30
[Invited Talk] "Research Trends and Future Prospects for Safety and Security of Machine Learning Applied Systems"

Nobukazu Yoshioka(NII),  

[Date]2021-01-23
[Paper #]KBSE2020-33