Shinichi Honiden

教授(任期付)

  • 1716 Citations
  • 19 h-Index
1984 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1984 2019

2019

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
Formal methods
Large scale systems
Labels
Engineers
Formal specification

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

Event-B
Refactoring
Refinement
Model
Predicate
2 Citations (Scopus)

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 1, 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

Intelligent buildings
Open systems
Technical presentations
Cyber Physical System
2018
1 Citation (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

Project management
Unmanned aerial vehicles (UAV)
Value management
Earned value
Deadline

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

Retrofitting
Degradation
Testing
Experiments

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

Controllers
Specifications
1 Citation (Scopus)

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

Engineers
Reverse engineering
Refining
Concretes
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

Reinforcement learning
Specifications
Temporal logic
Testing
Cyber Physical System

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

Safety
Algorithm Analysis
Efficient Algorithms
Availability
Game
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

Computer operating systems
Linux
Costs
Virtual machine
Virtualization

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

Event-B
Graph in graph theory
State Space
Refinement
Model
1 Citation (Scopus)

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

Unified Modeling Language
Language Model
Formal Verification
Verify
Maude
4 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, Vol. Part F128005. p. 1198-1204 7 p.

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

Adaptive systems
1 Citation (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

Infrastructure
Testing
Idempotent
Converge
Decrease
2016
9 Citations (Scopus)

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.

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

Update
Controller
Controllers
Specification
Specifications
1 Citation (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

Specification
Specifications
Model
Verify
Specification languages

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

Tuning
Virtual machine
Experiments
10 Citations (Scopus)

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

Testing
Virtual machine
Costs
Experiments
7 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

Event-B
Refactoring
Refinement
Formal Specification
Decomposition
5 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

Quality of service
Chemical analysis
Planning
Graphical user interfaces
Costs

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

Software Development
Software engineering
Refinement
Experiments
Complex Analysis
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

3 Citations (Scopus)

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

Application programs
Actuators
Model checking
Sensors
4 Citations (Scopus)

Evaluating impact of live migration on data center energy saving

Akiyama, S., Hirofuchi, T. & Honiden, S., 2015 Jan 1, In : Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom. 2015-February, February, p. 759-762 4 p., 7037757.

Research output: Contribution to journalConference article

Data Center
Virtual Machine
Energy Saving
Migration
Energy conservation
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

Feedback
Experiments
59 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

Software engineering
Application programs
Medical applications
Mobile devices
Ecosystems
19 Citations (Scopus)
Wireless sensor networks
Software engineering
2014
5 Citations (Scopus)

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

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

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

Software engineering
Experiments
2 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

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

Software engineering
Costs
1 Citation (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

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

Testing
Function generators
Feedback
3 Citations (Scopus)

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

Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2014 Jan 1, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. IEEE Computer Society, p. 40-47 8 p. 6973722

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

Data storage equipment
Energy resources
Cloud computing
Energy efficiency
Servers

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), Vol. 2. p. 1537-1538 2 p.

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

Poles
38 Citations (Scopus)

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

Quality of service
Chemical analysis
Service composition
Adaptive algorithms
Latency
2 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

Wireless sensor networks
Computer operating systems
Middleware
Hardware
Communication
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

Event-B
Large scale systems
Refinement
Planning
Specifications
4 Citations (Scopus)

Validating Ajax applications using a delay-based mutation technique

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

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

XML
Testing
2013
9 Citations (Scopus)

A goal model elaboration for localizing changes in software evolution

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

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

Software engineering
4 Citations (Scopus)

Automated verification of pattern-based interaction invariants in Ajax applications

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

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

XML

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.

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

Image recognition
Experiments
10 Citations (Scopus)

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

Data storage equipment
Wide area networks
Disasters
Resource allocation
Bandwidth
5 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. Vol. 1. p. 408-413 6 p. 6529825

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

Fault tolerance
Wireless sensor networks
Time series analysis
Pattern recognition
Quality of service
2 Citations (Scopus)

Faults in Sensory Readings: Classification and Model Learning

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

Research output: Contribution to specialist publicationArticle

Wireless sensor networks
Time series analysis
Decision trees
Pattern recognition
7 Citations (Scopus)

Mutation analysis for Java script web application testing

Nishiura, K., Maezawa, Y., Washizaki, H. & Honiden, S., 2013, Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. January ed. Knowledge Systems Institute Graduate School, Vol. 2013-January. p. 159-165 7 p.

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

Testing
3 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

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

Neuroevolution
Robot
Robots
Topology
Costs
2012
1 Citation (Scopus)

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

Task Assignment
Multi agent systems
Multi-agent Systems
Requirements
System Architecture
5 Citations (Scopus)

A multi-objective evolutionary approach to scheduling for evolving manufacturing systems

Klöpper, B., Pater, J. P., Honiden, S. & Dangelmaier, W., 2012 Mar 1, In : Evolving Systems. 3, 1, p. 31-44 14 p.

Research output: Contribution to journalArticle

Manufacturing
Scheduling
Schedule
Flexibility
Evolutionary multiobjective Optimization
1 Citation (Scopus)

Applying QoS-aware service selection on functionally diverse services

Wagner, F., Ishikawa, F. & Honiden, S., 2012 Sep 3, Service-Oriented Computing, ICSOC 2011 Workshops - ICSOC 2011 International Workshops, WESOA, NFPSLAM-SOC, and Satellite Events, Revised Selected Papers. p. 100-113 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7221 LNCS).

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

Service Selection
Heuristic algorithms
Quality of service
Heuristic algorithm
Repair

A probabilistic approach for long-term B2B service compositions

Klein, A., Wagner, F., Ishikawa, F. & Honiden, S., 2012 Sep 24, Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012. p. 259-266 8 p. 6257815

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

Quality of service
Chemical analysis
Concretes
Adaptive algorithms
Industry
1 Citation (Scopus)

Case studies on the development of wireless sensor network applications using multiple abstraction levels

Shimizu, R., Tei, K., Fukazawa, Y. & Honiden, S., 2012, 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings. p. 22-28 7 p. 6225730

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

Wireless sensor networks
Concretes
Communication