Ishikawa Lab. 日本語 >

dummy

Awards

  1. [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
  2. [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
  3. [IPSJ/IEEE Computer Society Young Researcher Award] Fuyuki Ishikawa, Research on Intelligence-driven Engineering of Dependable Smart Systems, March 2020
  4. [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
  5. [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
  6. [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
  7. [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
  8. [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
  9. [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
  10. [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. 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), Online Ready, October 2020
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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, 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
  2. Fuyuki Ishikawa, Shinichi Honiden, Verification and Configuration of Smart Space Applications, chapter in Enablers for Smart Cities, ISBN 978-1848219588, Wiley-ISTE, July 2016
  3. 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
  4. Fuyuki Ishikawa, QoS-based Service Selection, chapter in Handbook on Web Services Foundations, ISBN 978-1461475170, Springer, Jun 2013
  5. 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. 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
  2. Fuyuki Ishikawa, Tsutomu Kobayashi, Alexander Romanovsky, Proceedings of the Event-B Day 2018 in Tokyo, Technical Report, Newcastle University, 1525, December 2018
  3. 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
  4. 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
  5. 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
  6. 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
  7. Fuyuki Ishikawa, Alexander Romanovsky, Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), NII Shonan Meeting Report, No.2014-14, April 2015
  8. 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
  9. 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
  10. 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. 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), November 2021
  2. 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), October 2021
  3. 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, Septmber 2021
  4. 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), August 2021
  5. 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 (IV 2021), July 2021
  6. 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), June 2021
  7. 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), May 2021
  8. 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), April 2021
  9. 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), October 2020
  10. 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
  11. [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
  12. 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
  13. [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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. [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
  21. [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
  22. 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
  23. 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
  24. 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
  25. 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
  26. [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
  27. 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
  28. 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
  29. 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
  30. Tomoyuki Myojin, Fuyuki Ishikawa, Automated Test Procedure Generation from Formal Specifications, The 15th Overture Workshop, September 2017
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. [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
  37. 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
  38. 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
  39. [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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. [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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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
  58. 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
  59. 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
  60. 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
  61. Fuyuki Ishikawa, Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java, The 9th Overture/VDM Workshop at FM 2011, June 2011
  62. 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
  63. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extraction of Places Related to Flickr Tags, The 19th European Conference on Artificial Intelligence (ECAI 2010), August 2010
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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
  85. 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
  86. 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
  87. 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
  88. 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. 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
  2. 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
  3. 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
  4. 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), August 2020
  5. 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), August 2020
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. [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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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. [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
  2. [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
  3. [Panel] Jennifer Horkoff (Organizer), Requirements Engineering for Machine Learning (RE4ML) Panel, The 27th IEEE International Requirements Engineering Conference (RE 2019), September 2019
  4. [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)
  5. [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)
  6. 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
  7. [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
  8. [Keynote Talk] Fuyuki Ishikawa, Emerging Challenges in Software Dependability under Uncertain World, The 1st International Conference on Advanced Information Technologies (ICAIT), November 2017
  9. 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
  10. 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
  11. 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
  12. Fuyuki Ishikawa, Tsutomu Kobayashi, Refinement Engineering? Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), October 2014
  13. Exploration of Adaptation Space – Linking with Efforts in Service-Oriented Computing, Shonan Meeting on Engineering Adaptive Software Systems (EASSy 2013), September 2013
  14. [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.

Technical Report

  1. 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