Login / Signup
Kazuya Aizawa
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 3
Top Topics
Robotic Systems
Space Reduction
Topological Properties
Image Segmentation
Top Venues
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
UbiComp Adjunct
ICA
EUC
</>
Publications
</>
Jialong Li
,
Kazuya Aizawa
,
Kenji Tei
,
Shinichi Honiden
Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault.
EUC
(2020)
Kazuya Aizawa
,
Kenji Tei
,
Shinichi Honiden
Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
(2019)
Kazuya Aizawa
,
Kenji Tei
,
Shinichi Honiden
Identifying safety properties guaranteed in changed environment at runtime.
ICA
(2018)
Kenji Tei
,
Kazuya Aizawa
,
Shunichiro Suenaga
,
Ryuichi Takahashi
,
Shun Lee
,
Yoshiaki Fukazawa
HoppingDuster: self-adaptive cleaning robot based on aerial vehicle.
UbiComp Adjunct
(2014)