Shinichi Honiden

教授(任期付)

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

Research Output 1984 2019

Filter
Conference contribution
2019
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
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

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
11 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

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
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
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
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
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
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
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
11 Citations (Scopus)

CMA-TWEANN: Efficient optimization of neural networks via self-adaptation and seamless augmentation

Moriguchi, H. & Honiden, S., 2012 Aug 13, GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation. p. 903-910 8 p.

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

Self-adaptation
Augmentation
Topology
Neural Networks
Neural networks
1 Citation (Scopus)

Component trust for web service compositions

Motallebi, M. R., Ishikawa, F. & Honiden, S., 2012 Aug 17, Intelligent Web Services Meet Social Computing - Papers from the AAAI Spring Symposium. Vol. SS-12-04. p. 52-57 6 p.

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

Web services
Chemical analysis
Bayesian networks
1 Citation (Scopus)

Efficient neuroevolution for a quadruped robot

Xu, S., Moriguchi, H. & Honiden, S., 2012 Dec 26, Simulated Evolution and Learning - 9th International Conference, SEAL 2012, Proceedings. p. 361-370 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7673 LNCS).

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

Neuroevolution
Gait
Robot
Optimise
Robots
9 Citations (Scopus)

Extracting interaction-based stateful behavior in Rich Internet Applications

Maezawa, Y., Washizaki, H. & Honiden, S., 2012, Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. p. 423-428 6 p. 6178915

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

Internet
Refining
Servers
Specifications
Communication

Identifying collaborators activities from web-mediated dialogs: The activity states framework approach

Binti Abdullah, N. N., Mendes, S., Cerri, S. A. & Honiden, S., 2012 Dec 1, Activity Context Representation: Techniques and Languages - Papers from the 2012 AAAI Workshop, Technical Report. Vol. WS-12-05. p. 18-25 8 p.

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

Communication
16 Citations (Scopus)

MiyakoDori: A memory reusing mechanism for dynamic VM consolidation

Akiyama, S., Hirofuchi, T., Takano, R. & Honiden, S., 2012 Oct 2, Proceedings - 2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012. p. 606-613 8 p. 6253557

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

Consolidation
Data storage equipment
Data transfer
Virtual machine
Energy utilization
28 Citations (Scopus)

Multi-objective service composition with time- and input-dependent QoS

Wagner, F., Klein, A., Klöpper, B., Ishikawa, F. & Honiden, S., 2012 Sep 24, Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012. p. 234-241 8 p. 6257812

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

Quality of service
Chemical analysis
Multiobjective optimization

Supporting view transition design of smartphone applications using web templates

Nishiura, K., Maezawa, Y., Ishikawa, F. & Honiden, S., 2012 Aug 23, Web Engineering - 12th International Conference, ICWE 2012, Proceedings. p. 323-331 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7387 LNCS).

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

Smartphones
Web Application
Template
World Wide Web
Transition Model
11 Citations (Scopus)

Towards dynamic evolution of self-Adaptive systems based on dynamic updating of control loops

Nakagawa, H., Ohsuga, A. & Honiden, S., 2012 Dec 1, Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2012. p. 59-68 10 p. 6394111

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

Adaptive systems
97 Citations (Scopus)

Towards network-aware service composition in the cloud

Klein, A., Ishikawa, F. & Honiden, S., 2012 May 16, WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web. p. 959-968 10 p.

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

Quality of service
Chemical analysis
Cloud computing
21 Citations (Scopus)

Towards robust service compositions in the context of functionally diverse services

Wagner, F., Klöpper, B., Ishikawa, F. & Honiden, S., 2012 May 16, WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web. p. 969-978 10 p.

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

Chemical analysis
Planning
Web services
Costs
Repair
10 Citations (Scopus)

Trust computation in web service compositions using Bayesian networks

Motallebi, M. R., Ishikawa, F. & Honiden, S., 2012 Sep 24, Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012. p. 623-625 3 p. 6257928

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

Bayesian networks
Web services
Chemical analysis
7 Citations (Scopus)

Web service selection algorithm using Vickrey auction

Watanabe, A., Ishikawa, F., Fukazawa, Y. & Honiden, S., 2012, Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012. p. 336-342 7 p. 6257825

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

Web services
Quality of service
Composite materials
Concretes
Profitability