石川冬樹

イシカワフユキ | Ishikawa Fuyuki

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://research.nii.ac.jp/~f-ishikawa/ , http://research.nii.ac.jp/~f-ishikawa/en/

研究分野 (4件)：ソフトウェア , ソフトウェア , ソフトウェア , ソフトウェア

研究キーワード (15件)：ソフトウェア工学 , 機械学習工学 , テスティング , 形式仕様記述 , 形式手法 , 進化計算 , サイバーフィジカルシステム , 自動運転 , クラウドコンピューティング , サービスコンピューティング , Webサービス , ユビキタスコンピューティング , 要求工学 , 法律 , モバイルエージェント

競争的資金等の研究課題 (20件)：

2023 - 2026 AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究
2021 - 2025 要求と実装のトレーサビリティー追求による深層学習システムの高品質化
2020 - 2025 機械学習を用いたシステムの高品質化・実用化を加速する "Engineerable AI"技術の開発
2020 - 2023 ステートフル深層学習システムに対する総合的解析と修復技術の確立
2018 - 2022 IoT向け自律協調自己適応機構とその形式検証手法の研究

全件表示

論文 (255件)：

Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao. SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. ACM Transactions on Software Engineering and Methodology (TOSEM). 2025
Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa. Optimizing Multiple Consumer-Specific Objectives in End-To-End Ensemble Machine Learning Serving. The 17th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2024, Short Paper). 2024
Peter Riviere, Tsutomu Kobayashi, Neeraj Singh, Fuyuki Ishikawa, Yamine Ait Ameur, Guillaume Dupon. On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. The 25th International Conference on Formal Engineering Methods (ICFEM 2024, Short Paper). 2024
Tsutomu Kobayashi, Fuyuki Ishikawa. Repairing Event-B Models through Quantifier Elimination. The 25th International Conference on Formal Engineering Methods (ICFEM 2024). 2024
鳥越湧真, 石川冬樹, 田原康之, 大須賀昭彦, 清雄一, 高橋寿一, 高木陽平. 画像認識モデルに対する系統的故障の適応的自動検出手法AdaSniperの提案. 第31回ソフトウェア工学の基礎ワークショップ(FOSE 2024). 2024

MISC (46件)：

Fuyuki Ishikawa. Consistent and Quality-Aware Service Composition in Smart Cities. Human-Centered Services Computing for Smart Cities - IEICE Monograph. 2024. 3-21
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. 2023. 66. 7. 58-63
石川冬樹. Engineerable AI(eAI技術)で産業界に革新を - 細やかなニーズに応えられるAIへ. NII Today 第99号. 2023
石川冬樹. 私のブックマーク:AI の品質・安全性へのソフトウェア工学からのアプローチ. 人工知能. 2023. 38. 3. 420-425
石川冬樹, 小川秀人, 西康晴. AI品質保証に向けたQA4AIガイドラインの取り組み. 「システム/制御/情報」. 2022. 66. 5

特許 (1件)：

情報処理装置、制御設計支援方法およびプログラム

書籍 (10件)：

これからの「ソフトウェアづくり」との向き合い方
丸善出版 2024 ISBN:9784621053911
機械学習工学
講談社 2022 ISBN:9784065285862
アジャイルイントロダクション (トップエスイー入門講座)
近代科学社 2018
Trustworthy Cyber-Physical Systems Engineering
Chapman and Hall/CRC 2016
Education of Scientific Approaches to Trustworthy Systems for Industry - After 10 Years, chapter in Trustworthy Cyber-Physical Systems
Chapman and Hall/CRC 2016

講演・口頭発表等 (137件)：

Future Trends and Technological Innovations of AI System Evaluation
(Future Advanced Testing Technology Workshop (FATTW 2024) 2024)
Testing and Repairing Technique for AI and by AI in Automated Driving Systems: Before and After LLM
(Future Advanced Testing Technology Workshop (FATTW 2024) 2024)
Detecting, Analyzing, and Addressing "Faults" in Automated Driving Systems
(The 6th Annual International Workshop on Software Hardware Interaction Faults at The 35h International Symposium on Software Reliability Engineering (ISSRE 2024) 2024)
石川冬樹
(JSTQBカンファレンス in 2024 Autumn 2024)
品質な機械学習システムのエンジニアリングに向けて ~ 深層学習のリペア技術から、多面的モデリング・パイプライン統合フレームワークまで
(ソフトウェアエンジニアリングシンポジウム2024(SES 2024) 2024)

