| 2026 | GECCO | Should I Overtake? Cue Learning using Evolution for Accurate Recognition of Safe Autonomous Vehicle Maneuvers. | Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa, Paolo Arcaini |
| 2026 | HRI | Coordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing. | Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena |
| 2026 | SANER | Search-Based Testing for an Autonomous Delivery Robots Scheduler. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa |
| 2025 | GECCO | CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction. | Peter J. Bentley, Soo Ling Lim, Fuyuki Ishikawa |
| 2025 | GECCO | Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System (Hot off the Press at GECCO 2025). | Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa |
| 2025 | QCE | On the Effectiveness of Combining Multiple Quantum Services for the Reliability of Outputs. | Fuyuki Ishikawa, Shinobu Saito |
| 2025 | SANER | Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. | Sebastian Schneider, Tomas Sujovolsky, Paolo Arcaini, Fuyuki Ishikawa, Truong Vinh Truong Duy |
| 2025 | SERA | Investigating the Applicability of Image Generation Models to Weakness Detection Tasks. | Haruki Yokoyama, Fuyuki Ishikawa |
| 2024 | CEC | SCAPE: Searching Conceptual Architecture Prompts using Evolution. | Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa |
| 2024 | GECCO | Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). | Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2024 | GECCO | Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. | Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao |
| 2024 | ICFEM | Repairing Event-B Models Through Quantifier Elimination. | Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2024 | ICFEM | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. | Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont |
| 2024 | ICSE | Technical Briefing on Deep Neural Network Repair. | Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang |
| 2024 | ICST | Metamorphic Testing of an Autonomous Delivery Robots Scheduler. | Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa |
| 2024 | UCC | Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving. | Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | APSEC | Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | CEC | Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. | Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | FM | Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. | Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa |
| 2023 | GECCO | Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. | Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | GECCO | Adaptive Search-based Repair of Deep Neural Networks. | Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | ICECCS | Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. | Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | ICST | Distributed Repair of Deep Neural Networks. | Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2023 | SERA | Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM. | Masumi Kawakami, Fuyuki Ishikawa |
| 2022 | CAIN | Practical insights of repairing model problems on image classification. | Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa |
| 2022 | GECCO | Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). | Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie |
| 2022 | ICST | Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. | Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa |
| 2022 | ISoLA | Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. | Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa |
| 2022 | RE | Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. | Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa |
| 2021 | GECCO | Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2021 | ICST | Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. | Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa |
| 2021 | ISSRE | What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. | Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2021 | KDD | 2nd International Workshop on Data Quality Assessment for Machine Learning. | Hima Patel, Fuyuki Ishikawa, Laure Berti-quille, Nitin Gupta, Sameep Mehta, Satoshi Masuda, Shashank Mujumdar, Shazia Afzal, Srikanta Bedathur, Yasuharu Nishi |
| 2021 | SAFECOMP | Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. | Kenji Taguchi, Fuyuki Ishikawa |
| 2021 | TAP | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2020 | GECCO | Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. | Alessandro Cal, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | ICECCS | Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2020 | ICFEM | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | ICSE | Leveraging test logs for building a self-adaptive path planner. | Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao |
| 2020 | ICST | Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. | Alessandro Cal, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa |
| 2020 | ISSRE | Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges. | Fuyuki Ishikawa |
| 2020 | ISSRE | Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. | Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu |
| 2020 | KES | Automated Clustering and Knowledge Acquisition Support for Beginners. | Ryota Kamoshida, Fuyuki Ishikawa |
| 2020 | RE | Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. | Fuyuki Ishikawa, Yutaka Matsuno |
| 2020 | RE | Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation. | Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa |
| 2020 | SEKE | Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. | Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya |
| 2019 | APSEC | A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2019 | GECCO | Stability analysis for safety of automotive multi-product lines: a search-based approach. | Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa |
| 2019 | ICECCS | Assessing the Relation Between Hazards and Variability in Automotive Systems. | Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | ICSE | How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey. | Fuyuki Ishikawa, Nobukazu Yoshioka |
| 2019 | ICST | Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. | Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee |
| 2019 | ISSRE | Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. | Hiroshi Kuwajima, Fuyuki Ishikawa |
| 2019 | PRDC | Learning-Based Falsification for Model Families of Cyber-Physical Systems. | Koki Kato, Fuyuki Ishikawa |
| 2019 | SAC | Contemporary requirements challenges and issues: an empirical study in 11 organizations. | Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa |
| 2019 | SAFECOMP | Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. | Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto |
| 2018 | APSEC | Report of iMLSE-18: the 1 | Fuyuki Ishikawa, Foutse Khomh, Nobukazu Yoshioka, Giuliano Antoniol |
| 2018 | ER | Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. | Fuyuki Ishikawa |
| 2018 | ICFEM | Analysis on Strategies of Superposition Refinement of Event-B Specifications. | Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2018 | SAFECOMP | Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. | Fuyuki Ishikawa, Yutaka Matsuno |
| 2017 | APSEC | Extracting Traceability between Predicates in Event-B Refinement. | Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden |
| 2017 | SETTA | Construction of Abstract State Graphs for Understanding Event-B Models. | Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden |
| 2017 | TAP | Test Suite Reduction in Idempotence Testing of Infrastructure as Code. | Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | ER | Stepwise Refinement of Software Development Problem Analysis. | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | FM | Refactoring Refinement Structure of Event-B Machines. | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | ICFEM | Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. | Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden |
| 2015 | FM | Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. | Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe |
| 2015 | FM | Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. | Taro Kurita, Fuyuki Ishikawa, Keijiro Araki |
| 2015 | FM | Separation of Considerations in Event-B Refinement toward Industrial Use. | Naoto Sato, Fuyuki Ishikawa |
| 2015 | HPCC | Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm. | Quanwang Wu, Fuyuki Ishikawa |
| 2015 | ICSE | An Application Conflict Detection and Resolution System for Smart Homes. | Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden |
| 2015 | ISSTA | Feedback-controlled random test generation. | Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
| 2014 | ICST | ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. | Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
| 2014 | RE | On requirements representation and reasoning using answer set programming. | Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa |
| 2013 | ICWS | Intention-Based Automated Composition Approach for Coordination Protocol. | Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa |
| 2012 | ICWE | Supporting View Transition Design of Smartphone Applications Using Web Templates. | Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | A Probabilistic Approach for Long-Term B2B Service Compositions. | Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | Trust Computation in Web Service Compositions Using Bayesian Networks. | Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | Multi-objective Service Composition with Time- and Input-Dependent QoS. | Florian Wagner, Adrian Klein, Benjamin Klpper, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | ICWS | Web Service Selection Algorithm Using Vickrey Auction. | Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden |
| 2012 | WWW | Towards network-aware service composition in the cloud. | Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden |
| 2012 | WWW | Towards robust service compositions in the context of functionally diverse services. | Florian Wagner, Benjamin Klpper, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICSOC | Applying QoS-Aware Service Selection on Functionally Diverse Services. | Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICWS | Service Selection with Combinational Use of Functionally-Equivalent Services. | Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICWS | Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. | Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | ICWS | QoS-Aware Automatic Service Composition by Applying Functional Clustering. | Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden |
| 2011 | SMC | Formal verification of business processes with temporal and resource constraints. | Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi |
| 2010 | ECAI | Extraction of Places Related to Flickr Tags. | Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | ICSOC | Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle. | Fuyuki Ishikawa |
| 2010 | ICSOC | Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. | Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | ICSOC | Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. | Benjamin Klpper, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | SERVICES | Description and Matching of Triggering Capabilities in Event-Driven Services. | Fuyuki Ishikawa |
| 2010 | SERVICES | Business Semantics Centric Reliability Testing for Web Services in BPEL. | Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden |
| 2009 | ICSOC | A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns. | Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer |
| 2009 | RE | Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. | Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden |
| 2009 | SEFM | Specifying and Checking Refinement Relationships in VDM++. | Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden |
| 2009 | SERVICES | A Constraint-Based Approach for Developing Consistent Contracts in Composite Services. | Basem Suleiman, Fuyuki Ishikawa |
| 2008 | EDOC | Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. | Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa |
| 2008 | PERCOM | A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. | Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden |
| 2008 | SAC | Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. | Alessandro Ricci, Eric Platon, Fuyuki Ishikawa, Danny Weyns |
| 2007 | APSCC | Developing Consistent Contractual Policies in Service Composition. | Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden |
| 2007 | ICWS | Policy-based Runtime Partner Management in ProcessBased Services. | Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden |
| 2007 | ICWS | Protocol Selection alongside Service Selection and Composition. | Jos Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden |
| 2006 | ICTAI | PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. | Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden |
| 2004 | ICWS | Behavior Descriptions of Mobile Agents for Web Services Integration. | Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden |