HoppingDuster: self-adaptive cleaning robot based on aerial vehicle. - Kenji Tei; Kazuya Aizawa; Shunichiro Suenaga; Ryuichi Takahashi; Shun Lee; Yoshiaki Fukazawa (UbiComp Adjunct, 2014)

Identifying safety properties guaranteed in changed environment at runtime. - Kazuya Aizawa; Kenji Tei; Shinichi Honiden (ICA, 2018)

Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. - Kazuya Aizawa; Kenji Tei; Shinichi Honiden (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault. - Jialong Li 001; Kazuya Aizawa; Kenji Tei; Shinichi Honiden (EUC, 2020)