Shinichi Honiden

教授(任期付)

  • 1808 Citations
  • 20 h-Index
1984 …2020

Research output per year

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

Research Output

2020

A robust and flexible operating system compatibility architecture

Saeki, T., Nishiwaki, Y., Shinagawa, T. & Shinichi, H., 2020 Mar 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).

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

Open Access
2019

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

Aizawa, K., Tei, K. & Honiden, S., 2019 Aug, 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).

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

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

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 Jan 14, Springer Singapore. 169 p.

Research output: Book/ReportBook

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)

Preface

Yu, Y., Bandara, A., Honiden, S., Hu, Z., Tamai, T., Muller, H., Mylopoulos, J. & Nuseibeh, B., 2019 Jan 14, Engineering adaptive software systems: Communications of nii shonan meetings. Springer Singapore, p. v-vi

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

2018

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

Dynamic Update of Discrete Event Controllers

Nahabedian, L., Braberman, V., DIppolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2018 Jan 1, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Extracting Traceability between Predicates in Event-B Refinement

Saruwatari, S., Ishikawa, F., Kobayashi, T. & Honiden, S., 2018 Mar 1, Proceedings - 24th Asia-Pacific Software Engineering Conference, APSEC 2017. IEEE Computer Society, Vol. 2017-December. p. 61-70 10 p.

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

1 Citation (Scopus)

Falsification of cyber-physical systems with reinforcement learning

Kato, K., Ishikawa, F. & Honiden, S., 2018 Aug 7, Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 5-6 2 p. 8429476

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

2 Citations (Scopus)

Foreword from the 2018 General Chairs - Volume 1

Honiden, S. & Fujii, R. U., 2018 Jun 8, In : Proceedings - International Computer Software and Applications Conference. 1, p. xxix-xxx 8377629.

Research output: Contribution to journalEditorial

Identifying safety properties guaranteed in changed environment at runtime

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

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

1 Citation (Scopus)
2017

Bash on ubuntu on macOS

Saeki, T., Nishiwaki, Y., Shinagawa, T. & Honiden, S., 2017 Sep 2, Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017. Association for Computing Machinery, Inc, 3124733

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

1 Citation (Scopus)

Construction of abstract state graphs for understanding event-B models

Morita, D., Ishikawa, F. & Honiden, S., 2017 Jan 1, Dependable Software Engineering: Theories, Tools, and Applications - 3rd International Symposium, SETTA 2017, Proceedings. Springer-Verlag, p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10606 LNCS).

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

Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects

Tahara, Y., Ohsuga, A. & Honiden, S., 2017 Jul 3, Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017. Institute of Electrical and Electronics Engineers Inc., p. 152-162 11 p. 7968143

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

2 Citations (Scopus)

Learning environment model at runtime for self-adaptive systems

Tanabe, M., Tei, K., Fukazawa, Y. & Honiden, S., 2017 Apr 3, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 1198-1204 7 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).

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

4 Citations (Scopus)

Test suite reduction in idempotence testing of infrastructure as code

Ikeshita, K., Ishikawa, F. & Honiden, S., 2017 Jan 1, Tests and Proofs - 11th International Conference, TAP 2017 Held as Part of STAF 2017, Proceedings. Springer-Verlag, p. 98-115 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10375 LNCS).

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

2 Citations (Scopus)
2016

Assured and correct dynamic update of controllers

Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K. & Uchitel, S., 2016 May 14, Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc, p. 96-107 12 p. (Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016).

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

9 Citations (Scopus)

Automatic generation of potentially pathological instances for validating alloy models

Saeki, T., Ishikawa, F. & Honiden, S., 2016 Jan 1, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings. Springer-Verlag, p. 41-56 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10009 LNCS).

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

1 Citation (Scopus)

Fast live migration for IO-intensive VMs with parallel and adaptive transfer of page cache via SAN

Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2016 Dec 1, In : IEICE Transactions on Information and Systems. E99D, 12, p. 3024-3034 11 p.

Research output: Contribution to journalArticle

MuVM: Higher Order Mutation Analysis Virtual Machine for C

Tokumoto, S., Yoshida, H., Sakamoto, K. & Honiden, S., 2016 Jul 18, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 320-329 10 p. 7515483

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

11 Citations (Scopus)

Refactoring refinement structure of event-B machines

Kobayashi, T., Ishikawa, F. & Honiden, S., 2016 Jan 1, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Springer-Verlag, p. 444-459 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

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

7 Citations (Scopus)

Robust Service Compositions with Functional and Location Diversity

Wagner, F., Ishikawa, F. & Honiden, S., 2016 Mar 1, In : IEEE Transactions on Services Computing. 9, 2, p. 277-290 14 p., 6690106.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Stepwise refinement of software development problem analysis

Kobayashi, T., Ishikawa, F. & Honiden, S., 2016 Jan 1, Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Springer-Verlag, p. 488-495 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9974 LNCS).

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

2015

Abstract rewriting approach to solve datalog programs

Morales, F. T., Isihikawa, F. & Honiden, S., 2015 Oct 27, DBPL 2015 - Proceedings of the 15th Symposium on Database Programming Languages. Association for Computing Machinery, Inc, p. 29-36 8 p.

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

An Application Conflict Detection and Resolution System for Smart Homes

Yagita, M., Ishikawa, F. & Honiden, S., 2015 Jul 30, Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers Inc., p. 33-39 7 p. 7173941

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

5 Citations (Scopus)

Evaluating impact of live migration on data center energy saving

Akiyama, S., Hirofuchi, T. & Honiden, S., 2015 Feb 9, Proceedings - 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014. February ed. IEEE Computer Society, p. 759-762 4 p. 7037757. (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom; vol. 2015-February, no. February).

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

5 Citations (Scopus)

Feedback-controlled random test generation

Yatoh, K., Sakamoto, K., Ishikawa, F. & Honiden, S., 2015 Jul 13, 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. Association for Computing Machinery, Inc, p. 316-326 11 p.

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

5 Citations (Scopus)

Investigating country differences in mobile app user behavior and challenges for software engineering

Lim, S. L., Bentley, P. J., Kanakam, N., Ishikawa, F. & Honiden, S., 2015 Jan 1, In : IEEE Transactions on Software Engineering. 41, 1, p. 40-64 25 p., 6913003.

Research output: Contribution to journalArticle

71 Citations (Scopus)
21 Citations (Scopus)
2014

An approach for evaluating and suggesting method names using N-gram models

Suzuki, T., Sakamoto, K., Ishikawa, F. & Honiden, S., 2014 Jun 2, 22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings. Association for Computing Machinery, Inc, p. 271-274 4 p. (22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings).

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

5 Citations (Scopus)

Application of requirements prioritization decision rules in software product line evolution

Inoki, M., Kitagawa, T. & Honiden, S., 2014 Jan 1, 2014 IEEE 5th International Workshop on Requirements Prioritization and Communication, RePriCo 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. 6895216. (2014 IEEE 5th International Workshop on Requirements Prioritization and Communication, RePriCo 2014 - Proceedings).

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

2 Citations (Scopus)

ArbitCheck: A highly automated property-based testing tool for Java

Yatoh, K., Sakamoto, K., Ishikawa, F. & Honiden, S., 2014 Jan 1, Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014. IEEE Computer Society, p. 405-412 8 p. 6825695. (Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014).

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

2 Citations (Scopus)

Fast live migration with small IO performance penalty by exploiting SAN in parallel

Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2014 Dec 3, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. Kesselman, C. (ed.). IEEE Computer Society, p. 40-47 8 p. 6973722. (IEEE International Conference on Cloud Computing, CLOUD).

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

4 Citations (Scopus)

Sample efficiency improvement on neuroevolution via estimation-based elimination strategy

Xu, S., Inoue, Y., Inamura, T., Moriguchi, H. & Honiden, S., 2014 Jan 1, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1537-1538 2 p. (13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014; vol. 2).

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

SanGA: A self-adaptive network-aware approach to service composition

Klein, A., Ishikawa, F. & Honiden, S., 2014 Jul 1, In : IEEE Transactions on Services Computing. 7, 3, p. 452-464 13 p., 6409350.

Research output: Contribution to journalArticle

40 Citations (Scopus)

Toward a portability framework with multi-level models for wireless sensor network software

Shimizu, R., Tei, K., Fukazawa, Y. & Honiden, S., 2014 Feb 17, Proceedings of 2014 International Conference on Smart Computing, SMARTCOMP 2014. Institute of Electrical and Electronics Engineers Inc., p. 253-260 8 p. 7043866

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

2 Citations (Scopus)

Understanding and planning Event-B refinement through primitive rationales

Kobayashi, T., Ishikawa, F. & Honiden, S., 2014 Jan 1, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. Springer Verlag, p. 277-283 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8477 LNCS).

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

2 Citations (Scopus)

Validating Ajax applications using a delay-based mutation technique

Maezawa, Y., Nishiura, K., Honiden, S. & Washizaki, H., 2014 Jan 1, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 491-501 11 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

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

5 Citations (Scopus)
2013

A goal model elaboration for localizing changes in software evolution

Nakagawa, H., Ohsuga, A. & Honiden, S., 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. IEEE Computer Society, p. 155-164 10 p. 6636715. (2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings).

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

9 Citations (Scopus)

Automated verification of pattern-based interaction invariants in Ajax applications

Maezawa, Y., Washizaki, H., Tanabe, Y. & Honiden, S., 2013 Dec 1, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 158-168 11 p. 6693076. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

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

4 Citations (Scopus)

Automatic image description by using word-level features

Horiuchi, S., Moriguchi, H., Honiden, S. & Xu, S., 2013 Sep 16, ICIMCS 2013 - Proceedings of the 5th International Conference on Internet Multimedia Computing and Service. p. 309-314 6 p. (ACM International Conference Proceeding Series).

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

Fast wide area live migration with a low overhead through page cache teleportation

Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2013 Aug 14, p. 78-82. 5 p.

Research output: Contribution to conferencePaper

10 Citations (Scopus)

Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks

Baljak, V., Tei, K. & Honiden, S., 2013 Aug 9, Proceedings of the 2013 IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing: Sensing the Future, ISSNIP 2013. p. 408-413 6 p. 6529825. (Proceedings of the 2013 IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing: Sensing the Future, ISSNIP 2013; vol. 1).

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

5 Citations (Scopus)

Faults in Sensory Readings: Classification and Model Learning

Baljak, V., Kenji, T. & Honiden, S., 2013 Jul 23, Sensors and Transducers, 18, SPEC.ISS.1, p. 177-187 11 p.

Research output: Contribution to specialist publicationArticle

3 Citations (Scopus)

Mutation analysis for Java script web application testing

Nishiura, K., Maezawa, Y., Washizaki, H. & Honiden, S., 2013 Jan 1, In : Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 2013-January, January, p. 159-165 7 p.

Research output: Contribution to journalConference article

7 Citations (Scopus)

Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot

Xu, S., Moriguch, H. & Honiden, S., 2013 Aug 21, 2013 IEEE Congress on Evolutionary Computation, CEC 2013. p. 2170-2177 8 p. 6557826. (2013 IEEE Congress on Evolutionary Computation, CEC 2013).

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

3 Citations (Scopus)
2012

A framework for validating task assignment in multiagent systems using requirements importance

Nakagawa, H., Yoshioka, N., Ohsuga, A. & Honiden, S., 2012 Dec 1, Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Revised Selected Papers. p. 443-458 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7057 LNAI).

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

1 Citation (Scopus)