Behavior Descriptions of Mobile Agents for Web Services Integration. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (ICWS, 2004)

Mobile Agent System for Web Services Integration in Pervasive Networks. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (IWUC, 2004)

Mobile and Cooperative Compounds of Multimedia Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (IEEE SCC, 2005)

Agent synthesis: partnership and agreement in cooperative mobile agents. - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (AAMAS, 2005)

Incorporating Agreements on Service Options into BPEL-based Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (CIMCA/IAWTIC, 2005)

Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (ICEIS (4), 2005)

A framework for synthesis of web services and mobile agents. - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (Int. J. Pervasive Comput. Commun., 2005)

Mobile agent system for Web service integration in pervasive network. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (Syst. Comput. Jpn., 2005)

Service-oriented and autonomous distribution and provision of multimedia contents. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (AAMAS, 2006)

Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (CIMCA/IAWTIC, 2006)

Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. - Truong Khanh Quan; Fuyuki Ishikawa; Shinichi Honiden (CIMCA/IAWTIC, 2006)

PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. - Satoshi Kataoka; Fuyuki Ishikawa; Shinichi Honiden (ICTAI, 2006)

Formal model of mobile BPEL4WS process. - Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden (Int. J. Bus. Process. Integr. Manag., 2006)

Developing Consistent Contractual Policies in Service Composition. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (APSCC, 2007)

Policy-based Runtime Partner Management in ProcessBased Services. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (ICWS, 2007)

Protocol Selection alongside Service Selection and Composition. - José Ghislain Quenum; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2007)

Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. - Fuyuki Ishikawa; Nobukazu Yoshioka; Shinichi Honiden (OTM Conferences (1), 2007)

Improving Accuracy of Recommender System by Item Clustering. - KhanhQuan Truong; Fuyuki Ishikawa; Shinichi Honiden (IEICE Trans. Inf. Syst., 2007)

A hierarchical mobile agent framework and its application to multimedia contents. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden (Syst. Comput. Jpn., 2007)

Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach. - Soo Ling Lim; Fuyuki Ishikawa; Eric Platon; Karl Cox (IEEE SCC (2), 2008)

Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. - Ryuichi Takahashi; Kenji Tei; Fuyuki Ishikawa; Shinichi Honiden; Yoshiaki Fukazawa (EDOC, 2008)

A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. - Ryuichi Takahashi; Kenji Tei; Fuyuki Ishikawa; Yoshiaki Fukazawa; Shinichi Honiden (PerCom, 2008)

Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message. - Alessandro Ricci; Eric Platon; Fuyuki Ishikawa; Danny Weyns (SAC, 2008)

Physical interaction in pervasive computing: formal modeling, analysis and verification. - Fuyuki Ishikawa; Basem Suleiman; Kayoko Yamamoto; Shinichi Honiden (ICPS, 2009)

A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns. - Adrian Klein; Fuyuki Ishikawa; Bernhard Bauer 001 (ICSOC/ServiceWave, 2009)

Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering. - Fuyuki Ishikawa; Rihoko Inoue; Shinichi Honiden (RELAW, 2009)

Specifying and Checking Refinement Relationships in VDM++. - Yojiro Kawamata; Christian Sommer 001; Fuyuki Ishikawa; Shinichi Honiden (SEFM, 2009)

A Constraint-Based Approach for Developing Consistent Contracts in Composite Services. - Basem Suleiman; Fuyuki Ishikawa (SERVICES I, 2009)

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. - Fuyuki Ishikawa; Kenji Taguchi 001; Nobukazu Yoshioka; Shinichi Honiden (TFM, 2009)

On Applicability of Formal Methods and Tools to Dependable Services. - Fuyuki Ishikawa; Shinichi Honiden (IEICE Trans. Commun., 2009)

Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods. - Fuyuki Ishikawa (IEEE SCC, 2010)

Extraction of Places Related to Flickr Tags. - Yukino Baba; Fuyuki Ishikawa; Shinichi Honiden (ECAI, 2010)

Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle. - Fuyuki Ishikawa (ICSOC, 2010)

Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (ICSOC, 2010)

Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes. - Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (ICSOC, 2010)

Description and Matching of Triggering Capabilities in Event-Driven Services. - Fuyuki Ishikawa (SERVICES, 2010)

Business Semantics Centric Reliability Testing for Web Services in BPEL. - Yongbo Wang; Fuyuki Ishikawa; Shinichi Honiden (SERVICES, 2010)

Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures. - Fuyuki Ishikawa; Satoshi Katafuchi; Florian Wagner 001; Yoshiaki Fukazawa; Shinichi Honiden (IEEE SCC, 2011)

Applying QoS-Aware Service Selection on Functionally Diverse Services. - Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (ICSOC Workshops, 2011)

Service Selection with Combinational Use of Functionally-Equivalent Services. - Nobuaki Hiratsuka; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2011)

Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2011)

QoS-Aware Automatic Service Composition by Applying Functional Clustering. - Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2011)

Formal verification of business processes with temporal and resource constraints. - Kenji Watahiki; Fuyuki Ishikawa; Kunihiko Hiraishi (SMC, 2011)

Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages. - Kazunori Sakamoto; Fuyuki Ishikawa; Hironori Washizaki; Yoshiaki Fukazawa (IEICE Trans. Inf. Syst., 2011)

Component Trust for Web Service Compositions. - Mohammad-Reza Motallebi; Fuyuki Ishikawa; Shinichi Honiden (AAAI Spring Symposium: Intelligent Web Services Meet Social Computing, 2012)

Supporting View Transition Design of Smartphone Applications Using Web Templates. - Kazuki Nishiura; Yuta Maezawa; Fuyuki Ishikawa; Shinichi Honiden (ICWE, 2012)

A Probabilistic Approach for Long-Term B2B Service Compositions. - Adrian Klein; Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2012)

Trust Computation in Web Service Compositions Using Bayesian Networks. - Mohammad-Reza Motallebi; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2012)

Multi-objective Service Composition with Time- and Input-Dependent QoS. - Florian Wagner 001; Adrian Klein; Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (ICWS, 2012)

Web Service Selection Algorithm Using Vickrey Auction. - Atsushi Watanabe; Fuyuki Ishikawa; Yoshiaki Fukazawa; Shinichi Honiden (ICWS, 2012)

Towards network-aware service composition in the cloud. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (WWW, 2012)

Towards robust service compositions in the context of functionally diverse services. - Florian Wagner 001; Benjamin Klöpper; Fuyuki Ishikawa; Shinichi Honiden (WWW, 2012)

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) - Fuyuki Ishikawa; Alexander B. Romanovsky (CoRR, 2012)

Using Web 2.0 for Stakeholder Analysis: StakeSource and Its Application in Ten Industrial Projects. - Soo Ling Lim; Daniela E. Damian; Fuyuki Ishikawa; Anthony Finkelstein (Managing Requirements Knowledge, 2013)

Intention-Based Automated Composition Approach for Coordination Protocol. - Ryuichi Takahashi; Fuyuki Ishikawa; Kenji Tei; Yoshiaki Fukazawa (ICWS, 2013)

A communication process for global requirements engineering. - Sajid Ibrahim Hashmi; Fuyuki Ishikawa; Ita Richardson (ICSSP, 2013)

A Scalable Distributed Architecture for Network- and QoS-aware Service Composition - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (CoRR, 2013)

QoS-based Service Selection. - Fuyuki Ishikawa (Web Services Foundations, 2014)

Understanding and Planning Event-B Refinement through Primitive Rationales. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (ABZ, 2014)

ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ICST Workshops, 2014)

An approach for evaluating and suggesting method names using n-gram models. - Takayuki Suzuki; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ICPC, 2014)

International Workshop on Web Intelligence and Smart Sensing IWWISS'2014. - Pierre Maret; Fuyuki Ishikawa; Satoshi Honda; Takuro Yonezawa; Rajendra Akerkar; Till Riedel (IWWISS, 2014)

Towards Service Skyline for Multi-granularity Service Composition. - Quanwang Wu; Fuyuki Ishikawa (IWWISS, 2014)

On requirements representation and reasoning using answer set programming. - Julian A. Padget; Emad Eldeen Elakehal; Ken Satoh; Fuyuki Ishikawa (AIRE, 2014)

A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics. - Dong-Hoon Shin; Kyong-Ho Lee; Fuyuki Ishikawa (Int. J. Web Grid Serv., 2014)

Broker-based SLA-aware composite service provisioning. - Quanwang Wu; Qingsheng Zhu; Xing Jian; Fuyuki Ishikawa (J. Syst. Softw., 2014)

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). - Fuyuki Ishikawa; Alexander B. Romanovsky (NII Shonan Meet. Rep., 2014)

SanGA: A Self-Adaptive Network-Aware Approach to Service Composition. - Adrian Klein; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Serv. Comput., 2014)

Abstract rewriting Approach to solve Datalog programs. - Fernando Tarin Morales; Fuyuki Ishikawa; Shinichi Honiden (DBPL, 2015)

Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. - Fuyuki Ishikawa; Nobukazu Yoshioka; Yoshinori Tanabe (FMSEE&T@FM, 2015)

Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. - Taro Kurita; Fuyuki Ishikawa; Keijiro Araki (FM, 2015)

Separation of Considerations in Event-B Refinement toward Industrial Use. - Naoto Sato; Fuyuki Ishikawa (FMSEE&T@FM, 2015)

Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm. - Quanwang Wu; Fuyuki Ishikawa (HPCC/CSS/ICESS, 2015)

An Application Conflict Detection and Resolution System for Smart Homes. - Miki Yagita; Fuyuki Ishikawa; Shinichi Honiden (SEsCPS@ICSE, 2015)

Feedback-controlled random test generation. - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ISSTA, 2015)

Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering. - Soo Ling Lim; Peter J. Bentley; Natalie Kanakam; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Software Eng., 2015)

Stepwise Refinement of Software Development Problem Analysis. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (ER, 2016)

Refactoring Refinement Structure of Event-B Machines. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (FM, 2016)

Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. - Takaya Saeki; Fuyuki Ishikawa; Shinichi Honiden (ICFEM, 2016)

The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store. - Soo Ling Lim; Peter J. Bentley; Fuyuki Ishikawa (IEEE Trans. Evol. Comput., 2016)

Robust Service Compositions with Functional and Location Diversity. - Florian Wagner 001; Fuyuki Ishikawa; Shinichi Honiden (IEEE Trans. Serv. Comput., 2016)

QoS-Aware Multigranularity Service Composition: Modeling and Optimization. - Quanwang Wu; Fuyuki Ishikawa; Qingsheng Zhu; Dong-Hoon Shin (IEEE Trans. Syst. Man Cybern. Syst., 2016)

Extracting Traceability between Predicates in Event-B Refinement. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (APSEC, 2017)

Construction of Abstract State Graphs for Understanding Event-B Models. - Daichi Morita; Fuyuki Ishikawa; Shinichi Honiden (SETTA, 2017)

Test Suite Reduction in Idempotence Testing of Infrastructure as Code. - Katsuhiko Ikeshita; Fuyuki Ishikawa; Shinichi Honiden (TAP@STAF, 2017)

Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). - Fuyuki Ishikawa; Peter Gorm Larsen; John S. Fitzgerald (NII Shonan Meet. Rep., 2017)

Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11). - Hausi A. Müller; Fuyuki Ishikawa; Marin Litoiu (NII Shonan Meet. Rep., 2017)

Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds. - Quanwang Wu; Fuyuki Ishikawa; Qingsheng Zhu; Yunni Xia; Junhao Wen 001 (IEEE Trans. Parallel Distributed Syst., 2017)

Report of iMLSE-18: the 1st International Workshop on Machine Learning Systems Engineering. - Fuyuki Ishikawa; Foutse Khomh; Nobukazu Yoshioka; Giuliano Antoniol (WESPr-iMLSE@APSEC, 2018)

Falsification of Cyber-Physical Systems with Reinforcement Learning. - Koki Kato; Fuyuki Ishikawa; Shinichi Honiden (MT@CPSWeek, 2018)

Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. - Fuyuki Ishikawa (ER, 2018)

Analysis on Strategies of Superposition Refinement of Event-B Specifications. - Tsutomu Kobayashi; Fuyuki Ishikawa (ICFEM, 2018)

Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. - Fuyuki Ishikawa; Yutaka Matsuno (SAFECOMP Workshops, 2018)

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). - Fuyuki Ishikawa; Alexander B. Romanovsky; Thierry Lecomte (NII Shonan Meet. Rep., 2018)

A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. - Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (APSEC, 2019)

Stability analysis for safety of automotive multi-product lines: a search-based approach. - Nian-Ze Lee; Paolo Arcaini; Shaukat Ali 001; Fuyuki Ishikawa (GECCO, 2019)

A Refinement Based Method for Developing Distributed Protocols. - Paulius Stankaitis; Alexei Iliasov; Yamine Aït Ameur; Tsutomu Kobayashi; Fuyuki Ishikawa; Alexander B. Romanovsky (HASE, 2019)

Assessing the Relation Between Hazards and Variability in Automotive Systems. - Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (ICECCS, 2019)

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; et al. (SEAMS@ICSE, 2019)

How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey. - Fuyuki Ishikawa; Nobukazu Yoshioka (CESSER-IP@ICSE, 2019)

Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. - Akihisa Yamada 002; Clovis Eberhart; Fuyuki Ishikawa; Nian-Ze Lee (ICST Workshops, 2019)

Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. - Hiroshi Kuwajima; Fuyuki Ishikawa (ISSRE Workshops, 2019)

Learning-Based Falsification for Model Families of Cyber-Physical Systems. - Koki Kato; Fuyuki Ishikawa (PRDC, 2019)

Contemporary requirements challenges and issues: an empirical study in 11 organizations. - Feng Chen; Norah Power; J. J. Collins; Fuyuki Ishikawa (SAC, 2019)

Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. - Yutaka Matsuno; Fuyuki Ishikawa; Susumu Tokumoto (SAFECOMP Workshops, 2019)

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. - Shaukat Ali 001; Paolo Arcaini; Ichiro Hasuo; Fuyuki Ishikawa; Nian-Ze Lee (VaMoS, 2019)

Consistency-preserving refactoring of refinement structures in Event-B models. - Tsutomu Kobayashi; Fuyuki Ishikawa; Shinichi Honiden (Formal Aspects Comput., 2019)

Change Impact Analysis for Refinement-Based Formal Specification. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (IEICE Trans. Inf. Syst., 2019)

Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156). - Foutse Khomh; Fuyuki Ishikawa; Hiroshi Maruyama (NII Shonan Meet. Rep., 2019)

Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters. - Quanwang Wu; Fuyuki Ishikawa; Qingsheng Zhu; Yunni Xia (IEEE Trans. Serv. Comput., 2019)

Attribute-based Granular Evaluation for Performance of Machine Learning Models. - Henri Trenquier; Fuyuki Ishikawa; Susumu Tokumoto (AITest, 2020)

Formal Distributed Protocol Development for Reservation of Railway Sections. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (ABZ, 2020)

Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. - Alessandro Calò; Paolo Arcaini; Shaukat Ali 001; Florian Hauer 002; Fuyuki Ishikawa (GECCO, 2020)

Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. - Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (ICECCS, 2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. - Guillaume Dupont; Yamine Aït Ameur; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Tsutomu Kobayashi; Marc Pantel (ICFEM, 2020)

Leveraging test logs for building a self-adaptive path planner. - Kun Liu; Xiaoyi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Wenpin Jiao (SEAMS@ICSE, 2020)

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. - Alessandro Calò; Paolo Arcaini; Shaukat Ali 001; Florian Hauer 002; Fuyuki Ishikawa (ICST, 2020)

Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges. - Fuyuki Ishikawa (ISSRE Workshops, 2020)

Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. - Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Kun Liu (ISSRE, 2020)

Automated Clustering and Knowledge Acquisition Support for Beginners. - Ryota Kamoshida; Fuyuki Ishikawa (KES, 2020)

Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. - Fuyuki Ishikawa; Yutaka Matsuno (RE, 2020)

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 (RE, 2020)

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 (SEKE, 2020)

Testing machine learning code using polyhedral region. - Md Sohel Ahmed; Fuyuki Ishikawa; Mahito Sugiyama (ESEC/SIGSOFT FSE, 2020)

Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence. - Gaku Fujii; Koichi Hamada; Fuyuki Ishikawa; Satoshi Masuda; Mineo Matsuya; Tomoyuki Myojin; Yasuharu Nishi; Hideto Ogawa; Takahiro Toku; Susumu Tokumoto; Kazunori Tsuchiya; Yasuhiro Ujita (Int. J. Softw. Eng. Knowl. Eng., 2020)

Editorial to the theme section on model-based engineering of smart systems. - John S. Fitzgerald; Fuyuki Ishikawa; Peter Gorm Larsen (Softw. Syst. Model., 2020)

Model-based Data-Complexity Estimator for Deep Learning Systems. - Yuta Ojima; Shingo Horiuchi; Fuyuki Ishikawa (AITest, 2021)

Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). - Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (GECCO Companion, 2021)

Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. - Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa (ICST, 2021)

What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. - Matias Duran; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (ISSRE, 2021)

Parameter-Based Testing and Debugging of Autonomous Driving Systems. - Paolo Arcaini; Alessandro Calò; Fuyuki Ishikawa; Thomas Laurent 003; Xiao-Yi Zhang 005; Shaukat Ali 001; Florian Hauer 002; Anthony Ventresque (IV Workshops, 2021)

Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. - Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (ASE, 2021)

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Fuyuki Ishikawa; Rongxin Wu; Tao Xie 001 (ASE, 2021)

2nd International Workshop on Data Quality Assessment for Machine Learning. - Hima Patel; Fuyuki Ishikawa; Laure Berti-Équille; Nitin Gupta 005; Sameep Mehta; Satoshi Masuda; Shashank Mujumdar; Shazia Afzal; Srikanta Bedathur; Yasuharu Nishi (KDD, 2021)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki 001; Fuyuki Ishikawa; Shin-ya Katsumata (NFM, 2021)

Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. - Kenji Taguchi 001; Fuyuki Ishikawa (SAFECOMP Workshops, 2021)

Architecture-Guided Test Resource Allocation via Logic. - Clovis Eberhart; Akihisa Yamada 002; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (TAP@STAF, 2021)

A refinement-based development of a distributed signalling system. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (Formal Aspects Comput., 2021)

Foreword. - Fuyuki Ishikawa (IEICE Trans. Inf. Syst., 2021)

Practical insights of repairing model problems on image classification. - Akihito Yoshii; Susumu Tokumoto; Fuyuki Ishikawa (CAIN, 2022)

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Fuyuki Ishikawa; Rongxin Wu; Tao Xie 001 (GECCO Companion, 2022)

Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. - Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa (ICST, 2022)

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. - Tao Yue 002; Shaukat Ali 001; Paolo Arcaini; Fuyuki Ishikawa (ISoLA (4), 2022)

Explaining the Behaviour of Game Agents Using Differential Comparison. - Ezequiel Castellano; Xiao-Yi Zhang 005; Paolo Arcaini; Toru Takisaka; Fuyuki Ishikawa; Nozomu Ikehata; Kosuke Iwakura (ASE, 2022)

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Linjuan Zhang; Fuyuki Ishikawa (RE, 2022)

NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. - Shogo Tokui; Susumu Tokumoto; Akihito Yoshii; Fuyuki Ishikawa; Takao Nakagawa; Kazuki Munakata; Shinji Kikuchi (SANER, 2022)

Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. - Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa; Hirokazu Kawamoto; Kaoru Sawai; Eiichi Muramoto (APSEC, 2023)

Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. - Paolo Arcaini; Ezequiel Castellano; Fuyuki Ishikawa; Hirokazu Kawamoto; Kaoru Sawai; Eiichi Muramoto (CEC, 2023)

An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. - Mingyue Zhang; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (DSA, 2023)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. - Tsutomu Kobayashi; Martin Bondu; Fuyuki Ishikawa (FM, 2023)

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 (GECCO, 2023)

Adaptive Search-based Repair of Deep Neural Networks. - Davide Li Calsi; Matias Duran; Thomas Laurent 003; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (GECCO, 2023)

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 (ICECCS, 2023)

Distributed Repair of Deep Neural Networks. - Davide Li Calsi; Matias Duran; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (ICST, 2023)

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. - Jiaming Ye; Shangzhou Xia; Fuyuan Zhang; Paolo Arcaini; Lei Ma 003; Jianjun Zhao 001; Fuyuki Ishikawa (ASE, 2023)

Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM. - Masumi Kawakami; Fuyuki Ishikawa (SERA, 2023)

An Experience Report on Regression-Free Repair of Deep Neural Network Model. - Takao Nakagawa; Susumu Tokumoto; Shogo Tokui; Fuyuki Ishikawa (SANER, 2023)

An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. - Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (IEEE Trans. Dependable Secur. Comput., 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. - Thomas Laurent 003; Stefan Klikovits; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (ACM Trans. Softw. Eng. Methodol., 2023)

Activities of National Institute of Informatics in Japan. - Masaru Kitsuregawa; Shigeo Urushidani; Kazutsuna Yamaji; Hiroki Takakura; Ichiro Hasuo; Imari Sato; Fuyuki Ishikawa; Isao Echizen; Kensaku Mori (Commun. ACM, 2023)

SCAPE: Searching Conceptual Architecture Prompts using Evolution. - Soo Ling Lim; Peter J. Bentley; Fuyuki Ishikawa (CEC, 2024)

Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). - Davide Li Calsi; Matias Duran; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (GECCO Companion, 2024)

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 003; Jianjun Zhao 001 (GECCO, 2024)

Repairing Event-B Models Through Quantifier Elimination. - Tsutomu Kobayashi; Fuyuki Ishikawa (ICFEM, 2024)

On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. - Peter Rivière; Tsutomu Kobayashi; Neeraj Kumar Singh 001; Fuyuki Ishikawa; Yamine Aït Ameur; Guillaume Dupont (ICFEM, 2024)

Federated Repair of Deep Neural Networks. - Davide Li Calsi; Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa (DeepTest@ICSE, 2024)

More is Not Always Better: Exploring Early Repair of DNNs. - Andrei Mancu; Thomas Laurent 003; Franz Rieger; Paolo Arcaini; Fuyuki Ishikawa; Daniel Rueckert (DeepTest@ICSE, 2024)

Technical Briefing on Deep Neural Network Repair. - Paolo Arcaini; Fuyuki Ishikawa; Lei Ma 003; Yuta Maezawa; Nobukazu Yoshioka; Fuyuan Zhang (ICSE Companion, 2024)

Metamorphic Testing of an Autonomous Delivery Robots Scheduler. - Thomas Laurent 003; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa (ICST, 2024)

Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. - Fuyuki Ishikawa; Shinobu Saito (Programming, 2024)

Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving. - Minh-Tri Nguyen; Hong-Linh Truong 001; Paolo Arcaini; Fuyuki Ishikawa (UCC, 2024)

Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. - Chin-Hsuan Sun; Thomas Laurent 003; Paolo Arcaini; Fuyuki Ishikawa (SANER, 2024)

CLEAR: Cue Learning using Evolution for Accurate Recognition Applied to Sustainability Data Extraction. - Peter J. Bentley; Soo Ling Lim; Fuyuki Ishikawa (GECCO, 2025)

Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. - Sebastian Schneider; Tomas Sujovolsky; Paolo Arcaini; Fuyuki Ishikawa; Truong Vinh Truong Duy (SANER, 2025)

Multi-Agent Differential Testing for the Game of Go. - Jiaxue Song; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Yong Liu 030; Bin Du (SIGSOFT FSE Companion, 2025)

Practical Design by Contract Framework for Quantum Applications. - Masaomi Yamaguchi; Nobukazu Yoshioka; Fuyuki Ishikawa (SIGSOFT FSE Companion, 2025)

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. - Deyun Lyu; Yi Li 008; Zhenya Zhang; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (J. Syst. Softw., 2025)

Automated program repair for variability bugs in software product line systems. - Thu-Trang Nguyen; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Hieu Dinh Vo (J. Syst. Softw., 2025)

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. - Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2025)

FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks. - Moses Openja; Paolo Arcaini; Foutse Khomh; Fuyuki Ishikawa (CoRR, 2025)