本位田 真一

教授(任期付)

  • 1792 引用
  • 20 h指数
1984 …2019

Research output per year

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

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

  • 2 同様のプロファイル

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

研究成果

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

公開
  • Modelling and Analysing Resilient Cyber-Physical Systems

    Bennaceur, A., Ghezzi, C., Tei, K., Kehrer, T., Weyns, D., Calinescu, R., Dustdar, S., Hu, Z., Honiden, S., Ishikawa, F., Jin, Z., Kramer, J., Litoiu, M., Loreti, M., Moreno, G., Muller, H., Nenzi, L., Nuseibeh, B., Pasquale, L., Reisig, W. および3人, Schmidt, H., Tsigkanos, C. & Zhao, H., 2019 5, Proceedings - 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2019. IEEE Computer Society, p. 70-76 7 p. 8787077. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems; 巻数 2019-May).

    研究成果: Conference contribution

  • 2 引用 (Scopus)

    Applicability of earned value management for deadline energy constrained applications

    Suenaga, S., Tei, K. & Honiden, S., 2018 2 9, 2017 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2017. IEEE Computer Society, 巻 2017-December. p. 691-695 5 p.

    研究成果: Conference contribution

  • 1 引用 (Scopus)

    AutoPUT: An automated technique for retrofitting closed unit tests into parameterized unit tests

    Tsukamoto, K., Maezawa, Y. & Honiden, S., 2018 4 9, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, 巻 Part F137816. p. 1944-1951 8 p.

    研究成果: Conference contribution