本位田 真一

教授(任期付)

  • 1829 引用
  • 21 h指数
1984 …2020

年単位の研究成果

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

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

  • 3 同様のプロファイル

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

A robust and flexible operating system compatibility architecture

Saeki, T., Nishiwaki, Y., Shinagawa, T. & Shinichi, H., 2020 3 17, VEE 2020 - Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Association for Computing Machinery, Inc, p. 129-142 14 p. (VEE 2020 - Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments).

研究成果: 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

  • Change impact analysis for refinement-based formal specification

    Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2019 1 1, : : IEICE Transactions on Information and Systems. E102D, 8, p. 1462-1477 16 p.

    研究成果: Article

    公開
  • 1 引用 (Scopus)

    Engineering adaptive software systems: Communications of NII shonan meetings

    Yu, Y., Bandara, A., Honiden, S., Hu, Z., Tamai, T., Muller, H., Mylopoulos, J. & Nuseibeh, B., 2019 1 14, Springer Singapore. 169 p.

    研究成果: Book