Trustworthy & Smart Software Engineering Lab. English >

成果・業績

本ページでは代表的な成果・業績のみを載せています．詳細なリストについては右のリンク先をご参照下さい．

代表的な受賞歴

  1. [科学技術賞（研究部門）] 蓮尾 一郎，石川 冬樹，勝股 審也，来るべき情報技術の社会的信頼を担う数理的ソフトウェア研究，令和6年度科学技術分野の文部科学大臣表彰，2024年4月
  2. [IPSJ/IEEE Computer Society Young Researcher Award] Fuyuki Ishikawa, Research on Intelligence-driven Engineering of Dependable Smart Systems, March 2020
  3. [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
  4. [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
  5. [功績賞] 本位田 真一，石川 冬樹，鄭 顕志，トップエスイープロジェクトの推進，情報処理学会 ソフトウェア工学研究会 功績賞，2019年8月
  6. [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
  7. [研究会推薦博士論文] 石川 冬樹，サービス指向コンピューティングにおける合意に基づいた協調的な移動性（ソフトウェア工学研究会，2007年度選出）

代表的な競争的資金

  1. 科学技術振興機構 未来社会創造事業 探索加速型 「超スマート社会の実現」領域 「機械学習を用いたシステムの高品質化・実用化を加速する“Engineerable AI”技術の開発」 （R02年4月～R07年3月，研究代表者）
  2. 科学研究費補助金 基盤研究（Ｂ） 「保証付き多段階システムモデルの柔軟・継続的な洗練・進化」（H29～R2年度，研究代表者）
  3. 科学技術振興機構 創造科学技術推進事業（ERATO） 「蓮尾メタ数理システムデザインプロジェクト」（H28～R3年度，研究分担者・グループリーダー）
  4. 科学研究費補助金 若手研究（Ａ） 「段階的詳細化における複雑さの分散と整合性の保証に関する研究」（H26～28年度，研究代表者）
  5. FP7/NICT FP7-EU-Japan STREP（新世代ネットワークの実現に向けた欧州との連携による共同研究開発） "ClouT: Cloud of Things for empowering the citizen clout in smart cities"（H25～27年度，プラットフォーム日本側リーダー）
  6. IPA ソフトウェア工学分野の先導的研究支援事業 「形式仕様とテスト生成の部分的・段階的な活用～探索を通したコード中心インクリメンタル型開発の支援」（H25～26年度，研究責任者）

代表的な著書・論文（10件）

  1. 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
  2. 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
  3. 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), July 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), pp.190-199, November 2019
  5. [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
  6. Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Consistency-Preserving Refactoring of Refinement Structures in Event-B Models, Formal Aspects of Compupting, Vol. 31 No.3, pp.287-320, February 2019
  7. 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
  8. 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, Preprint, October 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. 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

代表的な学会・社会活動（10件）

  1. [PC Co-Chair] The 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024)
  2. [Local Chair] The 27th ACM International Systems and Software Product Line Conference (SPLC 2023)
  3. [Track Co-Chair] Search-based Software Engineering Track, The Genetic and Evolutionary Computation Conference (GECCO 2020/2021), July 2020/2021
  4. [主査] 日本ソフトウェア科学会 機械学習工学研究会（2018～2021年度）
  5. [運営委員長] AI品質保証コンソーシアム（2024年度～，2018～2023年度運営副委員長）
  6. [理事] ソフトウェア科学会（2016年6月～2020年6月）
  7. [Posters Co-Chair] The 39th International Conference on Software Engineering (ICSE 2017)
  8. [編集委員] 日本ソフトウェア科学会（2012年度～2019年度）
  9. [Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
  10. [副委員長] 電子情報通信学会 情報・システムソサイエティ サービスコンピューティング研究専門委員会（2009年度～2012年度）
  11. [Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
  12. [Student Volunteer Co-Chair] ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering