Rchr
J-GLOBAL ID：200901035651542754   Update date: Nov. 03, 2024

Ishikawa Fuyuki

イシカワ フユキ | Ishikawa Fuyuki
Affiliation and department：
国立情報学研究所 アーキテクチャ科学研究系

About 国立情報学研究所 アーキテクチャ科学研究系


Job title： 准教授
Homepage URL  (2)： http://research.nii.ac.jp/~f-ishikawa/ ,  http://research.nii.ac.jp/~f-ishikawa/en/
Research field  (4)： Software ,  Software ,  Software ,  Software
Research keywords  (15)： ソフトウェア工学 ,  機械学習工学 ,  テスティング ,  形式仕様記述 ,  形式手法 ,  進化計算 ,  サイバーフィジカルシステム ,  自動運転 ,  クラウドコンピューティング ,  サービスコンピューティング ,  Webサービス ,  ユビキタスコンピューティング ,  要求工学 ,  法律 ,  モバイルエージェント
Research theme for competitive and other funds  (20)：
  • 2023 - 2026 AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究
  • 2021 - 2025 High-Quality Machine Learning-based Systems via Traceability Exploration between Requirements and Implementation
  • 2020 - 2025 Engineerable AI Techniques for Practical Applications of High-Quality Machine Learning-based Systems
  • 2020 - 2023 Holistic Analysis and Repair Techniques for Stateful Deep Learning Systems
  • 2018 - 2022 Research on Autonomous and Collborative Self-Adaptation Mechanism and its Formal Verification for IoT
Show all
Papers (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
ｍore...
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
ｍore...
Patents (1)：
  • 情報処理装置、制御設計支援方法およびプログラム
Books (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
ｍore...
Lectures and oral presentations  (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)
ｍore...
Professional career (1)：
  • Ph.D (Information Science and Technology)
Work history (9)：
  • 2022/04 - 現在 総合研究大学院大学 複合科学研究科 情報学専攻 准教授
  • 2018/04 - 現在 National Institute of Informatics Center for Global Research in Advanced Software Science and Engineering Deputy Director
  • 2018/04 - 現在 National Institute of Informatics Information Systems Architecture Science Research Division Associate Professor
  • 2012/06 - 現在 Graduate School of Information Systems, The University of Electro-Communications Visiiting Associate Professor
  • 2012/06 - 2022/03 Department of Informatics, School of Multidisciplinary Sciences, SOKENDAI University Visiiting Associate Professor
Show all
Committee career (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 日本ソフトウェア科学会 理事
Show all
Awards (19)：
  • 2024/09 - ソフトウェアエンジニアリングシンポジウム2024(SES 2024) 最優秀論文賞 画像生成モデルの弱点検出タスクへの適用可能性調査
  • 2024/07 - The 15th Asia-Pacific Symposium on Internetware Distinguished Reviewer Award
  • 2024/04 - The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology Awards for Science and Technology (Research Category)
  • 2022/09 - ソフトウェア品質シンポジウム2022 SQiP Best Paper Effective Award 物理解析ソフトウェアのテスト手法の検討 - Search-based testing およびMetamorphic testing によるアプローチ
  • 2021/06 - ソフトウェア・シンポジウム 2021(SS 2021) 最優秀論文賞 ゴール指向要求分析とシステム安全分析を利用した AIシステム品質の個別ガイドライン導出方法の提案
Show all
Association Membership(s) (5)：
日本ソフトウェア科学会 ,  ACM ,  IEEE Computer Society ,  電子情報通信学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM