Fuyuki Ishikawa

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 102

Top Venues

CoRR

GECCO

NII Shonan Meet. Rep.

ASE

Publications

Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion (2024)
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO (2024)
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. CoRR (2024)
Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang
Technical Briefing on Deep Neural Network Repair. ICSE Companion (2024)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IV (2024)
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
SCAPE: Searching Conceptual Architecture Prompts using Evolution. CEC (2024)
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
SCAPE: Searching Conceptual Architecture Prompts using Evolution. CoRR (2024)
Fuyuki Ishikawa, Shinobu Saito
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. Programming (2024)
Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER (2024)
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
An Experience Report on Regression-Free Repair of Deep Neural Network Model. SANER (2023)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC (2023)
Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Adaptive Search-based Repair of Deep Neural Networks. GECCO (2023)
Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA (2023)
Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC (2023)
Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori
Activities of National Institute of Informatics in Japan. Commun. ACM 66 (7) (2023)
Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. FM (2023)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8 (4) (2023)
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO (2023)
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Distributed Repair of Deep Neural Networks. ICST (2023)
Masumi Kawakami, Fuyuki Ishikawa
Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM. SERA (2023)
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR (2023)
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE (2023)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS (2023)
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) (2022)
Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
Practical Insights of Repairing Model Problems on Image Classification. CoRR (2022)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR (2022)
Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa
Practical insights of repairing model problems on image classification. CAIN (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. CoRR (2022)
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST (2022)
Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE (2022)
Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History. SANER (2022)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion (2022)
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST (2021)
Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE (2021)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33 (6) (2021)
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops (2021)
Kenji Taguchi, Fuyuki Ishikawa
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. SAFECOMP Workshops (2021)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM (2021)
Fuyuki Ishikawa
Foreword. IEICE Trans. Inf. Syst. (10) (2021)
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE (2021)
Hima Patel, Fuyuki Ishikawa, Laure Berti-Équille, Nitin Gupta, Sameep Mehta, Satoshi Masuda, Shashank Mujumdar, Shazia Afzal, Srikanta Bedathur, Yasuharu Nishi
2nd International Workshop on Data Quality Assessment for Machine Learning. KDD (2021)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR (2021)
Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
Model-based Data-Complexity Estimator for Deep Learning Systems. AITest (2021)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST (2020)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE (2020)
Ryota Kamoshida, Fuyuki Ishikawa
Automated Clustering and Knowledge Acquisition Support for Beginners. KES (2020)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS (2020)
Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa
Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation. RE (2020)
Fuyuki Ishikawa, Yutaka Matsuno
Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. RE (2020)
Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto
Attribute-based Granular Evaluation for Performance of Machine Learning Models. AITest (2020)
John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. 19 (3) (2020)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ (2020)
Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao
Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE (2020)
Fuyuki Ishikawa
Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges. ISSRE Workshops (2020)
Md Sohel Ahmed, Fuyuki Ishikawa, Mahito Sugiyama
Testing machine learning code using polyhedral region. ESEC/SIGSOFT FSE (2020)
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO (2020)
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. ICFEM (2020)
Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya
Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. SEKE (2020)
Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita
Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence. Int. J. Softw. Eng. Knowl. Eng. 30 (11&12) (2020)
Hiroshi Kuwajima, Fuyuki Ishikawa
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. ISSRE Workshops (2019)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Trans. Inf. Syst. (8) (2019)
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. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects Comput. 31 (3) (2019)
Fuyuki Ishikawa, Nobukazu Yoshioka
How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey. CESSER-IP@ICSE (2019)
Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia
Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters. IEEE Trans. Serv. Comput. 12 (4) (2019)
Hiroshi Kuwajima, Fuyuki Ishikawa
Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. CoRR (2019)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR (2019)
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS (2019)
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO (2019)
Foutse Khomh, Fuyuki Ishikawa, Hiroshi Maruyama
Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156). NII Shonan Meet. Rep. 2019 (2019)
Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. SAFECOMP Workshops (2019)
Koki Kato, Fuyuki Ishikawa
Learning-Based Falsification for Model Families of Cyber-Physical Systems. PRDC (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. APSEC (2019)
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. ICST Workshops (2019)
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS (2019)
Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa
Contemporary requirements challenges and issues: an empirical study in 11 organizations. SAC (2019)
Koki Kato, Fuyuki Ishikawa, Shinichi Honiden
Falsification of Cyber-Physical Systems with Reinforcement Learning. MT@CPSWeek (2018)
Fuyuki Ishikawa
Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments. ER (2018)
Fuyuki Ishikawa, Foutse Khomh, Nobukazu Yoshioka, Giuliano Antoniol
International Workshop on Machine Learning Systems Engineering. WESPr-iMLSE@APSEC (2018)
Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). NII Shonan Meet. Rep. 2018 (2018)
Fuyuki Ishikawa, Yutaka Matsuno
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems. SAFECOMP Workshops (2018)
Tsutomu Kobayashi, Fuyuki Ishikawa
Analysis on Strategies of Superposition Refinement of Event-B Specifications. ICFEM (2018)
Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden
Construction of Abstract State Graphs for Understanding Event-B Models. SETTA (2017)
Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
Extracting Traceability between Predicates in Event-B Refinement. APSEC (2017)
Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. 2017 (2017)
Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
Test Suite Reduction in Idempotence Testing of Infrastructure as Code. TAP@STAF (2017)
Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Junhao Wen
Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds. IEEE Trans. Parallel Distributed Syst. 28 (12) (2017)
Hausi A. Müller, Fuyuki Ishikawa, Marin Litoiu
Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11). NII Shonan Meet. Rep. 2017 (2017)
Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Dong-Hoon Shin
QoS-Aware Multigranularity Service Composition: Modeling and Optimization. IEEE Trans. Syst. Man Cybern. Syst. 46 (11) (2016)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Refactoring Refinement Structure of Event-B Machines. FM (2016)
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
Robust Service Compositions with Functional and Location Diversity. IEEE Trans. Serv. Comput. 9 (2) (2016)
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
Stepwise Refinement of Software Development Problem Analysis. ER (2016)

Fuyuki Ishikawa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fuyuki Ishikawa