Rchr
J-GLOBAL ID：200901035651542754   Update date: Mar. 22, 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 (243)：
  • Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Lauren, 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). 2024
  • 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). 2024
  • Andrei Mancu, Thomas Lauren, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Ruecker. More is Not Always Better: Exploring Early Repair of DNNs. DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024). 2024
  • Davide Li Calsi, Thomas Lauren, Paolo Arcaini, Fuyuki Ishikawa. Federated Repair of Deep Neural Networks. DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024). 2024
  • 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). 2024
ｍore...
MISC (45)：
  • 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
  • 石川 冬樹. 自動運転システム・AIシステムへの自動テスト生成・自動デバッグ技術の展開. 日本ロボット学会誌. 2022. 40. 3. 183-186
ｍ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  (127)：
  • Technical Briefing on Deep Neural Network Repair
    (The 46th International Conference on Software Engineering (ICSE 2024) 2024)
  • QA4AI Guideline for Quality of LLM and Generative Chat AI
    (FM+SE Summit 2024 2024)
  • JaSSTのはじまりとテストのこれから ~にしさんへの感謝を込めて
    (JaSST'24 Tokyo 2024)
  • AI搭載プロダクトの品質保証の現在地点とこれから
    (JaSST'24 Tokyo 2024)
  • AI 時代における製品・サービスの品質へのアプローチ
    (令和5年度第3回機械システム研究会 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 (16)：
  • 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の提案
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