Kazuya Aizawa

According to our database, Kazuya Aizawa authored at least 4 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault.

Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden

Proceedings of the 18th IEEE International Conference on Embedded and Ubiquitous Computing, 2020

2019

Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems.

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

Proceedings of the 2019 IEEE SmartWorld, 2019

2018

Identifying safety properties guaranteed in changed environment at runtime.

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

Proceedings of the IEEE International Conference on Agents, 2018

2014

HoppingDuster: self-adaptive cleaning robot based on aerial vehicle.

Kenji Tei, Kazuya Aizawa, Shunichiro Suenaga, Ryuichi Takahashi, Shun Lee, Yoshiaki Fukazawa

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014