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. 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
  2. [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
  3. [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
  4. 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
  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, Yunni Xia, Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters, IEEE Transactions on Services Computing, Preprint, October 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. 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

代表的な学会・社会活動（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