• 2 引用
  • 1 h指数
20142019

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Kazuya Aizawaが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

研究成果

  • 2 引用
  • 1 h指数
  • 3 Conference contribution

Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

Aizawa, K., Tei, K. & Honiden, S., 2019 8, Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019. Institute of Electrical and Electronics Engineers Inc., p. 1363-1370 8 p. 9060271. (Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019).

研究成果: Conference contribution

  • Identifying safety properties guaranteed in changed environment at runtime

    Aizawa, K., Tei, K. & Honiden, S., 2018 9 10, Proceedings - 2018 IEEE International Conference on Agents, ICA 2018. Institute of Electrical and Electronics Engineers Inc., p. 75-80 6 p. 8460083

    研究成果: Conference contribution

  • 1 引用 (Scopus)

    HoppingDuster: Self-adaptive cleaning robot based on aerial vehicle

    Tei, K., Suenaga, S., Lee, S., Aizawa, K., Takahashi, R. & Fukazawa, Y., 2014 1 1, UbiComp 2014 - Adjunct Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, Inc, p. 271-274 4 p. (UbiComp 2014 - Adjunct Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing).

    研究成果: Conference contribution

  • 1 引用 (Scopus)