Trustworthy & Smart Software Engineering Lab. English >

論文・発表・著作物

本ページでは論文・発表・著作物の全リストを載せています.

代表的なものや最新のものについてはGoogle ScholarDBLPの方が見やすいかもしれません.

目次

受賞

  1. [SQiP Best Paper Effective Award] 小川 哲生,石川 冬樹,徳本 晋,栗田 太郎,物理解析ソフトウェアのテスト手法の検討 - Search-based testing およびMetamorphic testing によるアプローチ,ソフトウェア品質シンポジウム2022,2022年9月
  2. [最優秀論文賞] 相津 一寛,小宮山 英明,柳原 靖司,石川 冬樹,栗田 太郎,徳本 晋,ゴール指向要求分析とシステム安全分析を利用した AIシステム品質の個別ガイドライン導出方法の提案,ソフトウェア・シンポジウム 2021(SS 2021),2021年6月
  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. [最優秀論文賞] 柏原 一雄,長井 亘,不破 慎之介,林 香織,石川 冬樹,栗田 太郎,要求仕様の誤解釈を検出するDomain Word Modelingの提案,ソフトウェア・シンポジウム 2020(SS 2020),2020年6月
  6. [論文奨励賞] 柳原 靖司,吉田 邦雄,石川 冬樹,栗田 太郎,多様なステークホルダの満足度に着目したシステムの安全性・セキュリティ要件の抽出と検証,ソフトウェア・シンポジウム 2020(SS 2020),2020年6月
  7. [IPSJ/IEEE Computer Society Young Researcher Award] Fuyuki Ishikawa, Research on Intelligence-driven Engineering of Dependable Smart Systems, March 2020
  8. [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
  9. [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
  10. [功績賞] 本位田 真一,石川 冬樹,鄭 顕志,トップエスイープロジェクトの推進,情報処理学会 ソフトウェア工学研究会 功績賞,2019年8月
  11. [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
  12. [論文奨励賞] 菅原 扶,室井 義彦,山口 俊彦,山崎 哲,石川 冬樹,栗田 太郎,要求獲得のためのヒアリングにおけるゴール指向要求分析の活用 ~「ゴール指向 Lite」の提案~,ソフトウェア・シンポジウム2018(SS 2018),2018年6月
  13. [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), uly 2015
  14. [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
  15. [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
  16. [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
  17. [研究会推薦博士論文] 石川 冬樹,サービス指向コンピューティングにおける合意に基づいた協調的な移動性(ソフトウェア工学研究会,2007年度選出)

学術雑誌(英文・査読付)

  1. 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, July 2023
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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

学術雑誌(和文・査読付)

  1. 川上 真澄,石川 冬樹,ビューパターンに基づいた列挙を行うドメイン特化モデリング環境開発支援ツールの実装と評価,電子情報通信学会論文誌,Vol.J106-D No.04, pp.244-256, 2023年4月
  2. 鴨志田 亮太,石川 冬樹,教師あり機械学習の実行と分析者の知識習得を同時に支援するツールの提案,コンピュータソフトウェア,Vol.39 No.3, pp.67-81, 2022年9月
  3. 佐藤 直人,石川 冬樹,証明の手戻りを防止するEvent-Bモデルの変更手法,電子情報通信学会論文誌,Vol.J99-D No.9,pp.895-914,2016年9月
  4. 鄭 顕志,清水 遼,高橋 竜一,石川 冬樹,自己適応ソフトウェアのための自己適応性設計に関する研究動向,日本ソフトウェア科学会 コンピュータソフトウェア(サーベイ論文),pp.49-59,Vol. 31 No. 1,2014年2月
  5. 新居 雅行,鄭 顕志,石川 冬樹,エンドユーザーによる保守作業を可能にするWebアプリケーションフレームワーク,日本ソフトウェア科学会 コンピュータソフトウェア(ソフトウェア論文),pp.60-74,Vol. 31 No. 1,2014年2月
  6. 綿引 健二,石川 冬樹,平石 邦彦,時間,資源の制約を持つビジネスプロセスの形式検証,電子情報通信学会論文誌,Vol.J96-D No.8,pp. 1878-1891,2013年8月
  7. 前岡 淳,田辺 良則,石川 冬樹,Java PathFinder における探索打ち切りポリシーを用いたヒューリスティック探索,日本ソフトウェア科学会 コンピュータソフトウェア 「ソフトウェア工学」特集,Vol.30 No.3,pp. 109-122,2013年8月
  8. 來間 啓伸,石川 冬樹,形式仕様に基づくソフトウェア開発手法の紹介,日本ソフトウェア科学会「コンピュータソフトウェア誌」 Vol. 29 No. 4 (解説論文),pp.50-58,2012年11月
  9. 高橋 竜一,石川 冬樹,本位田 真一,深澤 良彰,メタデータ制約を用いた協調プロトコルの自動合成手法,情報処理学会論文誌,Vol.53 No.2,pp.683-697,2012年2月
  10. 馬場 雪乃,石川 冬樹,本位田 真一,Folksonomy上のタグと関連する場所の抽出,人工知能学会論文誌,Vol.27 No.1,pp.1-9, 2012年1月
  11. 平塚 信明,石川 冬樹,本位田 真一,同種サービスの併用を考慮した効率的なサービス選択,情報処理学会論文誌Vol.52 No.10,pp.2920-2933,2011年10月
  12. 大橋 昭,石川 冬樹ほか,AOJS:JavaScriptのためのアスペクト指向プログラミング・フレームワーク,日本ソフトウェア科学会「コンピュータソフトウェア誌」 Vol. 28 No. 3,pp.114-131,2011年8月
  13. 石川 冬樹,山本 佳代子,本位田 真一,物理的相互作用に着目した,スマート空間の形式仕様記述と検証,情報処理学会論文誌Vol.52 No.1,pp.220-232,2011年1月
  14. 高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰,マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法,電子情報通信学会論文誌「ソフトウェアエージェントとその応用特集号」 Vol. J92-D No.11,pp.1827-1839,2009年11月
  15. 鄭 顕志,石川 冬樹,吉岡 信和,深澤 良彰,本位田 真一,解説論文:適応エージェントのためのユビキタスコンピューティングミドルウェア,日本ソフトウェア科学会 コンピュータソフトウェア「エージェント」特集,Vol. 25 No. 4,pp.11-19,2008年11月
  16. 石川 冬樹,阿部 玲,高橋 竜一,吉岡 信和,深澤 良彰,本位田 真一,ユビキタスコンピューティングにおける分散協調・連携技術の研究動向,日本ソフトウェア科学会 コンピュータソフトウェア「エージェント」特集,Vol. 25 No. 4,pp.133-144,2008年11月
  17. 石川 冬樹,吉岡 信和,本位田 真一,Event Calculusに基づく合意を用いたモバイルエージェントの協調,電子情報通信学会論文誌「ソフトウェアエージェントとその応用」特集号 Vol.J90-D-I, No.9,pp.2349-2364, 2007年9月
  18. 石川 冬樹,吉岡 信和,本位田 真一,プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用,情報処理学会論文誌Vol.48 No.4,pp.1785-1798,2007年04月
  19. 石川 冬樹,吉岡 信和,田原 康之,本位田 真一,階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用,電子情報通信学会論文誌「ソフトウェアエージェントとその応用」特集号 Vol. J88-D-I No.9,pp.1402-1417,2005年9月
  20. 石川 冬樹,吉岡 信和,本位田 真一,パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(人工知能と知識処理研究専門委員会推薦論文),電子情報通信学会論文誌,VOL.J87-D-I NO.7,pp.782-795,2004年7月
  21. 石川 冬樹,田原 康之,吉岡 信和,本位田 真一,Webサービス連携のためのモバイルエージェント動作記述,情報処理学会論文誌「オブジェクト指向とWeb技術」特集号 Vol.45 No.6,pp.1614-1629,2004年6月

書籍

  1. 石川 冬樹,これからの「ソフトウェアづくり」との向き合い方,丸善出版,ISBN: 978-4-621-05391-1,2024年2月
  2. 石川 冬樹(編・著)ほか, 機械学習工学, 講談社, ISBN: 978-4-06-528586-2, 2022年7月
  3. バートランド・メイヤー (著), 石川 冬樹 (監修), 土肥 拓生 (翻訳), 前澤 悠太 (翻訳), 末永 俊一郎 (翻訳) ,アジャイルイントロダクション (トップエスイー入門講座) ,近代科学社,ISBN-10: 4764905108,2018年12月
  4. Alexander Romanovsky (Editor), Fuyuki Ishikawa (Editor), Trustworthy Cyber-Physical Systems, ISBN 978-1498742450, Chapman and Hall/CRC, October 2016
  5. Amal El Fallah Seghrouchni (Editor), Fuyuki Ishikawa (Editor), Laurent Hérault (Editor), Hideyuki Tokuda (Editor), Enablers for Smart Cities, ISBN 978-1848219588, Wiley-ISTE, July 2016
  6. 石川 冬樹,荒木 啓二郎(監修),VDM++による形式仕様記述,近代科学社,ISBN 978-4764904095,2011年7月

書籍(章)

  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, ISBN 978-1498742450, Chapman and Hall/CRC, October 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 - Studies in Computational Intelligence, Vol. 614, pp. 75-96, ISBN 978-3319234663, Springer International Publishing, October 2015
  5. Fuyuki Ishikawa, QoS-based Service Selection - Book 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

プロシーディングス

  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

国際会議(フルペーパー)

  1. 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), July 2024
  2. Soo Ling Lim, Peter Bentley, Fuyuki Ishikawa, SCAPE: Searching Conceptual Architecture Prompts using Evolution, 2024 IEEE Congress on Evolutionary Computation (CEC 2024), July 2024
  3. 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), May 2024
  4. 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), April 2024
  5. 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), April 2024
  6. 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), March 2024
  7. 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), March 2024
  8. 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 (APSEC2023, Software Engineering In Practice Track), December 2023
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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), August 2022
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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), pp.197-202, July 2021
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. [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
  33. 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
  34. [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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. [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
  42. [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
  43. 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
  44. 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
  45. 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
  46. 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
  47. [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
  48. 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
  49. 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
  50. 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
  51. Tomoyuki Myojin, Fuyuki Ishikawa, Automated Test Procedure Generation from Formal Specifications, The 15th Overture Workshop, September 2017
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. [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
  58. 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
  59. 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
  60. [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
  61. 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
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. [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
  69. 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
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. Fuyuki Ishikawa, Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java, The 9th Overture/VDM Workshop at FM 2011, June 2011
  83. 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
  84. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extraction of Places Related to Flickr Tags, The 19th European Conference on Artificial Intelligence (ECAI 2010), August 2010
  85. 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
  86. 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
  87. 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
  88. 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
  89. 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
  90. Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009
  91. 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
  92. 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
  93. 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
  94. 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
  95. 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
  96. 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
  97. 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
  98. 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
  99. 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
  100. 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
  101. 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
  102. 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
  103. 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
  104. 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
  105. 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
  106. 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
  107. 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
  108. 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
  109. 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

国際会議(ツールペーパー・ショートペーパー・ポスター等)

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. [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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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

国内会議(査読有)

  1. [Best Paper Award]小川 哲生,石川 冬樹,徳本 晋,栗田 太郎,物理解析ソフトウェアのテスト手法の検討 - Search-based testing およびMetamorphic testing によるアプローチ,ソフトウェア品質シンポジウム2022,2022年9月
  2. 北野 健太,増田 知彰,石川 冬樹,栗田 太郎,徳本 晋,機械学習プロジェクト成功のための要求獲得・分析,第4回機械学習工学研究会(MLSE夏合宿2021),2021年7月
  3. [最優秀論文賞] 相津 一寛,小宮山 英明,柳原 靖司,石川 冬樹,栗田 太郎,徳本 晋,ゴール指向要求分析とシステム安全分析を利用した AIシステム品質の個別ガイドライン導出方法の提案,ソフトウェア・シンポジウム 2021(SS 2021),2021年6月
  4. [最優秀論文賞] 柏原 一雄,長井 亘,不破 慎之介,林 香織,石川 冬樹,栗田 太郎,要求仕様の誤解釈を検出するDomain Word Modelingの提案,ソフトウェア・シンポジウム 2020(SS 2020),2020年6月
  5. [論文奨励賞] 柳原 靖司,吉田 邦雄,石川 冬樹,栗田 太郎,多様なステークホルダの満足度に着目したシステムの安全性・セキュリティ要件の抽出と検証,ソフトウェア・シンポジウム 2020(SS 2020),2020年6月
  6. 小澤 遼,石川 冬樹,深層学習に対する自動テストに基づくニューロンの誤識別への影響分析,第3回機械学習工学研究会(MLSE夏合宿2020),2020年7月
  7. 渋谷 公寛,越前谷 達朗,久保 光寛,新田 史弥,吉竹 宏幸,石川 冬樹,栗田 太郎,要件定義計画を強化するアセスメント項目の提案,ソフトウェア・シンポジウム2019(SS 2019),2019年6月
  8. 石川 冬樹,松野 裕,Continuous Argument Engineering: 機械学習システムにおける議論モデルの活用に向けて,第1回機械学習工学ワークショップ(MLSE2018),2018年7月
  9. [論文奨励賞] 菅原 扶,室井 義彦,山口 俊彦,山崎 哲,石川 冬樹,栗田 太郎,要求獲得のためのヒアリングにおけるゴール指向要求分析の活用 ~「ゴール指向 Lite」の提案~,ソフトウェア・シンポジウム2018(SS 2018),2018年6月
  10. 酒井 雄太,石川 冬樹,栗田 太郎,さまざまな視点に合わせた仕様書の作成・維持の支援方法,ソフトウェア品質シンポジウム 2017(経験論文),2017年9月
  11. 伊藤 淳,圓通 聡,石川 冬樹,テスト駆動開発を利用した実例による形式仕様記述の提案,ソフトウェア・シンポジウム2014(SS 2014),2014年6月
  12. 宮本 陽子,日下部 雄三,石川 冬樹,VDMとUSDMを組み合わせた仕様記述方法―VDM による USDM 仕様記述の改善提案―,ソフトウェア・シンポジウム2013(SS 2013)(経験論文),2013年7月
  13. 宮本 陽子,石川 冬樹,形式仕様記述言語の利用による仕様書の改善 ―USDM と形式仕様記述の考察を通して―,ソフトウェア・シンポジウム2012(SS 2012)(経験論文),2012年6月
  14. 羽田 裕,和田 圭司,石川 冬樹,VDM 仕様とテスト設計による仕様の問題発見に関する評価,ソフトウェア・シンポジウム2012(SS 2012)(経験論文),2012年6月
  15. 渡辺 敦,石川 冬樹,深澤 良彰,本位田 真一,ヴィックレイオークションを利用したWebサービス選択アルゴリズム,合同エージェントワークショップ&シンポジウム2011 (JAWS 2011),2011年10月
  16. 石川 冬樹,VDM++仕様・Javaコード間のカスタマイズ・トレース可能な変換に向けて,ソフトウェアエンジニアリングシンポジウム2011(SES 2011),2011年9月
  17. 佐藤 慎一,石川 冬樹,猪原 健弘,貢献度と顧客のニーズに関する妥当性の間のコンフリクト検出指標,ソフトウェアエンジニアリングシンポジウム2011(SES 2011),2011年9月
  18. 平塚 信明,石川 冬樹,本位田 真一,同種サービスの複数利用を考慮した効率的なサービス選択候補の構築,合同エージェントワークショップ&シンポジウム(JAWS 2010),2010年10月
  19. 山本 佳代子,石川 冬樹,本位田 真一,スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援,合同エージェントワークショップ&シンポジウム(JAWS 2009),2009年10月
  20. 山上 浩志,吉田 晃敏,林 弘樹,守屋 潔,三上 大季,廣川 博之,石川 冬樹,吉岡 信和,堀内 賢一,劉 亜斌,中島 啓一,診断情報共有のための新しいセキュリティ基盤システムの開発,医療情報学,Vol.28(Suppl.),pp.365-368,2008年11月
  21. 高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰,マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法,合同エージェントワークショップ&シンポジウム(JAWS 2008),2008年10月
  22. 石川 冬樹,阿部 玲,高橋 竜一,吉岡 信和,深澤 良彰,本位田 真一,ユビキタスコンピューティングにおける分散協調・連携技術の研究動向,合同エージェントワークショップ&シンポジウム2007(JAWS 2007),2007年10月.
  23. 石川 冬樹,吉岡 信和,本位田 真一,サービス合成における契約ポリシーの決定・検証問題の形式化とその支援,合同エージェントワークショップ&シンポジウム2007(JAWS 2007),2007年10月.
  24. 高橋 竜一,鄭 顕志,石川 冬樹,深澤 良彰,本位田 真一,マルチエージェントシステムにおける柔軟なプロトコル合成言語,合同エージェントワークショップ&シンポジウム2007(JAWS 2007),2007年10月.
  25. 石川 冬樹,本位田 真一,ユビキタスコンピューティングとエージェント:自発性と合意,合同エージェントワークショップ&シンポジウム2006(JAWS 2006),2006年10月
  26. チュオン カン クアン,石川 冬樹,本位田 真一,Recommender Systemの予測精度を上げる:ユーザ類似度の安定によるアイテムクラスターリング手法,合同エージェントワークショップ&シンポジウム2006(JAWS 2006),2006年10月
  27. 片岡 慧,吉岡 信和,石川 冬樹,鄭 顕志,本位田 真一,コンテンツ流通エージェントのための強化学習メカニズム,合同エージェントワークショップ&シンポジウム2006(JAWS 2006),2006年10月
  28. 石川 冬樹,吉岡 信和,本位田 真一,サービス指向に基づいたマルチメディアコンテンツの自律的な流通と提供, 合同エージェントワークショップ&シンポジウム2005 (JAWS 2005),2005年11月
  29. 石川 冬樹,田原 康之, 吉岡 信和, 本位田 真一, 階層型モバイルエージェントの合成における合意記述,合同エージェントワークショップ&シンポジウム2004(JAWS 2004),pp.50-58,2004年10月
  30. NGUYEN Khanh Ngoc,石川 冬樹,田原 康之,本位田 真一, コンテンツカプセル化エージェントの動作制御のためのポリシーモデル,合同エージェントワークショップ&シンポジウム2004(JAWS 2004), pp.99-106,2004年10月
  31. 石川 冬樹,田原 康之,吉岡 信和,本位田 真一 ,階層型モバイルエージェントの自律的な合成のための記述とその基板に関する検討,第11 回ソフトウェア工学の基礎ワークショップ(FOSE 2004),pp.61-64,2004年11月
  32. 石川 冬樹,吉岡 信和,田原 康之,本位田 真一,モバイルエージェントによるWebサービス連携モデル, 合同エージェントシンポジウム&ワークショップ(JAWS 2003),pp.168-175,2003年10月
  33. 石川 冬樹,田原 康之,吉岡 信和,本位田 真一, Webサービス連携のためのモバイルエージェント動作記述,第10回ソフトウェア工学の基礎ワークショップ(FOSE 2003),pp.197-200,2003年11月
  34. 石川 冬樹,吉岡 信和,本位田 真一, パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム,オブジェクト指向シンポジウム2003(OO 2003),pp.41-48,2003年8月
  35. 石川 冬樹,吉岡 信和,本位田 真一, Webサービス連携エージェントのためのビヘイビアルール記述言語,エージェント合同シンポジウム(JAWS 2002),pp.353-363,2002年11月

国内会議(口頭発表等)

  1. Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa, Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement, ソフトウェアエンジニアリングシンポジウム2023(SES 2023、既発表論文トラック),2023年9月
  2. Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Distributed Repair of Deep Neural Networks, ソフトウェアエンジニアリングシンポジウム2023(SES 2023、既発表論文トラック),2023年9月
  3. 石川 冬樹,ソフトウェア工学の観点から見るLLMとサービスコンピューティング,電子情報通信学会第46回サービスコンピューティング研究会,2023年6月
  4. 石川 冬樹,画像生成AIのQAを考えてみる,JaSST nano vol.19, 2022年12月
  5. Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, argeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search, ソフトウェアエンジニアリングシンポジウム2022(SES 2022,既発表論文トラック),2022年9月
  6. 石川 冬樹, Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, 動的な進化的探索による自動運転システムの多様な要求違反パターンの検出,日本ソフトウェア科学会第39回大会(JSSST 2022),2022年9月
  7. 徳井 翔梧,徳本 晋,石川 冬樹,分類モデルの出力値間の距離に基づいた退行抑制のためのディープニューラルネットワーク修正技術の検討,情報処理学会 第210回ソフトウェア工学研究発表,pp.1-8, 2022年3月
  8. 今井 健男,原 聡,吉岡 信和,石川 冬樹,ソフトウェア工学分野における機械学習システム関連研究の動向調査,第28回ソフトウェア工学の基礎ワークショップ (FOSE2021,ポスター),2021年11月
  9. Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems, ソフトウェアエンジニアリングシンポジウム2021(既発表論文トラック),2021年9月
  10. Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance, ソフトウェアエンジニアリングシンポジウム2021(既発表論文トラック),2021年9月
  11. Paolo Arcaini, Xiao-Yi Zhang, 石川 冬樹,運転挙動の特徴に基づいた自動運転システムのテスティング,日本ソフトウェア科学会第38回大会,2021年9月
  12. 徳井 翔梧,徳本 晋,菊池 慎司,石川 冬樹,訓練履歴を用いた欠陥局所化によるディープニューラルネットワーク修正技術の開発,情報処理学会 第207回ソフトウェア工学研究発表会,pp.1-8, 2021年3月
  13. 石川 冬樹,今井 健男,勝股 審也,末永 幸平,杉山 麿人,関山 太朗,蓮尾 一郎,原 聡,丸山 宏,吉岡 信和,鷲崎 弘宜,融合分野としての機械学習工学における技術チャレンジ,第2回機械学習工学ワークショップ(MLSE夏合宿2019・ポスター),2019年7月
  14. 石川 冬樹,徳本 晋,機械学習応用システムのテストにおける入力空間分割の評価,第2回機械学習工学ワークショップ(MLSE夏合宿2019・ポスター),2019年7月
  15. 鴨志田 亮太,石川 冬樹,機械学習エンジニアのデータ分析と知識習得を支援するツールMALSS,第2回機械学習工学ワークショップ(MLSE夏合宿2019・ポスター),2019年7月
  16. 北野 健太,石川 冬樹,為替レート予測における機械学習システムのモニタリング手法の検討,第2回機械学習工学ワークショップ(MLSE夏合宿2019),2019年7月
  17. 小池 湧大,松野 裕,石川 冬樹,機械学習システムの動的な保証のための支援ツール開発,第2回機械学習工学ワークショップ(MLSE夏合宿2019),2019年7月
  18. 太田 裕一,北野 健太,早川 芳昭,石川 冬樹,機械学習活用に向けた解釈手段の比較考察,第2回機械学習工学ワークショップ(MLSE夏合宿2019),2019年7月
  19. 石川 冬樹,深層学習モデルに対するテスト研究の動向と課題,SIG-SE ウィンターワークショップ2019(WWS 2019),2019年1月24日
  20. 川上 真澄,石川 冬樹,ドメイン特化モデリング(DSM)の記法定義およびモデリング環境構築を効率化するDSMパタンの提案,ソフトウェアエンジニアリングシンポジウム2018(SES 2018),2018年9月
  21. 石川 冬樹,イベント駆動型IoT アプリケーションにおける自己適応のためのアーキテクチャ,信学技報, vol. 117, no. 512, SC2017-34, pp. 21-26, 2018年3月
  22. 吉岡 信和,石川 冬樹,今井 健男,丸山 宏,SEチャレンジ: 機械学習 x ソフトウェア工学 = 機械学習工学,第24回ソフトウェア工学の基礎ワークショップ(FOSE 2017),2017年11月
  23. 石川 冬樹,サイバーフィジカルシステムの検証に向けた複合アプローチ,第24回ソフトウェア工学の基礎ワークショップ(FOSE 2017),2017年11月
  24. 石川 冬樹,サイバーフィジカルシステムのテスティングに向けて:多方面からのアプローチの来たるべき融合,ソフトウェアエンジニアリングシンポジウム2017(SES 2017),2017年8月
  25. 田邉 昭,宮本 陽子,栗田 太郎,石川 冬樹,情報伝達型文書における自然言語,図表の記法,形式仕様記述言語の組み合わせ手法の提案,ソフトウェア品質シンポジウム2015,2015年9月
  26. 水谷 祐馬,石川 冬樹,VDM++におけるテストデータに基づいたリファインメント検証手法の提案,第187回ソフトウェア工学研究発表会,Vol.2015-SE-187 No.35,pp.1-8,2015年3月
  27. 前岡 淳,田辺 良則,石川 冬樹,ソフトウェアモデル検査におけるLTL検証の探索範囲限定手法による効率化,第21回ソフトウェア工学の基礎ワークショップ(FOSE 2014 ポスターセッション),2014年12月
  28. 石川 冬樹,中澤 仁,ClouTプロジェクト:IoTとクラウドの融合によるスマートシティーへの取り組み,電子情報通信学会技術研究報告(サービスコンピューティング第10回研究会),Vol.114 No.157,pp.1-2,2014年7月
  29. 矢藤 康祐,坂本 一憲,石川 冬樹,本位田 真一,フィードバック指向ランダムテストを用いたQuickCheckの改良,第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014),2014年3月
  30. 前岡 淳,田辺 良則,石川 冬樹,フィールドアクセスに着目したモデル検査の効率化,第20回ソフトウェア工学の基礎ワークショップ(FOSE 2013),2013年11月
  31. 石川 冬樹,高橋 竜一,法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて,電子情報通信学会技術研究報告(サービスコンピューティング第4回研究会),Vol.112 No.497,pp.1-6,2013年3月
  32. 鶴見 直樹,石川 冬樹,本位田 真一,深澤 良彰,クラウドを動的に利用するWebサービス連携のための動作記述,電子情報通信学会技術研究報告(サービスコンピューティング第3回研究会),Vol.112 Nov.299,pp.25-30,2012年11月
  33. 石川 冬樹,クラウド時代における品質に基づいたサービス選択・配備問題,2012年電子情報通信学会総合大会,2012年3月
  34. 石川 冬樹,既存サービスを利用するソフトウェアにおける機能・品質の分析に関する議論,ウィンターワークショップ2012・イン・琵琶湖,2012年1月
  35. 綿引 健二 , 石川 冬樹 , 平石 邦彦,時間,資源の制約を考慮したビジネスプロセスの検証,電子情報通信学会ソサイエティ大会,2011年_基礎・境界,pp.S-21-S-22,2012年8月
  36. 石川 冬樹,サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について,ウィンターワークショップ2011・イン・修善寺,2011年1月
  37. 渡辺 敦,片渕 聡,高橋 竜一,鄭 顕志,石川 冬樹,深澤 良彰,本位田 真一 ,組合せによる条件付き品質を考慮したWebサービス選択の高速化手法,マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2010),2010年7月
  38. 片渕 聡,鄭 顕志,高橋 竜一,深澤 良彰,石川 冬樹,本位田 真一,イベント駆動型Webサービス検索のためのイベントマッチング,人工知能学会全国大会(第24回)(JSAI 2010),2010年6月
  39. 鷲崎 弘宜,石川 冬樹,ほか,ディペンダビリティ確保にむけたアスペクト指向技術動向,第168回ソフトウェア工学・第17回組込みシステム 合同研究発表会,pp.1-8,2010年6月
  40. 石川 冬樹,サービス品質に関する多様な想定に応じた選択・適応手法の活用に向けて,ウィンターワークショップ2010・イン・倉敷,2010年1月
  41. 綿引 健二,石川 冬樹,本位田 真一,平石 邦彦,時間,資源および同時実行数の制約をもつビジネスプロセスの形式検証,ウィンターワークショップ2010・イン・倉敷,2010年1月
  42. 高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰,サービス設計における付随機能の考慮によるQoSの向上,ウィンターワークショップ2010・イン・倉敷,2010年1月
  43. 片渕 聡,鄭 顕志,高橋 竜一,石川 冬樹,深澤 良彰,本位田 真一,Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ,ウィンターワークショップ2010・イン・倉敷,2010年1月
  44. 渡辺 敦,片渕 聡,高橋 竜一,鄭 顕志,石川 冬樹,深澤 良彰,本位田 真一,組み合わせQoSを考慮した自動サービス合成に関する研究,ウィンターワークショップ2010・イン・倉敷,2010年1月
  45. Adrian Klein,石川 冬樹,Bernhard Bauer,A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Pattern,サービスコンピューティング時限専門委員会第1回研究会,2009年7月
  46. 片渕 聡,鄭 顕志,高橋 竜一,石川 冬樹,深澤 良彰,本位田 真一,Webサービス検索のための操作カテゴリ分類手法の提案,サービスコンピューティング時限専門委員会第1回研究会,2009年7月
  47. 高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤良彰,サービス合成におけるメタデータを用いた協調プロトコル合成手法,サービスコンピューティング時限専門委員会第1回研究会,2009年7月
  48. 石川 冬樹,サービスコンピューティング研究の動向,サービスコンピューティング時限専門委員会第1回研究会,2009年7月
  49. 馬場 雪乃,石川 冬樹,本位田 真一,Folksonomy からの潜在的知識抽出,第10回AI若手の集い(MYCOM 2009),2009年6月
  50. 馬場 雪乃,石川 冬樹,本位田 真一,タグに関連づけられた時間・場所の概念抽出,電子情報通信学会技術研究報告.AI,人工知能と知識処理,vol.108 no. 119,AI2008-9,pp.51-56,2008年9月
  51. 石川 冬樹,清 雄一,吉岡 信和,本位田 真一,ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御,マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2008),2008年7月

講演・討論

  1. [招待講演] Fuyuki Ishikawa, QA4AI Guideline for Quality of LLM and Generative Chat AI, FM+SE Summit 2024, March 2024
  2. [パネル討論] 石川 冬樹,浦山 さつき,大西 建児,片山 徹郎,榊原 彰,佐々木 方規,JaSSTのはじまりとテストのこれから ~にしさんへの感謝を込めて,JaSST'24 Tokyo,2024年3月
  3. [パネル討論] 石川 冬樹,末村 拓也,中村 龍矢,松浦 隼人,AI搭載プロダクトの品質保証の現在地点とこれから,JaSST'24 Tokyo,2024年3月
  4. [招待講演] 石川 冬樹,AI 時代における製品・サービスの品質へのアプローチ,令和5年度第3回機械システム研究会,2024年1月
  5. [基調講演] 石川 冬樹,QA4AIガイドラインにおける二つの生成系AIサブガイドライン,Open QA4AI Conference 2023,2024年1月
  6. [基調講演] 石川 冬樹,対話型生成AIにより大きく変わるエンジニアリングの世界,CSA Japan Congress 2023,2023年11月
  7. [招待講演] 石川 冬樹,今から追いつく、AI品質の基本と最新動向,JaSST'23 Shikoku,2023年10月
  8. [パネル討論] 石川 冬樹,倉光 君郎,丸山 宏,三浦 真樹,鷲崎 弘宜,大規模言語モデルとソフトウェア工学 ~ChatGPTはソフトウェア工学に変革をもたらすか?~,ソフトウェアエンジニアリングシンポジウム2023(SES 2023),2023年9月
  9. [パネル討論] 石川 冬樹,石川 誠司,石郷岡 祐,高田 広章,吉村 健太郎,AI/SDV時代のソフトウェア開発,第8回オートモーティブ・ソフトウェア・フロンティア2023,2023年2月
  10. [招待講演] 石川 冬樹,テスト生成・デバッグの自動化技術の自動運転システムへの展開,第8回オートモーティブ・ソフトウェア・フロンティア2023,2023年2月
  11. [基調講演] 石川 冬樹,正解がないシステムをテストする,ソフトウェアテストシンポジウム 2022 関西(JaSST'22 Kansai),2022年6月
  12. [招待講演] 石川 冬樹,機械学習の産業応用におけるソフトウェア工学の課題と進展,情報処理学会 連続セミナー 2022 第1 AIと歩む未来(3):社会に広がるAIの現状と課題,2022年6月
  13. [招待講演] 石川 冬樹,AIの品質における難しさとアプローチ,日本品質管理学会 第172回シンポジウム(東日本),2021年12月
  14. 石川 冬樹,機械学習工学の進展と課題,第3回AI/IoTシステム安全性シンポジウム,2021年11月
  15. [招待講演] 石川 冬樹,AIの品質における難しさを理解し先端技術で挑む,ベリサーブ アカデミック イニシアティブ 2021,2021年11月
  16. [招待講演] 石川 冬樹,オープンな世界と向き合うシステムにおける開発文書品質,ASDoQ大会2021,2021年11月
  17. [基調講演] 石川 冬樹,田口 研治,自動運転の安全性論証に向けて,UL 4600(自動運転の安全評価規格)ウェビナー,2021年6月
  18. [招待講演] 石川 冬樹,深層学習システムのディペンダビリティ保証に向けて,第18回 ディペンダブルシステムワークショップ(DWS 2020),2021年3月
  19. [講演] Fuyuki Ishikawa, State-of-the-Art of Testing Techniques for Quality Assurance of Machine Learning-based AI Systems,ソフトウェアテストシンポジウム 2021 東京(JaSST'21 Tokyo),2021年3月
  20. [招待講演] 石川 冬樹,自動運転の安全性に向けた先端研究開発の動向紹介,車載組込みシステムフォーラム2021,2021年1月
  21. 石川 冬樹,機械学習システムの品質に関する動向と安全性,安全コンセプト記法研究会 オープンカンファレンス(SCN-OC 2020),2020年11月
  22. [招待講演] 石川 冬樹,機械学習システムの品質に関するソフトウェア工学の動向 ,第2回AI/IoTシステム安全性シンポジウム,2020年11月
  23. [招待講演] 石川 冬樹,ロバスト機械学習へのソフトウェア工学からのアプローチ,第41回IBISML研究会,2020年10月
  24. [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
  25. [基調講演] 石川 冬樹,AIのテストにおける課題と技術から考える今後のテスト,ソフトウェアテストシンポジウム 2020 北陸(JaSST'20 Hokuriku),2020年1月
  26. [招待講演] 石川 冬樹,機械学習工学,第1回 人工物工学コロキウム:多数パラメータと科学技術,2020年1月
  27. [パネル討論] 石川 冬樹,福田 尚弘,松岡 正人,「AIセキュリティ」その脅威と対策を考える,Network Security Forum 2020,2020年1月
  28. [招待講演] 石川 冬樹,自動運転におけるAIのテスト・AIによるテスト,第7回自動車機能安全カンファレンス,2019年12月
  29. [招待講演] 石川 冬樹,AIの品質問題、そこから考えるソフトウェア品質技術の深化,SQiP OPEN DAY,2019年11月
  30. [招待講演] 石川 冬樹,機械学習に対するソフトウェア工学の技術動向,第22回情報論的学習理論ワークショップ,2019年11月
  31. [基調講演] 石川 冬樹,「うちのAI大丈夫?」と言われた開発現場が慌てないための指針 AIプロダクトと非AIプロダクト、テスト/品質保証の違いと共通点とは,@ITセミナーソフトウェア品質向上セミナー2019冬,2019年11月
  32. [招待講演] 石川 冬樹,機械学習の産業応用を支える工学技術の最新動向,情報処理学会 連続セミナー 2019 第4回: AIと歩む未来(3):社会に広がるAIの現状と課題,2019年10月
  33. [基調講演] 石川 冬樹,AIによる品質・AIの品質~ソフトウェア工学観点からの動向紹介~",品質工学シンポジウム2019 in おおさか,2019年10月
  34. [Panel] Jennifer Horkoff (Organizer), Requirements Engineering for Machine Learning (RE4ML) Panel, The 27th IEEE International Requirements Engineering Conference (RE 2019), September 2019
  35. [招待講演] 石川 冬樹,AIブームから機械学習工学,そしてエージェントへ,合同エージェントワークショップ&シンポジウム2019 (JAWS2019),2019年9月
  36. [招待講演] 石川 冬樹,自動運転のためのテスト・検証技術の深化 ~ 離散から連続への発展と機械学習工学,第32回 回路とシステムワークショップ,2019年8月
  37. [招待講演] 石川 冬樹,高信頼自動運転に向けて~ソフトウェアテスティング技術の観点から,2019 IEEE Reliability Society Japan Joint Chapter Seminar,2019年6月
  38. [招待講演] 石川 冬樹,MLSE研究会・QA4AIコンソーシアムの活動・成果物報告,2019年度人工知能学会全国大会(第33回) 企画セッション 「機械学習における説明可能性・公平性・安全性への工学的取り組み」,2019年6月
  39. [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), April 2019
  40. [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), April 2019
  41. [パネル討論登壇] 「人工知能の未来~その未来をどうテストし、どうテストに活用するのか~」,ソフトウェアテストシンポジウム 2019 東京 (JaSST'19 Tokyo),2019年3月
  42. [企画講演] 石川 冬樹,小川 秀人,西 康晴,AIプロダクトに対する品質保証の基本的考え方,ソフトウェアテストシンポジウム 2019 東京 (JaSST'19 Tokyo),2019年3月
  43. [パネル討論登壇] 「金融機関が機械学習システムを金融サービスで効果的に活用するための留意点や課題」,第20回情報セキュリティシンポジウム,2019年3月
  44. [招待講演] 石川 冬樹,機械学習システムの品質保証ガイドラインの動向,第20回情報セキュリティシンポジウム,2019年3月
  45. [招待講演] 石川 冬樹,機械学習のための新しいソフトウェア工学 - 機械学習工学 - ,AI等活用によるシステム開発の最前線が拓く新ビジネス創出セミナー2019,2019年3月
  46. [招待講演] 石川 冬樹,機械学習工学の現状と課題,電子情報通信学会 サービスコンピューティング研究会(SIG-SC)第29回研究会,2019年3月
  47. [パネル討論登壇] 「ビッグデータ, IoT, AIでプロフェッショナルを生き残れ」,ソフトウエアジャパン2019,2019年2月
  48. [招待講演] 石川 冬樹,機械学習応用システムのためのソフトウェア工学の深化,ソフトウエアジャパン2019,2019年2月
  49. [パネル討論登壇] 「Society5.0で実現する社会におけるIoTとAI、そしてセキュリティはどうなるか?」 ,JNSA IoTセキュリティセミナー,2019年1月
  50. [招待講演] 石川 冬樹,AIにおける品質とは?,JNSA IoTセキュリティセミナー,2019年1月
  51. [特別講義] 石川 冬樹,IoT/AI時代のテスティング・検証技術の最前線,第34年度ソフトウェア品質管理研究会(SQiP) 特別講義,2019年1月
  52. 石川 冬樹,自動(運転)車システムのためのAI的自動テスト生成,第1回AI4SEセミナー,2018年12月
  53. [特別講演] 石川 冬樹,品質保証における発見的・経験的アプローチの活用:ソフトウェアテスティング分野からの知見,第61回自動制御連合講演会,2018年11月
  54. 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
  55. [招待講演] 機械学習応用システムの品質保証ガイドに向けて,CEATEC 2018 JEITA 国際戦略・標準化セミナー ~ 超スマート社会の実現と標準化 ~,2018年10月
  56. [基調講演] AI時代の品質保証のチャレンジ,Embedded System Technology and Innovation Conference 2018(ESTIC 2018),2018年7月
  57. [パネル討論登壇] 「機械学習システムを創り上げるための工学的課題」,2018年度 人工知能学会全国大会 企画セッション「機械学習工学とは − 機械学習システムを創り上げるための工学的課題 −」,2018年6月
  58. [パネル討論登壇] 「機械学習工学はどこへ向かうか」,機械学習工学研究会キックオフシンポジウム,2018年5月
  59. [招待講演] 石川 冬樹,機械学習における品質保証のチャレンジ ~ 産学連携による打破への期待,トップエスイーシンポジウム,2018年3月
  60. [招待講演] 石川 冬樹,機械学習における品質保証のチャレンジ,JEITA ソフトウェアエンジニアリング技術ワークショップ2017~人工知能ブームの中でのソフトウェアエンジニアリング~,2017年12月
  61. [Keynote Talk] Fuyuki Ishikawa, Emerging Challenges in Software Dependability under Uncertain World, The 1st International Conference on Advanced Information Technologies (ICAIT), November 2017
  62. [パネル討論登壇] 「機械学習とソフトウェア工学」,ソフトウェアエンジニアリングシンポジウム2017(SES 2017),2017年8月
  63. 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
  64. 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
  65. 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
  66. [招待講演] 石川 冬樹,機能・品質の多様性を扱う適応的サービス合成,電子情報通信学会 知能ソフトウェア工学研究会(KBSE研究会) リスクコミュニケーションおよび一般,2015年10月
  67. Fuyuki Ishikawa, Tsutomu Kobayashi, Refinement Engineering? Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS), October 2014
  68. 石川 冬樹,クラウドとIoTの統合によるスマートシティープロジェクトClouTの紹介,グリッド協議会 第40回ワークショップ「スマートシティ。センサー情報からサービスへ」,2013年12月
  69. Fuyuki Ishikawa, Exploration of Adaptation Space – Linking with Efforts in Service-Oriented Computing, Shonan Meeting on Engineering Adaptive Software Systems (EASSy 2013), September 2013
  70. Formal Methods with Industry?, Dagstuhl Seminar 13341 on Verifiably Secure Process-Aware Information Systems, August 2013
  71. 石川 冬樹,一人一人が踏み出す形式手法応用の第一歩: トップエスイーにおける取り組みのまとめ,第3回形式手法の産業応用ワークショップ,2012年11月
  72. 石川 冬樹,クラウドコンピューティングにおけるエージェントのアプローチ,合同エージェントワークショップ&シンポジウム2011 (JAWS 2011),2011年10月
  73. 石川 冬樹,サービスコンピューティングにおける研究動向紹介,合同エージェントワークショップ&シンポジウム(JAWS 2010),2010年10月
  74. 石川 冬樹,「あなたのクラウドサービスを組み立てる ~ クラウドの今後に向けたサービスコンピューティング研究紹介 ~」,CEATEC Japan 2010,2010年10月
  75. パネル討論司会: 「サービスコンピューティングへのアプローチ」,第9回情報科学技術フォーラム(FIT 2010),2010年9月
  76. [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.

チュートリアル・セミナー

  1. 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)
  2. 石川 冬樹,AI製品の信頼性をどうやって評価する? ~ AIのすごさと製品としての難しさ,国立情報学研究所市民講座「情報学最前線」,2021年11月
  3. 石川 冬樹,ニーズに応じてAIを仕立て上げる,大学共同利用機関シンポジウム2021,2021年10月
  4. 石川 冬樹,AIソフトウェアの品質保証,日本科学技術連盟 J-Channel,2021年1月
  5. 石川 冬樹,機能安全とSOTIFにおける考え方の共通点と違い ~安全コンセプト設計から~,ガイオ・テクノロジー Gサイバーチャンネル,2020年12月
  6. 石川 冬樹,機械学習工学・機械学習システムの品質に関する動向,ガイオ・テクノロジー Gサイバーチャンネル,2020年11月
  7. 石川 冬樹,チュートリアル:機械学習工学への誘い,ソフトウェアエンジニアリングシンポジウム2020(SES 2020),2020年9月
  8. 馬 雷,石川 冬樹,深層学習のテスト,日本ソフトウェア科学会第36回大会併設チュートリアル,2019年8月
  9. 石川 冬樹,AIを活用したテスト・デバッグ技術,第1回AI4SEセミナー,2018年12月
  10. 石川 冬樹,IoT・スマート時代を支えるエージェント指向のシステムづくり,日本ソフトウェア科学会MACC研究会主催プレイベント「マルチエージェントスクール」 合同エージェントワークショップ&シンポジウム2016(JAWS 2016),2016年9月
  11. 石川 冬樹, 「エージェントらしさ」に向かうソフトウェア工学の動向,日本ソフトウェア科学会第33回大会,2016年9月
  12. 石川 冬樹,村上 陽平,田仲 正弘,チュートリアル「サービス・クラウド技術をSEに活かす」,ソフトウェアエンジニアリングシンポジウム2011(SES 2011),2011年9月
  13. 石川 冬樹,田辺 良則,NPO法人トップエスイー教育センターチュートリアル「VDM,SPINから始める形式手法」,2011年8月
  14. 石川 冬樹,日本ソフトウェア科学会チュートリアル「VDM++による形式仕様記述」,2011年1月
  15. 石川 冬樹,形式仕様記述入門~問題を早めに見つける~,ソフトウェアプロセス改善カンファレンス2009(SPI Japan 2009),2009年10月
  16. 長谷川 哲夫,石川 冬樹,NPO法人トップエスイー教育センターチュートリアル「モデル検査ツールUPPAALを使った時間制約の検証」,2009年3月
  17. 来間 啓伸,石川 冬樹,日本ソフトウェア科学会チュートリアル「Bメソッドを用いた形式仕様記述と検証」,2008年9月
  18. 石川 冬樹,モデル検証入門~ツールに振る舞いを検査させる~,CESAデベロッパーズカンファレンス2008(CEDEC 2008),2008年9月

雑誌記事

  1. 石川 冬樹,私のブックマーク:AI の品質・安全性へのソフトウェア工学からのアプローチ,人工知能, Vol. 38, No. 3,pp.420-425,2023年5月
  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. 石川 冬樹,小川 秀人,西 康晴,AI品質保証に向けたQA4AIガイドラインの取り組み,「システム/制御/情報」 Vol. 66 No. 5,2022年5月
  4. 石川 冬樹,自動運転システム・AIシステムへの自動テスト生成・自動デバッグ技術の展開,日本ロボット学会誌 Vol. 40 No. 3, pp.183-186, 2022年4月
  5. 石川 冬樹,自動運転システムに対する自動テスト生成技術の展開,エレクトロニクス コミュニケーション・近畿化学協会エレクトロニクス部会,p.9-14,2022年3月
  6. 吉岡 信和,鵜林 尚靖,石川 冬樹,鄭 顕志,鷲崎 弘宜,ICSE 2018 参加報告,コンピュータソフトウェア,2019年2月
  7. 石川 冬樹,徳本 晋,機械学習応用システムのテストと検証,情報処理 Vol. 59 No.1, pp.25-33, 2019年1月
  8. 石川 冬樹,「形式手法」の“論理の力”による開発効率と品質の向上事例 トップエスイーからのアウトカム ~ ソフトウェア工学の現場から 第7回,Codezine,https://codezine.jp/article/detail/10505,2017年11月
  9. 石川 冬樹,來間 啓伸,中島 震,ソフトウェア工学の最前線 〜ソフトウェアが社会のすべてを定義する時代〜:[未来に向かって]7.不確かさを考慮したソフトウェア・テスティングおよび形式検証,情報処理 Vol. 58 No.8,pp.693-695,2017年8月
  10. 石川 冬樹,FM2014参加報告,コンピュータソフトウェア vol. 31 no. 4,2014年11月
  11. 石川 冬樹,日高 宗一郎,鄭 顕志,EASSy2013参加報告,コンピュータソフトウェア vol. 31 no. 2,pp.28-32,2014年6月
  12. 石川 冬樹,プライバシーを守ったITサービスの提供技術:3.プライバシーのルールを扱う技術 -制御・検証から説明・理解の支援へ-,情報処理学会誌,Vol.54 No.11),pp.1121-1124,2013年11月
  13. 石川 冬樹,村上 陽平,関連分野から見たエージェント技術-サービスコンピューティング分野を例に-(特集「エージェント」),人工知能学会誌 Vol.28 No.3,pp.418-423,2013年5月
  14. 石川 冬樹,【研究最前線】 SOAと自己適応の最前線~サービス切り替えと"@runtime",電子情報通信学会 情報・システムソサエティ誌,Vol.18 No.1,pp.12-13,2013年5月
  15. 石川 冬樹,【研究最前線】クラウド・サービスコンピューティングの展開,電子情報通信学会 情報・システムソサエティ誌,Vol.16 No.1,pp.10-11,2011年5月
  16. 石川 冬樹,【研究最前線】サービスコンピューティング研究の位置づけとその動向,電子情報通信学会 情報・システムソサエティ誌 Vol.14 No.3,pp.8-9,2009年11月
  17. 石川 冬樹,サービス指向コンピューティングにおける合意に基づいた協調的な移動性,研究会推薦博士論文速報(ソフトウェア工学研究会推薦),情報処理学会論文誌Vol.49 No.6 p.678,2008年6月
  18. 石川 冬樹,松崎 和賢,会議報告 ユビキタスコンピューティングに関する国際ワークショップ,人工知能学会誌19巻5号,2004年5月

紹介記事

  1. Engineerable AI(eAI技術)で産業界に革新を - 細やかなニーズに応えられるAIへ,https://www.nii.ac.jp/today/99/5.html,NII Today 第99号,2023年6月
  2. NIIが自動運転ソフト向けテスト技術、事故・違反の模擬や修正作業を容易に, https://xtech.nikkei.com/atcl/nxt/mag/rob/18/012600001/00096/, 2022年3月
  3. 企業の生き残りにも不可欠!? AI活用によるソフトウェア品質保証の最前線,IBM THINK Business, https://www.ibm.com/think/jp-ja/business/ibm-ignite/,2019年7月
  4. 機械学習の「不確かさ」にどう挑むか - 人工知能を活用した製品、サービスの社会における活用に向けて,NII Today 第81号,https://www.nii.ac.jp/about/publication/today/81.html,2018年10月
  5. Facebook投稿がきっかけで発足!? 機械学習工学研究会が目指す機械学習議論の「場作り」,AINOW,http://ainow.ai/2018/10/03/147916/,2018年10月
  6. 機械学習によるシステム開発に工学的アプローチを、ソフトウェア工学研究会のパネルディスカッション,IT Leaders,https://it.impressbm.co.jp/articles/-/14933,2017年9月
  7. 「形式手法」を複雑化するものづくりの現場に活かす - AIと結びつくことで品質向上や次世代技術へ展開,NII Today 第77号,http://www.nii.ac.jp/about/publication/today/77.html,2017年9月
  8. 無線センサーネットワークの共有化がもたらす新展開,NII Today 第61号,http://www.nii.ac.jp/about/upload/all_NIIToday61.pdf,2013年9月

テクニカルレポート

  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

Webサイト

  1. VDM++による形式仕様記述
  2. ディペンダブル・システムのための形式手法の実践ポータル

特許・ソフトウェア

  1. 【ソフトウェア】 サービス指向に基づいたマルチメディアコンテンツの流通,提供のためのエージェント開発フレームワークFreedia
  2. 【特許】 アクティブコンテンツ流通システム,アクティブコンテンツ流通プログラム,及びアクティブコンテンツ流通方法

学位論文

  1. Fuyuki Ishikawa, Agreement-based Cooperative Mobility in Service-Oriented Computing,博士論文,東京大学大学院情報理工学系研究科コンピュータ科学専攻,2007年2月
  2. Fuyuki Ishikawa, Web Services Integration by Mobile Agents,修士論文,東京大学大学院情報理工学系研究科コンピュータ科学専攻,2004年2月
  3. Fuyuki Ishikawa, Web Search System based on Multi-Agent Framework,卒業論文,東京大学理学部情報科学科,2002年2月