|
13:00-13:05 |
オープニング ( 5分 ) |
1月23日(土) 午後 学生発表 13:05 - 14:15 |
(1) |
13:05-13:35 |
DevOpsアシュアランスケースによる自動運転システムの安全性保証 |
○小池湧大(日大)・岡田 学(ティアフォー)・高井利憲(チェンジビジョン)・大熊拓海・松野 裕(日大) |
(2) |
13:35-14:05 |
システム仕様書の形式化による漏れ・誤りの発見および修正支援 |
○若松大雅・青山裕介・久代紀之(九工大) |
|
14:05-14:15 |
休憩 ( 10分 ) |
1月23日(土) 午後 一般発表 14:15 - 15:55 |
(3) |
14:15-15:00 |
時間制約を実行時に検証可能な自己適応フレームワークに関する研究 |
○小島英春・中川博之(阪大) |
(4) |
15:00-15:45 |
DNSトンネル検出研究のための評価データセットに係る考察 |
○朝倉哲也・辰己丈夫(放送大) |
|
15:45-15:55 |
休憩 ( 10分 ) |
1月23日(土) 午後 招待講演 15:55 - 17:00 |
(5) |
15:55-16:55 |
[招待講演]「機械学習応用システムの安全性の研究動向と今後の展望」 |
○吉岡信和(NII) |
|
16:55-17:00 |
クロージング ( 5分 ) |