Shinichi Honiden

教授(任期付)

  • 1804 Citations
  • 20 h-Index
1984 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Shinichi Honiden is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Change impact analysis for refinement-based formal specification

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

Research output: Contribution to journalArticle

Open Access
  • Consistency-preserving refactoring of refinement structures in Event-B models

    Kobayashi, T., Ishikawa, F. & Honiden, S., 2019 Jan 1, In : Formal Aspects of Computing.

    Research output: Contribution to journalArticle

  • 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 others, Schmidt, H., Tsigkanos, C. & Zhao, H., 2019 May, 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; vol. 2019-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Citations (Scopus)

    Applicability of earned value management for deadline energy constrained applications

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Citation (Scopus)

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution