Trustworthy & Smart Software Engineering Lab. 日本語 >

dummy

Awards

  1. [Distinguished Reviewer Award] Fuyuki Ishikawa, The 15th Asia-Pacific Symposium on Internetware, July 2024
  2. [Awards for Science and Technology (Research Category)] Ichiro Hasuo, Fuyuki Ishikawa, Shinya Katsumata, The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology, April 2024
  3. [Best Paper Award] Guillaume Dupont, Yamine Ait Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel, Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement, The 22nd International Conference on Formal Engineering Methods (ICFEM 2020), March 2021
  4. [Best Paper Award] 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, The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020), July 2020
  5. [IPSJ/IEEE Computer Society Young Researcher Award] Fuyuki Ishikawa, Research on Intelligence-driven Engineering of Dependable Smart Systems, March 2020
  6. [Best Paper Award] Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Assessing the Relation Between Hazards and Variability in Automotive Systems, The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), November 2019
  7. [Industry Best Paper] Hiroshi Kuwajima, Fuyuki Ishikawa, Adapting SQuaRE for Quality Assessment of Artificial Intelligence System, The 30th International Symposium on Software Reliability Engineering (ISSRE 2019 Industry Tack), pp.13-18, October 2019
  8. [Best Paper Award] Tsutomu Kobayashi, Fuyuki Ishikawa, Analysis on Strategies of Superposition Refinement of Event-B Specifications, The 20th International Conference on Formal Engineering Methods (ICFEM 2018), November 2018
  9. [Best Artifact Award] Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden, Feedback-controlled Random Test Generation, International Symposium on Software Testing and Analysis (ISSTA 2015), July 2015
  10. [Best Paper Award] Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe, Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program, 1st Formal Methods in SW Engineering Education and Training Workshop (FMSEET 2015) at FM 2015, June 2015
  11. [Best Paper Award] Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, A Scalable Distributed Architecture for Network- and QoS-Aware Service Composition, International Joint Agent Workshop and Symposium 2012 (iJAWS 2012), October 2012
  12. [Best PhD Poster] Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Efficient, Failure-Resilient Semantic Web Service Planning, The 8th International Conference on Service-Oriented Computing (ICSOC 2010 PhD Symposium / Poster Track), December 2010

Journal Papers

  1. Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao, SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences, ACM Transactions on Software Engineering and Methodology (TOSEM), to appear
  2. Thu-Trang Nguyen, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Automated Program Repair for Variability Bugs in Software Product Line Systems, Journal of Systems & Software (to appear)
  3. Xiao-yi Zhang, Paolo Archani, Fuyuki Ishikawa, An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner, IEEE Transactions on Dependable and Secure Computing, Vol. 20, No. 4, pp.2713-2730, July 2023
  4. Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque, Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty, ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 32 No. 3, pp.1-31, April 2023
  5. Ichiro Hasuo, Clovis Eberhart, James Haydon, Jeremy 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 Transactions on Intelligent Vehicles, pp.1-33, July 2022
  6. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït-Ameur, Fuyuki Ishikawa, Alexander Romanovsky, A refinement-based development of a distributed signalling system, Formal Aspects of Computing, Vol. 33 No. 6, pp.1009-1036, November 2021
  7. 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, International Journal of Software Engineering and Knowledge Engineering (selected from SEKE 2020 proceedings), Vol. 30 No. 11n12, pp.1589-1606, October 2020
  8. Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden, Change Impact Analysis for Refinement-based Formal Specification, IEICE Transactions on Information and Systems, Special Issue on Formal Approach, Vol. E102-D No. 8, pp.1462-1477, August 2019
  9. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters, IEEE Transactions on Services Computing, Vol. 12 No. 4, pp. 550-563, July 2019
  10. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Consistency-Preserving Refactoring of Refinement Structures in Event-B Models, Formal Aspects of Computing, Vol. 31 No.3, pp.287-320, February 2019
  11. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia, Junhao Wen, Deadline-constrained Cost Optimization Approaches for Workflow Scheduling in Clouds, IEEE Transactions on Parallel and Distributed Systems, Vol.28 No.12, pp.3401-3412, August 2017
  12. Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Dong-Hoon Shin, QoS-Aware Multigranularity Service Composition: Modeling and Optimization, IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol.46 No.11, pp.1565-1577, November 2016
  13. Soo Ling Lim, Peter J. Bentley, Fuyuki Ishikawa, The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store, IEEE Transactions on Evolutionary Computation, Vol.20 No.4, pp.529-545, August 2016
  14. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Robust Service Compositions with Functional and Location Diversity, IEEE Transactions on Services Computing, Vol.9 No.2, pp.277-290, April 2016
  15. Soo Ling Lim, Peter Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden, Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering, IEEE Transactions on Software Engineering, Vol.41 No.1, pp.40-64, January 2015
  16. Quanwang Wu, Qingsheng Zhu, Xing Jian, Fuyuki Ishikawa, Broker-based SLA-Aware Composite Service Provisioning, Journal of Systems and Software, Vol. 96, pp.194-201, October 2014
  17. Dong-Hoon Shin, Kyong-Ho Lee, Fuyuki Ishikawa, A Graph-based Approach Enhancing Correctness and Speed of Web Services Composition through Explicit Specification of Functional Semantics, International Journal of Web and Grid Services (IJWGS), Vol.10, No.4, pp.297-318, September 2014
  18. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, SanGA: A Self-Adaptive Network-Aware Approach to Service Composition, IEEE Transactions on Services Computing, Vol.7 No.3, pp.452-464, July 2014
  19. Kazunori Sakamoto, Fuyuki Ishikawa, Hironori Washizaki, Yoshiaki Fukazawa, Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages, IEICE Transactions on Information and Systems, E94.D No. 12, pp.2418-2430, December 2011
  20. Fuyuki Ishikawa, Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers (Invited Paper), Vol. E92-B, No.01, pp.9-16, January 2009
  21. Khanh Quan Truong, Fuyuki Ishikawa, Shinichi Honiden, Improving Accuracy of Recommender System by Item Clustering, IEICE Transactions on Information and systems, Vol. E90-D-I, No.9, pp.1363-1373, September 2007
  22. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden, Formal Model of Mobile BPEL4WS Process, International Journal of Business Process Integration and Management (IJBPIM), Vol. 1 Issue 3, pp.192-209, September 2006
  23. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden, A Framework for Synthesis of Web Services and Mobile Agents, International Journal of Pervasive Computing and Communications (JPCC), Vol.1 Issue3, pp.227-245, September 2005

Books

  1. Alexander Romanovsky (Editor), Fuyuki Ishikawa (Editor), Trustworthy Cyber-Physical Systems, ISBN 978-1498742450, Chapman and Hall/CRC, September 2016
  2. Amal El Fallah Seghrouchni (Editor), Fuyuki Ishikawa (Editor), Laurent Hérault (Editor), Hideyuki Tokuda (Editor), Enablers for Smart Cities, ISBN 978-1848219588, Wiley-ISTE, August 2016

Book Chapters

  1. Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden, Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B, Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, pp.309-330, Springer, 2021
  2. Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe, Education of Scientific Approaches to Trustworthy Systems for Industry - After 10 Years, chapter in Trustworthy Cyber-Physical Systems, Chapman and Hall/CRC, September 2016
  3. Fuyuki Ishikawa, Shinichi Honiden, Verification and Configuration of Smart Space Applications, chapter in Enablers for Smart Cities, ISBN 978-1848219588, Wiley-ISTE, July 2016
  4. Jun Maeoka, Yoshinori Tanabe, Fuyuki Ishikawa, Depth-First Heuristic Search for Software Model Checking, chapter in Studies in Computational Intelligence, Vol. 614, pp. 75-96, ISBN 978-3319234663, Springer International Publishing, October 2015
  5. Fuyuki Ishikawa, QoS-based Service Selection, chapter in Handbook on Web Services Foundations, ISBN 978-1461475170, Springer, Jun 2013
  6. Soo Ling Lim, Daniela Damian, Fuyuki Ishikawa and Anthony Finkelstein, Using Web 2.0 for Stakeholder Analysis: StakeSource and its Application in Ten Industrial Projects - Book Chapter in Managing Requirements Knowledge, ISBN 978-3642344183, Springer, May 2013

Proceedings

  1. Hima Patel, Fuyuki Ishikawa, Laure Berti-Équille, Nitin Gupta, Sameep Mehta, Satoshi Masuda, Shashank Mujumdar, Shazia Afzal, Srikanta Bedathur, Yasuharu Nishi, The 2nd International Workshop on Data Quality Assessment for Machine Learning at The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (DQAML 2021 at KDD 2021)
  2. Fuyuki Ishikawa, Alexander Romanovsky, Thierry Lecomte, Towards industrial application of advanced formal methods for cyber-physical system engineering, NII Shonan Meeting Report, No.2018-16 [No.121], February 2019
  3. Nobukazu Yoshioka, Hironori Washizaki, Eduardo B. Fernández, Tomoko Kaneko, Shuichiro Yamamoto, Fuyuki Ishikawa, Foutse Khomh, Giuliano Antoniol, The 1st International Workshop on Machine Learning Systems Engineering at The 25th Asia-Pacific Software Engineering Conference (iMLSE 2018 at APSEC 2018)
  4. Fuyuki Ishikawa, Tsutomu Kobayashi, Alexander Romanovsky, Proceedings of the Event-B Day 2018 in Tokyo, Technical Report, Newcastle University, 1525, December 2018
  5. Fuyuki Ishikawa, Peter Gorm Larsen, John S Fitzgerald, Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications, NII Shonan Meeting Report, No.2017-18 [No.124], June 2018
  6. Fuyuki Ishikawa, Alexander Romanovsky, Proceedings of the Event-B Day, Technical Report, School of Computing Science, University of Newcastle upon Tyne, No. CS-TR-1504, November 2016
  7. Fuyuki Ishikawa, Alexander Romanovsky, Elena Troubitsyna, Proceedings of the Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, Technical Report, School of Computing Science, University of Newcastle upon Tyne, No. CS-TR-1503, November 2016
  8. Fuyuki Ishikawa, Peter Gorm Larsen, Proceedings of the 13th Overture Workshop, Technical Report, GRACE Center, National Institute of Informatics, GRACE-TR-2015-06, pp.1-139, June 2015
  9. Fuyuki Ishikawa, Alexander Romanovsky, Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), NII Shonan Meeting Report, No.2014-14, April 2015
  10. Pierre Maret, Fuyuki Ishikawa, Satoshi Honda, Takuro Yonezawa, Rajendra Akerkar, Till Riedel, Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014), September 2014
  11. Fuyuki Ishikawa, Alexander Romanovsky, Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012), School of Computing Science Technical Report Series 1355, Newcastle University, October 2012
  12. Alessandro Ricci, Eric Platon, Fuyuki Ishikawa, Danny Weyns, Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message, The 23rd Annual ACM Symposium on Applied Computing (SAC 2008) pp50-51, March 2008

Conference Full Papers

  1. Tsutomu Kobayashi, Fuyuki Ishikawa, Repairing Event-B Models through Quantifier Elimination, The 25th International Conference on Formal Engineering Methods (ICFEM 2024), December 2024
  2. 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, The Genetic and Evolutionary Computation Conference (GECCO 2024), pp.1435-1444, July 2024
  3. Soo Ling Lim, Peter Bentley, Fuyuki Ishikawa, SCAPE: Searching Conceptual Architecture Prompts using Evolution, 2024 IEEE Congress on Evolutionary Computation (CEC 2024), pp.1-8, July 2024
  4. Thomas Laurent, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Metamorphic Testing of an Autonomous Delivery Robots Scheduler, The 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2024, Industry Track), pp.361-372, May 2024
  5. Andrei Mancu, Thomas Laurent, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Rueckert, More is Not Always Better: Exploring Early Repair of DNNs, DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024), pp.13-16, April 2024
  6. Davide Li Calsi, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Federated Repair of Deep Neural Networks, DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024), pp.17-24, April 2024
  7. Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System, The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024, Industry Track), pp.383-394, March 2024
  8. Fuyuki Ishikawa, Shinobu Saito, Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems, The 2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024), pp.118-125, March 2024
  9. 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, The 30th Asia-Pacific Software Engineering Conference (APSEC 2023, Software Engineering In Practice Track), pp.425-430, December 2023
  10. Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa, QuraTest: Integrating Quantum Specific Features in Quantum Program Testing, The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), pp.1149-1161, September 2023
  11. Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini and Fuyuki Ishikawa, An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go, The 5th International Workshop on Dependable Intelligent Systems (DeIS 2023), pp.734-742, August 2023
  12. Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Adaptive Search-based Repair of Deep Neural Networks, The Genetic and Evolutionary Computation Conference (GECCO 2023), pp. 1527-1536, July 2023
  13. 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, The Genetic and Evolutionary Computation Conference (GECCO 2023), pp. 1303-1311, July 2023
  14. Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto, Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery, IEEE 2023 Congress on Evolutionary Computation (CEC 2023), pp.1-10, July 2023
  15. 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, The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), pp.177-186, June 2023
  16. Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Distributed Repair of Deep Neural Networks, The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), pp. 83-94, April 2023
  17. Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa, Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement, The 25th International Symposium on Formal Methods (FM 2023), March 2023
  18. Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa, Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems, The 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), October 2022
  19. Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura, Explaining the Behaviour of Game Agents Using Differential Comparison, The 2nd International Workshop on Automated Software Engineering for Computer Games, October 2022
  20. 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, The 30th IEEE International Requirements Engineering Conference (RE 2022), Aug 2022
  21. Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing, The 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022, Industry Track), April 2022
  22. Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata and Shinji Kikuchi, NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History, The 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022), pp.1111-1121, March 2022
  23. 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, The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), pp.295-305, November 2021
  24. Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, What to Blame? On the Granularity of Fault Localization for Deep Neural Networks, The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021 Practical Experience Reports), pp.264-275, October 2021
  25. Kenji Taguchi, Fuyuki Ishikawa, Experimental Conformance Evaluation on UBER ATG Safety Case Framework with ANSL/UL 4600, The 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021), pp.272-283, September 2021
  26. Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa, Model-based Data-Complexity Estimator for Deep Learning Systems, The 3rd IEEE International Conference on Artificial Intelligence Testing (IEEE AI Tests 2021), pp.1-8, August 2021
  27. Paolo Arcaini, Alessandro Calo, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Ventresque Anthony, Parameter-Based Testing and Debugging of Autonomous Driving Systems, Workshop on Ensuring and Validating Safety for Automated Vehicles at The 32nd IEEE Intelligent Vehicles Symposium (EVSAV@IV 2021), pp.197-202, July 2021
  28. Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa, Architecture-Guided Test Resource Allocation Via Logic, The 15th International Conference on Tests and Proofs (TAP 2021), pp.22-38, June 2021
  29. Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata, Robustifying CPS Controller Specifications Against Perceptual Uncertainty, The 13th NASA Formal Methods Symposium (NFM 2021), pp.198-213, May 2021
  30. Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems, IEEE International Conference on Software Testing, Verification and Validation (ICST 2021 Industry Track), pp.295-305, April 2021
  31. Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque, Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation, The 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020), pp.93-102, October 2020
  32. Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu, Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance, The 31st International Symposium on Software Reliability Engineering (ISSRE 2020, Reserach Track - Practical Experience Reports), pp.301-312, October 2020
  33. [Best Paper Award] Guillaume Dupont, Yamine Ait Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel, Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement, The 22nd International Conference on Formal Engineering Methods (ICFEM 2020), pp.251-267, November 2020
  34. Ryota Kamoshida, Fuyuki Ishikawa, Automated Clustering and Knowledge Acquisition Support for Beginners, The 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2020), pp.1596-1605, September 2020
  35. [Best Paper Award] 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, The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020), pp.335-341, July 2020
  36. Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa, Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems, The Genetic and Evolutionary Computation Conference (GECCO 2020), pp.1055–1063, July 2020
  37. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, Fuyuki Ishikawa, Formal Distributed Protocol Development for Reservation of Railway Sections, The 7th International Conference on Rigorous State Based Methods (ABZ 2020), pp.203-219, May 2020
  38. Henri Trenquier, Fuyuki Ishikawa and Susumu Tokumoto, Attribute-based Granular Evaluation for Performance of Machine Learning Models, The 2nd IEEE International Conference on Artificial Intelligence Testing (IEEE AITests 2020), pp.125-132, April 2020
  39. Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa, Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems, The 13th IEEE International Conference on Software Testing, Verification and Validation (ICST 2020 Industry Track), pp.375-386, March 2020
  40. Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa and Anthony Ventresque, A Mutation-based Approach for Assessing Weight Coverage of a Path Planner, The 26th Asia-Pacific Software Engineering Conference (APSEC 2019), pp.94-101, December 2019
  41. Koki Kato, Fuyuki Ishikawa, Learning-Based Falsification for Model Families of Cyber-Physical Systems, The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), pp.236-245, December 2019
  42. [Best Paper Award] Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Assessing the Relation Between Hazards and Variability in Automotive Systems, The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, November 2019
  43. [Industry Best Paper] Hiroshi Kuwajima, Fuyuki Ishikawa, Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems, The 30th International Symposium on Software Reliability Engineering (ISSRE 2019 Industry Track), October 2019
  44. Nian-ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa, Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach, The Genetic and Evolutionary Computation Conference (GECCO 2019), pp.1241-1249, July 2019
  45. Fuyuki Ishikawa, Nobukazu Yoshioka, How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey, Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019) at The 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019), pp.2-9, May 2019
  46. Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa, Contemporary Requirements Challenges and Issues: An Empirical Study in 11 Organizations, Requirements Engineering Track at The 34th Symposium on Applied Computing (SAC 2019), pp.1592-1599, 2019
  47. Paulius Stankaitis, Alexei Iliasov, Alexander Romanovsky, Yamine Ait-Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, A Refinement based Method for Developing Distributed Protocols, The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), pp.90-97, January 2019
  48. [Best Paper Award] Tsutomu Kobayashi, Fuyuki Ishikawa, Analysis on Strategies of Superposition Refinement of Event-B Specifications, The 20th International Conference on Formal Engineering Methods (ICFEM 2018), pp.357-372, November 2018
  49. Fuyuki Ishikawa, Yutaka Matsuno, Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems, The 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) at The 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), pp.14-21, September 2018
  50. Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden, Extracting Traceability between Predicates in Event-B Refinement, The 24th Asia-Pacific Software Engineering Conference (APSEC 2017), pp.61-70, December 2017
  51. Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden, Construction of Abstract State Graphs for Understanding Event-B Models, Symposium on Dependable Software Engineering (SETTA 2017), pp.260-265, October 2017
  52. Tomoyuki Myojin, Fuyuki Ishikawa, Automated Test Procedure Generation from Formal Specifications, The 15th Overture Workshop, September 2017
  53. Katsuhiro Ikeshita, Fuyuki Ishikawa, Shinichi Honiden, Test Suite Reduction in Idempotence Testing of Infrastructure as Code, The 11th International Conference on Tests & Proofs (TAP 2017), pp.98-115, July 2017
  54. Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden, Automatic Generation of Potentially Pathological Instances for Validating Alloy Models, The 18th International Conference on Formal Engineering Methods (ICFEM 2016), pp.41-56, November 2016
  55. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Refactoring Refinement Structures of Event-B Machines, The 21st International Symposium on Formal Methods (FM 2016), pp.444-459, November 2016
  56. Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden, Abstract Rewriting Approach to Solve Datalog Programs, The 15th International Symposium on Database Programming Languages (DBPL 2015) at The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2015), pp.29-36, October 2015
  57. Quanwang Wu, Fuyuki Ishikawa, Heterogeneous Virtual Machine Consolidation using an Improved Grouping Genetic Algorithm, The 17th IEEE International Conference on High Performance Computing and Communications (HPCC 2015), pp.397-404, August 2015
  58. [Best Artifact Award] Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden, Feedback-controlled Random Test Generation, International Symposium on Software Testing and Analysis (ISSTA 2015), pp.316-326, July 2015
  59. Jun Maeoka, Yoshinori Tanabe, Fuyuki Ishikawa, Depth-First Heuristic Search for Software Model Checking, The 14th IEEE/ACIS International Conference on Computer and Information Science 2015 (ICIS2015), June 2015
  60. Naoto Sato, Fuyuki Ishikawa, Separation of Considerations in Event-B Refinement toward Industrial Use, 1st Formal Methods in SW Engineering Education and Training Workshop (FMSEET 2015) at FM 2015, pp.43-50, June 2015
  61. [Best Paper Award] Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe, Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program, 1st Formal Methods in Software Engineering Education and Training Workshop (FMSEET 2015) at FM 2015, pp.35-42, June 2015
  62. Fuyuki Ishikawa, Case Studies on Combination of VDM and Test-Driven Approaches: Application, Model Finding and Refinement, The 13th Overture Workshop at FM 2015, June 2015
  63. Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden, An Application Conflict Detection and Resolution System for Smart Homes, The 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2015) at The 37th International Conference on Software Engineering (ICSE 2015), pp.33-39, May 2015
  64. Masayuki Nii, Kenji Tei, Fuyuki Ishikawa, Framework Enabling End-Users to Maintain Web Applications, IAENG International Conference on Internet Computing and Web Services (ICICWS 2015), pp. 387-394, March 2015
  65. Julian Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa, On Requirements Representation and Reasoning using Answer Set Programming, The 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE 2014), at The 22nd International Requirements Engineering Conference (RE 2014), pp.35-42, August 2014
  66. Julian Padget, Ken Satoh, Fuyuki Ishikawa, A Normative Approach to Exploring Multi-Agency Privacy and Transparency, The 7th International Workshop on Juris-informatics (JURISIN 2013), October 2013
  67. Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa, Intention-based Automated Composition Approach for Coordination Protocol, The IEEE 11th International Conference on Web Services (ICWS 2013 Application & Experience Track), pp.260-267, June 2013
  68. Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden, Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches, The 6th International Workshop on Juris-informatics (JURISIN 2012), pp.143-156, November 2012
  69. [Best Paper Award] Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, A Scalable Distributed Architecture for Network- and QoS-Aware Service Composition, International Joint Agent Workshop and Symposium 2012 (iJAWS 2012), October 2012
  70. Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Multi-objective Service Composition with Time- and Input-Dependent QoS, The 10th International Conference on Web Services (ICWS 2012 Application & Experience Track), pp.234-241, June 2012
  71. Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, A Probabilistic Approach for Long-Term B2B Service Compositions, The 10th International Conference on Web Services (ICWS 2012 Application & Experience Track), pp. 259-266, June 2012
  72. Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Web Service Selection Algorithm using Vickrey Auction, The 10th International Conference on Web Services (ICWS 2012 Application & Experience Track), pp. 336-342, June 2012
  73. Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Towards Robust Service Compositions in the Context of Functionally Diverse Services, The 21st International World Wide Web Conference (WWW 2012), pp.969-978, April 2012
  74. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Towards Network-Aware Service Composition in the Cloud, The 21st International World Wide Web Conference (WWW 2012), pp.959-968, April 2012
  75. Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Component Trust for Web Service Compositions, AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing, March 2012
  76. Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden, Applying QoS-Aware Service Selection on Functionally Diverse Services, The 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'11) in ICSOC 2011 Workshops, pp.100-113, December 2011
  77. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Achieving constraint compliance in QoS-Aware service planning, International Joint Agent Workshop and Symposium 2012 (iJAWS 2011), October 2011
  78. Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi, Formal Verification of Business Processes with Temporal and Resource Constraints, The 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), pp.1173-1180, October 2011
  79. Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden, Service Selection with Combinational Use of Functionally-Equivalent Services, The 9th International Conference on Web Services (ICWS 2011), pp.97-104, July 2011
  80. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, QoS-Aware Automatic Service Composition by Applying Functional Clustering, The 9th International Conference on Web Services (ICWS 2011), pp.89-96, July 2011
  81. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient Heuristic Approach with Improved Time Complexity for QoS-Aware Service Composition, The 9th International Conference on Web Services (ICWS 2011 Application & Experience Track), pp.436-443, July 2011
  82. Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden, Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures, The 8th International Conference on Services Computing (SCC 2011), pp.152-159, July 2011
  83. Fuyuki Ishikawa, Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java, The 9th Overture/VDM Workshop at FM 2011, June 2011
  84. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy, The 8th International Conference on Service-Oriented Computing (ICSOC 2010), pp.182-196, December 2010
  85. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extraction of Places Related to Flickr Tags, The 19th European Conference on Artificial Intelligence (ECAI 2010), August 2010
  86. Fuyuki Ishikawa, Description and Matching of Triggering Capabilities in Event-Driven Services, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010) at The 2010 IEEE 6th World Congress on Services (SERVICES 2010), pp.197-204, July 2010
  87. Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden, Business Semantics Centric Reliability Testing for Web Services in BPEL, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010) at The 2010 IEEE 6th World Congress on Services (SERVICES 2010), pp.237-244, July 2010
  88. Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), pp.253-268, November 2009
  89. Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden, Specifying and Checking Refinement Relationships in VDM++, The 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), pp.220-227, November 2009
  90. Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden, How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project, The 7th VDM-Overture Workshop at FM 2009, November 2009
  91. Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009
  92. Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden, What Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project, The 2nd International FME Conference on Teaching Formal Methods (TFM 2009), pp.57-71, November 2009
  93. Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden, Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering, The 2nd International Workshop on Requirements Engineering and Law (RELAW'09) at RE 2009, pp.39-44, September 2009
  94. Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS 2009), pp.133-140, July 2009
  95. Basem Suleiman, Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), pp.392-399, July 2009
  96. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008
  97. Hirotaka Moriguchi, Fuyuki Ishikawa, Shinichi Honiden, Bayesian Iteration: Online Learning in Timed Zero-Sum Games with Unknown Enemy, ECAI Workshop on Artificial Intelligence in Games (AIG-08), July 2008
  98. Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE International Conference on Services Computing (SCC 2008 Application and Industry Track), vol. 2, pp.231-238, July 2008
  99. Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, A Flexible Protocol Composition for Multi-Party Coordination Protocols in Multi-Agent Systems, The 1st IEEE Workshop on Agent Technologies for Pervasive Communities (ATPC 2008), pp.609-614, March 2008
  100. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Developing Consistent Contractual Policies in Service Composition, The 2007 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2007), pp.527-534, December 2007
  101. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation, The 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), pp.683-700, November 2007
  102. Jose Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden, Dynamic Protocol Selection alongside Service Selection and Composition, 2007 IEEE International Conference on Web Services (ICWS 2007 Application and Industry Track), pp.719-726, July 2007
  103. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Smartive: Agreement-based Mobile Composite Agents for Multimedia Services, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p.19, November 2006
  104. Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden, Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p.61, November 2006
  105. Jose Quenum, Fuyuki Ishikawa, Shinichi Honiden, Interaction Design in Agent-based Service-oriented Computing Systems, AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing, July 2006
  106. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Incorporating Agreements on Service Options into BPEL-based Services, International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC 2005), pp.796-803, November 2005
  107. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Mobile and Cooperative Compounds of Multimedia Services, IEEE International Conference on Services Computing (SCC 2005), pp.129-136, July 2005
  108. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden, Toward Synthesis of Web Services and Mobile Agents, AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE 2004), pp.48-55, July 2004
  109. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden, Behavior Descriptions of Mobile Agents for Web Services Integration, 2004 IEEE International Conference on Web Services (ICWS 2004), pp.342-349, July 2004
  110. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden, Mobile Agent System for Web Services Integration in Pervasive Networks, International Workshop on Ubiquitous Computing (IWUC 2004), pp.38-47, April 2004

Conference Papers (Short, Poster, etc.)

  1. Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa, Optimizing Multiple Consumer-Specific Objectives in End-To-End Ensemble Machine Learning Serving, The 17th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2024, Short Paper), December 2024
  2. Peter Riviere, Tsutomu Kobayashi, Neeraj Singh, Fuyuki Ishikawa, Yamine Ait Ameur, Guillaume Dupont, On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS, The 25th International Conference on Formal Engineering Methods (ICFEM 2024), December 2024
  3. Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Adaptive Search-based Repair of Deep Neural Networks, Symposium on Search-Based Software Engineering 2024 (SSBSE 2024, Hot off the Press track), July 2024
  4. Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Distributed Repair of Deep Neural Networks, The Genetic and Evolutionary Computation Conference (GECCO 2024, Hot off the Press track), July 2024
  5. Ichiro Hasuo, Clovis Eberhart, James Haydon, Jeremy 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, The 35th IEEE Intelligent Vehicles Symposium (IV 2024, Journal Poster Presentation), June 2024
  6. Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque, Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty, The IEEE/ACM International Conference on Software Engineering (ICSE 2023, Journal-First Track), May 2023
  7. Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa, An Experience Report on Regression-Free Repair of Deep Neural Network Model, The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Industry Track), March 2023
  8. 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, Hot off the Press track, The Genetic and Evolutionary Computation Conference (GECCO 2022), July 2022
  9. Akihito Yoshii, Susumu Tokumoto, Fuyuki Ishikawa, Practical Insights of Repairing Model Problems on Image Classification, The 1st International Conference on AI Engineering - Software Engineering for AI (CAIN 2022, Industrial Talks), May 2022
  10. Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque, Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems, The 36th IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results (ASE 2021 NIER), November 2021
  11. Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque, Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation, Hot off the Press track, The Genetic and Evolutionary Computation Conference (GECCO 2021), July 2021
  12. Md Sohel Ahmed, Fuyuki Ishikawa, Mahito Sugiyama, Testing Machine Learning Code Using Polyhedral Region, The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020, Visions and Reflections Track), November 2020
  13. Soo Ling Lim, Peter Bentley, Fuyuki Ishikawa, Reaching the Unreachable: A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporations, The 28th IEEE International Requirements Engineering Conference (RE 2020, RE@Next! Track), pp. 376-381, August 2020
  14. Fuyuki Ishikawa, Yutaka Matsuno, Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems, The 28th IEEE International Requirements Engineering Conference (RE 2020, RE@Next! Track), pp. 346-351, August 2020
  15. Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao, Leveraging Test Logs for Building a Self-Adaptive Path Planner, The 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020, New Ideas and Emergent Results), pp.57-63, May 2020
  16. Xiaoyi Zhang, Fuyuki Ishikawa, Identifying Hazard-causing Components for Automotive Driving Systems, The 5th Workshop on Monitoring and Testing of Cyber-Physical Systems at CPS-IoT Week 2020, April 2020
  17. Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto, Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests, The 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019 poster) at The 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019), pp.398-404, September 2019
  18. 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 Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos and Haiyan Zhao, Modelling and Analysing Resilient Cyber-Physical Systems, The 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2019 (SEAMS 2019, NIER:New Ideas and Emergent Results), May 2019
  19. Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee, Scenario Sampling for Cyber Physical Systems using Combinatorial Testing, The 8th International Workshop on Combinatorial Testing (IWCT 2019, Poster) at The 8th International Workshop on Combinatorial Testing (IWCT 2019) at The 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019), pp.198-199, April 2019
  20. Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee, Towards a Framework for the Analysis of Multi-PLs in the Automotive Domain, The 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019, Research-in-Progress Paper), pp.12:1-6, February 2019
  21. Fuyuki Ishikawa, Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments, The 37th International Conference on Conceptual Modeling (ER 2018, Short Paper), pp.536-544, October 2018
  22. Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Alexander Romanovsky, Fuyuki Ishikawa, A Framework for Developing Distributed Protocols with Event-B/Rodin, Rodin Workshop 2018 at ABZ 2018, June 2018
  23. Koki Kato, Fuyuki Ishikawa, Shinichi Honiden, Falsification of Cyber-Physical Systems with Reinforcement Learning, The 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2018) at CPSWeek 2018, April 2018
  24. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Stepwise Refinement of Software Development Problem Analysis, The 35th International Conference on Conceptual Modeling (ER 2016), pp.488-495, November 2016
  25. Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa, Shinichi Honiden, SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines, The 6th Rodin User and Developer Workshop at ABZ 2016, pp.13-14, May 2016
  26. Taro Kurita, Fuyuki Ishikawa, Keijiro Araki, Practices for Formal Models as Documents: Evolution of VDM Application to ``Mobile FeliCa" IC Chip Firmware, The 20th International Symposium on Formal Methods (FM 2015, Industry Track), pp.593-595, June 2015
  27. Quanwang Wu, Fuyuki Ishikawa, Towards Service Skyline for Multigranularity Service Composition, International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014, Short Paper), pp.1-6, September 2014
  28. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Understanding and Planning Event-B Refinement through Primitive Rationales, The 4th International ABZ 2014 Conference (Short Paper), pp.277-283, June 2014
  29. Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden, An Approach for Evaluating and Suggesting Method Names using N-gram Models, The 22nd International Conference on Program Comprehension (ICPC 2014, Early Research Achievement Track), pp.271-274, June 2014
  30. Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden, ArbitCheck: a Highly Automated Property-based Testing tool for Java, The 7th International Conference on Software Testing, Verification and Validation (ICST 2014, Tool Demonstration), pp.405-412, March 2014
  31. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Systematic Planning of Refinement in Event-B, The 4th Rodin User and Developer Workshop at iFM 2013, June 2013
  32. Sajid Ibrahim Hashmi, Fuyuki Ishikawa, Ita Richardson, A Communication Process for Global Requirements Engineering, The International Conference on Software and System Process (ICSSP 2013 Short Paper), pp.136-140, May 2013
  33. Mohammad Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Trust Computation in Web Service Compositions Using Bayesian Networks, The 10th International Conference on Web Services (ICWS 2012 Work-in-Progress Track), pp.623-625, June 2012
  34. Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden, Supporting View Transition Design of Smartphone Applications Using Web Templates, The 12th International Conference on Web Engineering (ICWE 2012 Short Paper), pp.323-331, July 2012
  35. Fuyuki Ishikawa, Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle, The 8th International Conference on Service-Oriented Computing (ICSOC 2010 Short Paper), pp.579-586, December 2010
  36. Benjamin Klopper, Fuyuki Ishikawa, Shinichi Honiden, Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes, The 8th International Conference on Service-Oriented Computing (ICSOC 2010 Short Paper), pp.635-640, December 2010
  37. [Best PhD Poster] Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Effcient, Failure-Resilient Semantic Web Service Planning, The 8th International Conference on Service-Oriented Computing (ICSOC 2010 PhD Symposium / Poster Track), pp.686-689, December 2010
  38. Fuyuki Ishikawa, Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods, The 7th International Conference on Services Computing (SCC 2010 Work-in-Progress Track), pp.635-636, July 2010
  39. Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC 2008 Short Paper), pp.372-378, September 2008
  40. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting and Utilizing Event-Context Relationships in Blogsphere, The 6th International Semantic Web Conference (ISWC 2007 Poster/Demo Track), November 2007
  41. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Policy-based Runtime Partner Management in Process-Based Services, 2007 IEEE International Conference on Web Services (ICWS 2007 Work-in-Progress Track), pp.1191-1194, July 2007
  42. Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden, PID-Filtered Negotiation for Decision Making in Dynamic Coverage Problem, IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006 Short Paper), pp.481-488, November 2006
  43. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Service-Oriented and Autonomous Distribution and Provision of Multimedia Contents, The 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006 Short Paper), pp.949-951, May 2006
  44. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Framework for Hierarchical Agent Synthesis and Its Multimedia Application, The 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005 Poster), pp.1267-1268, July 2005
  45. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden, Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound, The 7th International Conference on Enterprise Information Systems (ICEIS-2005 Poster), pp.275-282, May 2005

Talks/Panels

  1. [Panelist] Fumio Machida, Fuyuki Ishikawa, Shaukat Ali, Hussein Al Osman, Hironori Washizaki, Future Trends and Technological Innovations of AI System Evaluation, Future Advanced Testing Technology Workshop (FATTW 2024), November 2024
  2. [Invited Talk] Fuyuki Ishikawa, Testing and Repairing Technique for AI and by AI in Automated Driving Systems: Before and After LLM, Future Advanced Testing Technology Workshop (FATTW 2024), November 2024
  3. [Keynote Talk] Fuyuki Ishikawa, Detecting, Analyzing, and Addressing "Faults" in Automated Driving Systems, The 6th Annual International Workshop on Software Hardware Interaction Faults at The 35h International Symposium on Software Reliability Engineering (ISSRE 2024), October 2024
  4. [Technical Briefing] Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang, Technical Briefing on Deep Neural Network Repair, The 46th International Conference on Software Engineering (ICSE 2024)
  5. [Invited Talk] Fuyuki Ishikawa, QA4AI Guideline for Quality of LLM and Generative Chat AI, FM+SE Summit 2024, March 2024
  6. [Invited Talk] "State-of-the-Art of Testing Techniques for Quality Assurance of Machine Learning-based AI Systems", Japan Symposium on Software Testing in Tokyo 2021 (JaSST'21 Tokyo), March 2021
  7. [Keynote Talk] "Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges", The 2nd International Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS 2020) at The 31st International Symposium on Software Reliability Engineering (ISSRE 2020), October 2020
  8. [Panel] Jennifer Horkoff (Organizer), Requirements Engineering for Machine Learning (RE4ML) Panel, The 27th IEEE International Requirements Engineering Conference (RE 2019), September 2019
  9. [Invited Talk] "Challenges in Quality Assurance for Machine Learning-based Systems", The 1st IEEE International Workshop on Machine Learning and Software Testing (MLST 2019) at The 12th International Conference on Software Testing, Verification and Validation (ICST 2019)
  10. [Keynote Talk] "Challenges for Testing Autonomous Driving Systems: Tackling Uncertainty in the Open Physical World and Machine Learning", The 15th Workshop on Advances in Model Based Testing (A-MOST 2019) at The 12th International Conference on Software Testing, Verification and Validation (ICST 2019)
  11. Fuyuki Ishikawa, Testing for Dependable (Autonomous) Automotive Systems, The 3rd International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone), December 2018
  12. [Keynote Talk] Fuyuki Ishikawa, Integrated Approach to Dependable Cyber-Physical Systems: from Category Theory to Machine Learning, Symposium on Dependability and Safety of Autonomous Systems, November 2018
  13. [Keynote Talk] Fuyuki Ishikawa, Emerging Challenges in Software Dependability under Uncertain World, The 1st International Conference on Advanced Information Technologies (ICAIT), November 2017
  14. Fuyuki Ishikawa, Engineering Abstraction/Refinement in Modelling and Verification of CPS, Shonan Meeting on Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS), August 2017
  15. Fuyuki Ishikawa, SE for Smart CPS: Assurance and Verification, Shonan Meeting on Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS), August 2017
  16. Fuyuki Ishikawa, Exploring Explicit Semantics for Maintainability and Reusability in Formal Refinement (of Event-B), Shonan Meeting on Implicit and Explicit Semantics Integration in Proof based Developments of Discrete Systems, November 2016
  17. Fuyuki Ishikawa, Tsutomu Kobayashi, Refinement Engineering? Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), October 2014
  18. Exploration of Adaptation Space – Linking with Efforts in Service-Oriented Computing, Shonan Meeting on Engineering Adaptive Software Systems (EASSy 2013), September 2013
  19. [Panelist] Mini-Panel: "Research challenges in service-oriented computing: Where do we go from here?", The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference(SOA workshop at APSEC 2007）, December 2007.

Articles/Technical Report

  1. Fuyuki Ishikawa, Consistent and Quality-Aware Service Composition in Smart Cities, Human-Centered Services Computing for Smart Cities - IEICE Monograph, pp.3-21, May 2024
  2. 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, Communications of the ACM, Vol. 66 No. 7, pp. 58-63, July 2023
  3. Fuyuki Ishikawa, Takuo Doi, Kazunori Sakamoto, Nobukazu Yoshioka, Yoshinori Tanabe, Enlightening Test-Driven with Formal, Formal with Test-Driven through Spec-Test-Go-Round, Technical Report, GRACE Center, National Institute of Informatics, GRACE-TR-2015-05, pp.1-17, June 2015

Thesis

  1. Fuyuki Ishikawa, Agreement-based Cooperative Mobility in Service-Oriented Computing, PhD Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, February 2007
  2. Fuyuki Ishikawa, Web Services Integration by Mobile Agents, Master Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, February 2004
  3. Fuyuki Ishikawa, Web Search System based on Multi-Agent Framework, Senior Thesis, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo, February 2002