学位 (1件)：

博士(情報理工学)

経歴 (9件)：

2022/04 - 現在総合研究大学院大学複合科学研究科情報学専攻准教授
2018/04 - 現在国立情報学研究所先端ソフトウェア工学・国際研究センター副センター長
2018/04 - 現在国立情報学研究所アーキテクチャ科学研究系准教授
2012/06 - 現在電気通信大学大学院情報システム学研究科連携准教授
2012/06 - 2022/03 総合研究大学院大学複合科学研究科情報学専攻客員准教授

全件表示

委員歴 (8件)：

2013/04 - 現在 SEMAT (Software Engineering Method and Theory) Japan Chapter Executive Committee
2013/04 - 現在電子情報通信学会情報・システムソサイエティサービスコンピューティング研究専門委員会専門委員
2022/04 - 日本ソフトウェア科学会機械学習工学研究会運営委員
2018/04 - 2022/03 日本ソフトウェア科学会機械学習工学研究会主査
2016/06 - 2020/06 日本ソフトウェア科学会理事

全件表示

受賞 (19件)：

2024/09 - ソフトウェアエンジニアリングシンポジウム2024(SES 2024) 最優秀論文賞画像生成モデルの弱点検出タスクへの適用可能性調査
2024/07 - The 15th Asia-Pacific Symposium on Internetware Distinguished Reviewer Award
2024/04 - 令和6年度科学技術分野の文部科学大臣表彰科学技術賞(研究部門) 来るべき情報技術の社会的信頼を担う数理的ソフトウェア研究
2022/09 - ソフトウェア品質シンポジウム2022 SQiP Best Paper Effective Award 物理解析ソフトウェアのテスト手法の検討 - Search-based testing およびMetamorphic testing によるアプローチ
2021/06 - ソフトウェア・シンポジウム 2021(SS 2021) 最優秀論文賞ゴール指向要求分析とシステム安全分析を利用した AIシステム品質の個別ガイドライン導出方法の提案

2021/03 - The 22nd International Conference on Formal Engineering Methods (ICFEM 2020) Best Paper Award Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement

2020/07 - The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020) Best Paper Award: Second Place Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence

2020/07 - ソフトウェア・シンポジウム 2020(SS 2020) 最優秀論文賞要求仕様の誤解釈を検出するDomain Word Modelingの提案

2020/06 - ソフトウェア・シンポジウム 2020(SS 2020) 論文奨励賞多様なステークホルダの満足度に着目したシステムの安全性・セキュリティ要件の抽出と検証

2020/03 - IPSJ/IEEE-CS IPSJ/IEEE-CS Young Computer Researcher Award Research on Intelligence-driven Engineering of Dependable Smart Systems

2019/11 - The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019) Best Paper Award Assessing the Relation Between Hazards and Variability in Automotive Systems

2019/10 - The 30th International Symposium on Software Reliability Engineering (ISSRE 2019) Industry Best Paper Adapting SQuaRE for Quality Assessment of Artificial Intelligence System

2019/08 - 情報処理学会ソフトウェア工学研究会功績賞トップエスイープロジェクトの推進

2018/11 - The 20th International Conference on Formal Engineering Methods (ICFEM 2018) Best Paper Award Analysis on Strategies of Superposition Refinement of Event-B Specifications

2018/06 - ソフトウェア・シンポジウム2018(SS 2018) 論文奨励賞要求獲得のためのヒアリングにおけるゴール指向要求分析の活用 ~「ゴール指向 Lite」の提案~

2015/07 - International Symposium on Software Testing and Analysis (ISSTA 2015) Best Artifact Award Feedback-controlled Random Test Generation

2015/06 - European Association of Software Science and Technology Best Paper Award at The 1st Formal Methods in SW Engineering Education and Training Workshop Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program

2012/10 - International Joint Agent Workshop and Symposium 2012 (iJAWS 2012) Best Paper Award A Scalable Distributed Architecture for Network- and QoS-aware Service Composition

2010/12 - The 8th International Conference on Service-Oriented Computing (ICSOC 2010 PhD Symposium / Poster Track) Best PhD Poster Effcient, Failure-Resilient Semantic Web Service Planning

全件表示

所属学会 (5件)：

日本ソフトウェア科学会 , ACM , IEEE Computer Society , 電子情報通信学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

石川 冬樹

石川冬樹