相澤和也

アイザワカズヤ | Aizawa Kazuya

所属機関・部署：
職名：助手

研究分野 (1件)：ソフトウェア

研究キーワード (2件)：自己適応システム , ソフトウェア工学

論文 (4件)：

Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden. Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. 18th IEEE International Conference on Embedded and Ubiquitous Computing(EUC). 2020. 33-40
相澤和也. Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems. The 16th IEEE International Conference on Advanced and Trusted Computing 2019 (ATC 2019). 2019
相澤和也. 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム. 情報処理学会論文誌. 2019. 60. 4. 1025-1039
相澤和也. Identifying safety properties guaranteed in changed environment at runtime. The 3rd IEEE International Conference on Agent (). 2018

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

相澤 和也