• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

ISHIKAWA Fuyuki  石川 冬樹

ORCIDConnect your ORCID iD *help
Researcher Number 50455193
Other IDs
Affiliation (Current) 2025: 国立情報学研究所, アーキテクチャ科学研究系, 准教授
Affiliation (based on the past Project Information) *help 2017 – 2024: 国立情報学研究所, アーキテクチャ科学研究系, 准教授
2012 – 2017: 国立情報学研究所, コンテンツ科学研究系, 准教授
2007 – 2010: National Institute of Informatics, コンテンツ科学研究系, 助教
2008: 国立情報学研, 助教
Review Section/Research Field
Principal Investigator
Software / Software / Basic Section 60050:Software-related / Software
Except Principal Investigator
Basic Section 60050:Software-related / Software / Medium-sized Section 61:Human informatics and related fields / Basic Section 60060:Information network-related / Software
Keywords
Principal Investigator
形式手法 / ソフトウエア開発効率化・安定化 / ソフトウェア工学 / Cyber-Physical Systems / サイバーフィジカルシステム / 段階的詳細化 / システムモデリング / Event Calculus / 検証 / サービス契約 … More / サービス合成 / Webサービス / サービス指向アーキテクチャ / Fault Localization / デバッグ / プログラム自動修正 / 欠陥局所化 / 深層学習 / 自己適応システム / Session Type / アクターモデル / ソフトウェア検証 / 自己適応 / ソフトウェア開発効率化・安定化 / 監視 / ドメイン分析 / 適応・進化 / Internet of Things / 障害原因分析 / 不確かさ / ゴールモデル / Assurance Case / プロブレムフレーム / 要求分析 / Event-B / 定理証明 / 法律 / ゴール指向要求分析 / 実務法務 / 法解釈 / 法 / 要求工学 / Service Level Agreement (SLA) / サービスコンピューティング / SLA (Service Level Agreement) / サービス指向コンピューティング … More
Except Principal Investigator
ソフトウェア工学 / テスト / IoT / 自己適応システム / プログラム修正 / サイバーフィジカルシステム / AI品質保証 / 生成AI / 機械学習 / プライバシ / 分析 / 信頼性 / LLM / 品質保証 / 回帰型ニューラルネットワーク / ソフトウエア修復 / ソフトウエアテスト / ソフトウエア解析 / 深層学習システム / 回帰型ニューラルネットワーク解析 / 知能ソフトウェア解析 / 機械学習工学 / 機械学習品質保証 / 回帰型ニューラルネットワーク分析 / 深層学習 / 知能ソフトウェア分析 / セキュリティ・プライバシ / 形式検証 / 自律協調システム / 自己適応ソフトウェア / 協調プランニング / 環境モデル学習 / 離散制御器合成 / Graceful Degradation / 実行時モデル / ソフトウェア検証 / ソフトウェア設計 / ソフトウェア分析 / ソフトウェア進化 / 空間制御ソフトウェア / ソフトウェア開発プロセス / モデル検査 / ソフトウェアアーキテクチャ / ゴール指向要求分析 / ミドルウェア / 無線センサーネットワーク Less
  • Research Projects

    (16 results)
  • Research Products

    (130 results)
  • Co-Researchers

    (26 People)
  •  大規模言語モデルのための品質保証技術に関する研究

    • Principal Investigator
      馬 雷
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      The University of Tokyo
  •  生成AI遍在社会におけるプライバシ保護基盤の創成

    • Principal Investigator
      清 雄一
    • Project Period (FY)
      2024 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 61:Human informatics and related fields
    • Research Institution
      The University of Electro-Communications
  •  Testing, Analysis, and Repair of AI-enabled Cyber-Physical Systems

    • Principal Investigator
      趙 建軍
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyushu University
  •  High-Quality Machine Learning-based Systems via Traceability Exploration between Requirements and ImplementationPrincipal Investigator

    • Principal Investigator
      石川 冬樹
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Informatics
  •  Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems

    • Principal Investigator
      MA LEI
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyushu University
  •  Research on autonomous cooperative self-adaptation mechanisms and formal verification of them

    • Principal Investigator
      Tahara Yasuyuki
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60060:Information network-related
    • Research Institution
      The University of Electro-Communications
  •  Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System ModelsPrincipal Investigator

    • Principal Investigator
      Ishikawa Fuyuki
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Multi-view Models@run.time Framework

    • Principal Investigator
      Honiden Shinichi
    • Project Period (FY)
      2017 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      Waseda University
  •  Controlled Adaptation across Ubiquitous Heterogeneous PlatformsPrincipal Investigator

    • Principal Investigator
      石川 冬樹, 鄭 顕志
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for JSPS Fellows
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Detection of Unexpected by Runtime Goal Model TrackingPrincipal Investigator

    • Principal Investigator
      Ishikawa Fuyuki
    • Project Period (FY)
      2015 – 2016
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Research on Complexity Distribution and Consistency Assurance in Stepwise RefinementPrincipal Investigator

    • Principal Investigator
      Ishikawa Fuyuki
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Young Scientists (A)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems

    • Principal Investigator
      HONIDEN Shinichi
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Modeling and Analysis of Law and its Interpretations by Applying Requirements Engineering PrinciplesPrincipal Investigator

    • Principal Investigator
      ISHIKAWA Fuyuki
    • Project Period (FY)
      2012 – 2013
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  Framework to Realize Consistent Contract Management in Service CompositionPrincipal Investigator

    • Principal Investigator
      ISHIKAWA Fuyuki
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  A middleware for open wireless sensor networks

    • Principal Investigator
      HONIDEN Shinichi
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  サービス合成において契約間の整合性を検証,実現するツールに関する研究Principal Investigator

    • Principal Investigator
      石川 冬樹
    • Project Period (FY)
      2007
    • Research Category
      Grant-in-Aid for Young Scientists (Start-up)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics

All 2023 2022 2021 2020 2019 2018 2017 2016 2014 2013 2012 2011 2010 2009 2008 2007 Other

All Journal Article Presentation

  • [Journal Article] Implementation and Evaluation of a Tool to Support the Development of a Domain-Specific Modeling Environment for Enumeration Based on View Patterns2023

    • Author(s)
      川上 真澄、石川 冬樹
    • Journal Title

      電子情報通信学会論文誌D 情報・システム

      Volume: J106-D Issue: 4 Pages: 244-256

    • DOI

      10.14923/transinfj.2022PDP0019

    • ISSN
      1880-4535, 1881-0225
    • Year and Date
      2023-04-01
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Journal Article] A refinement-based development of a distributed signalling system2021

    • Author(s)
      Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Fuyuki Ishikawa, and Alexander Romanovsky
    • Journal Title

      Formal Aspects of Computing

      Volume: Vol. 33 No. 6 Issue: 6 Pages: 1009-1036

    • DOI

      10.1007/s00165-021-00567-y

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-19K20249
  • [Journal Article] Change Impact Analysis for Refinement-Based Formal Specification2019

    • Author(s)
      SARUWATARI Shinnosuke、ISHIKAWA Fuyuki、KOBAYASHI Tsutomu、HONIDEN Shinichi
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E102.D Issue: 8 Pages: 1462-1477

    • DOI

      10.1587/transinf.2018FOP0006

    • NAID

      130007686433

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2019-08-01
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03229
  • [Journal Article] Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters2019

    • Author(s)
      Quanwang Wu, Fuyuki Ishikawa, Qingsheng Zhu, Yunni Xia
    • Journal Title

      IEEE Transactions on Services Computing

      Volume: 12 Issue: 4 Pages: 550-563

    • DOI

      10.1109/tsc.2016.2616868

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Journal Article] ECHONET Lite搭載機器の相互接続性を阻害する家庭用ルータの実装状況調査,および相互接続性向上のための手法の提案2019

    • Author(s)
      濱本 望絵,杉本 芳剛,鷲津 宗孝,石川 博一,村上 隆史,杉村 博,森 信一郎,一色 正男
    • Journal Title

      情報処理学会論文誌コンシューマ・デバイス&システム

      Volume: 9 Pages: 22-31

    • NAID

      170000150067

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Journal Article] Change Impact Analysis for Refinement-based Formal Specification2019

    • Author(s)
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: To Appear

    • NAID

      130007686433

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Journal Article] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Journal Title

      Formal Aspects of Compupting

      Volume: Preprint Issue: 3 Pages: 287-320

    • DOI

      10.1007/s00165-019-00478-z

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727, KAKENHI-PROJECT-17H07323, KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-18H03229
  • [Journal Article] Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds2017

    • Author(s)
      Wu Quanwang、Ishikawa Fuyuki、Zhu Qingsheng、Xia Yunni、Wen Junhao
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 28 (12) Issue: 12 Pages: 3401-3412

    • DOI

      10.1109/tpds.2017.2735400

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Journal Article] A Graph-based Approach Enhancing Correctness and Speed of Web Services Composition through Explicit Specification of Functional Semantics2014

    • Author(s)
      Dong-Hoon Shin, Kyong-Ho Lee, Fuyuki Ishikawa
    • Journal Title

      International Journal of Web and Grid Services (IJWGS)

      Volume: 10 (4) Issue: 4 Pages: 297-318

    • DOI

      10.1504/ijwgs.2014.064913

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] Web Application Framework to Realize the Maintanance by End-Users2014

    • Author(s)
      新居 雅行, 鄭 顕志, 石川 冬樹
    • Journal Title

      Computer Software

      Volume: 31 Issue: 1 Pages: 1_60-1_74

    • DOI

      10.11309/jssst.31.1_60

    • NAID

      130004549335

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] Broker-based SLA-aware composite service provisioning2014

    • Author(s)
      Quanwang Wu, Qingsheng Zhu, Xing Jian, Fuyuki Ishikawa
    • Journal Title

      Journal of Systems and Software

      Volume: 96 Pages: 194-201

    • DOI

      10.1016/j.jss.2014.06.027

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] SanGA: A Self-adaptive Network-aware Approach to Service Composition2014

    • Author(s)
      Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • Journal Title

      IEEE Transactions on Services Computing

      Volume: 7 (3) Issue: 3 Pages: 452-464

    • DOI

      10.1109/tsc.2013.2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] A Survey of Self-Adaptation Design for Self-Adaptive Software2014

    • Author(s)
      鄭 顕志, 清水 遼, 高橋 竜一, 石川 冬樹
    • Journal Title

      Computer Software

      Volume: 31 Issue: 1 Pages: 1_49-1_59

    • DOI

      10.11309/jssst.31.1_49

    • NAID

      130004549334

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] SanGA: A Self-adaptive Network-aware Approach to Service Composition2013

    • Author(s)
      Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
    • Journal Title

      IEEE Transactions on Services Computing

      Volume: to appear

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] 時間,資源の制約を持つビジネスプロセスの形式検証2013

    • Author(s)
      綿引 健二,石川 冬樹,平石 邦彦
    • Journal Title

      電子情報通信学会論文誌

      Volume: J96-D(8) Pages: 1878-1891

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Journal Article] 法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて2013

    • Author(s)
      石川 冬樹,高橋 竜一
    • Journal Title

      電子情報通信学会技術研究報告(サービスコンピューティング第4回研究会)

      Volume: Vol.112 No.497 Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-24650017
  • [Journal Article] Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches2012

    • Author(s)
      Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
    • Journal Title

      The 6th International Workshop on Juris-informatics (JURISIN 2012)

      Volume: 1 Pages: 143-156

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24650017
  • [Journal Article] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証2011

    • Author(s)
      石川冬樹, 山本佳代子, 本位田真一
    • Journal Title

      情報処理学会論文誌 Vol.52 No.1

      Pages: 220-232

    • NAID

      110007891072

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証2011

    • Author(s)
      石川冬樹, 山本佳代子, 本位田真一
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.52 No.1 Pages: 220-232

    • NAID

      110007891072

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy2010

    • Author(s)
      Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • Journal Title

      The 8th International Conference on Service-Oriented Computing (ICSOC 2010)

      Pages: 182-196

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods2010

    • Author(s)
      Fuyuki Ishikawa
    • Journal Title

      The 7th International Conference on Services Computing (SCC 2010)

      Volume: 全一巻 Pages: 635-636

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle2010

    • Author(s)
      Fuyuki Ishikawa
    • Journal Title

      The 8th International Conference on Service-Oriented Computing (ICSOC 2010)

      Pages: 579-586

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns2009

    • Author(s)
      Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer
    • Journal Title

      The 7th International Conference on Service-Oriented Computing (ICSOC 2009)

      Pages: 253-268

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009

    • Author(s)
      Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
    • Journal Title

      The ACM International Conference on Pervasive Services (ICPS 2009)

      Pages: 133-140

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns2009

    • Author(s)
      Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer
    • Journal Title

      Proceeding of The 7th International Conference on Service-Oriented Computillg(ICSOC 2009)

      Pages: 253-268

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] A Constraint-Based Approach for Developing Consistent Contracts in Composite Services2009

    • Author(s)
      Basem Suleiman, Fuyuki Ishikawa
    • Journal Title

      The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009)

      Pages: 392-399

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009

    • Author(s)
      Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
    • Journal Title

      Proceeding of The ACM International Conference on Pervasive Services(ICPS 2009)

      Pages: 133-140

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] A Constraint-Based Approach for Developing Consistent Contracts in Composite Services2009

    • Author(s)
      Basem Suleiman, Fuyuki Ishikawa
    • Journal Title

      Proceeding of The 2009 IEEE Congress on Services, Part I(SERVICES I 2009)

      Pages: 392-399

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] サービス指向コンピューティングにおける合意に基づいた協調的な移動性2008

    • Author(s)
      石川冬樹
    • Journal Title

      研究会推薦博士論文速報, 情報処理学会論文誌 Vol. 49, No. 6

      Pages: 678-678

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Journal Article] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2008

    • Author(s)
      石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
    • Journal Title

      日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集 Vol.25, No.4

      Pages: 133-144

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2008

    • Author(s)
      石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
    • Journal Title

      日本ソフトウェア科学会 Vol. 25, No. 4

      Pages: 133-144

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Journal Article] Towards Agile Service-oriented Business Systems : A Directive-oriented Pattern Analysis Approach2008

    • Author(s)
      Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox
    • Journal Title

      The 2008 IEEE International Conference on Services Computing (SCC2008) vol.2

      Pages: 231-238

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Journal Article] 適応エージェントのためのユビキタスコンピューティングミドルウェア2008

    • Author(s)
      鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
    • Journal Title

      日本ソフトウェア科学会 Vol. 25, No. 4

      Pages: 11-19

    • NAID

      110006990882

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Journal Article] Event Calculusに基づく合意を用いたモバイルエージェントの協調2007

    • Author(s)
      石川冬樹
    • Journal Title

      電子情報通信学会論文誌 Vol.90-D,No.9

      Pages: 2349-2364

    • NAID

      110007380865

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Journal Article] プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用2007

    • Author(s)
      石川冬樹
    • Journal Title

      情報処理学会論文誌 Vol.48,No.4

      Pages: 1785-1798

    • NAID

      110006251451

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Distributed Repair of Deep Neural Networks2023

    • Author(s)
      Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21657
  • [Presentation] An Experience Report on Regression-Free Repair of Deep Neural Network Model2023

    • Author(s)
      Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
    • Organizer
      The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Industry Track)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21657
  • [Presentation] Adaptive Search-based Repair of Deep Neural Networks2023

    • Author(s)
      Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The Genetic and Evolutionary Computation Conference (GECCO 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21657
  • [Presentation] Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement2022

    • Author(s)
      Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
    • Organizer
      The 25th International Symposium on Formal Methods (FM 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] An Experience Report on Regression-Free Repair of Deep Neural Network Model2022

    • Author(s)
      Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
    • Organizer
      The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History2022

    • Author(s)
      Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata and Shinji Kikuchi
    • Organizer
      The 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022), March 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H04168
  • [Presentation] Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems2022

    • Author(s)
      Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History2021

    • Author(s)
      Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata and Shinji Kikuchi
    • Organizer
      The 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21657
  • [Presentation] What to Blame? On the Granularity of Fault Localization for Deep Neural Networks2021

    • Author(s)
      Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021 Practical Experience Reports)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21657
  • [Presentation] What to Blame? On the Granularity of Fault Localization for Deep Neural Networks2021

    • Author(s)
      Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021 Practical Experience Reports), pp.264-275, October 2021
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H04168
  • [Presentation] Model-based Data-Complexity Estimator for Deep Learning Systems2021

    • Author(s)
      Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
    • Organizer
      The 3rd IEEE International Conference on Artificial Intelligence Testing (IEEE AI Tests 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21657
  • [Presentation] Model-based Data-Complexity Estimator for Deep Learning Systems2021

    • Author(s)
      Yuta Ojima, Shingo Horiuchi, Fuyuki Ishikawa
    • Organizer
      The 3rd IEEE International Conference on Artificial Intelligence Testing (IEEE AI Tests 2021), pp.1-8, August 2021
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H04168
  • [Presentation] Robustifying CPS Controller Specifications Against Perceptual Uncertainty2021

    • Author(s)
      Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, and Shin-ya Katsumata
    • Organizer
      13th NASA Formal Methods Symposium (NFM 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Robustifying CPS Controller Specifications Against Perceptual Uncertainty2021

    • Author(s)
      Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
    • Organizer
      The 13th NASA Formal Methods Symposium (NFM 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] ormal Distributed Protocol Development for Reservation of Railway Sections2020

    • Author(s)
      Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, Fuyuki Ishikawa
    • Organizer
      The 7th International Conference on Rigorous State Based Methods (ABZ 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] Formal Distributed Protocol Development for Reservation of Railway Sections2020

    • Author(s)
      Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, and Fuyuki Ishikawa
    • Organizer
      7th International Conference on Rigorous State Based Methods (ABZ 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement2020

    • Author(s)
      Guillaume Dupont, Yamine Ait Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel
    • Organizer
      The 22nd International Conference on Formal Engineering Methods (ICFEM 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] Formal Distributed Protocol Development for Reservation of Railway Sections2020

    • Author(s)
      Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, Fuyuki Ishikawa
    • Organizer
      The 7th International Conference on Rigorous State Based Methods
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems2020

    • Author(s)
      Alessandro Calo, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
    • Organizer
      The Genetic and Evolutionary Computation Conference (GECCO 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] 要件定義計画を強化するアセスメント項目の提案2019

    • Author(s)
      渋谷 公寛,越前谷 達朗,久保 光寛,新田 史弥,吉竹 宏幸,石川 冬樹,栗田 太郎
    • Organizer
      ソフトウェア・シンポジウム2019(SS 2019)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Learning-Based Falsification for Model Families of Cyber-Physical Systems2019

    • Author(s)
      Koki Kato, Fuyuki Ishikawa
    • Organizer
      The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Assessing the Relation Between Hazards and Variability in Automotive Systems2019

    • Author(s)
      [Best Paper Award] Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Scenario Sampling for Cyber Physical Systems using Combinatorial Testing2019

    • Author(s)
      Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
    • Organizer
      The 8th International Workshop on Combinatorial Testing (IWCT 2019, Poster) at The 8th International Workshop on Combinatorial Testing (IWCT 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] word2vec とゴールモデルの階層性を利用した類似ゴール検出方法の提案2019

    • Author(s)
      石川公一,小形真平,中川博之,岡野浩三
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey2019

    • Author(s)
      Fuyuki Ishikawa, Nobukazu Yoshioka
    • Organizer
      Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey2019

    • Author(s)
      Fuyuki Ishikawa, Nobukazu Yoshioka
    • Organizer
      CESSER-IP 2019
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Scenario Sampling for Cyber Physical Systems using Combinatorial Testing2019

    • Author(s)
      Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
    • Organizer
      The 8th International Workshop on Combinatorial Testing (IWCT 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 機械学習応用システムのテストにおける入力空間分割の評価2019

    • Author(s)
      石川 冬樹,徳本 晋
    • Organizer
      第2回機械学習工学ワークショップ(MLSE夏合宿2019・ポスター)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 為替レート予測における機械学習システムのモニタリング手法の検討2019

    • Author(s)
      北野 健太,石川 冬樹
    • Organizer
      第2回機械学習工学ワークショップ(MLSE夏合宿2019)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 機械学習システムの動的な保証のための支援ツール開発2019

    • Author(s)
      小池 湧大,松野 裕,石川 冬樹
    • Organizer
      第2回機械学習工学ワークショップ(MLSE夏合宿2019)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 機械学習エンジニアのデータ分析と知識習得を支援するツールMALSS2019

    • Author(s)
      鴨志田 亮太,石川 冬樹
    • Organizer
      第2回機械学習工学ワークショップ(MLSE夏合宿2019・ポスター)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 機械学習活用に向けた解釈手段の比較考察2019

    • Author(s)
      太田 裕一,北野 健太,早川 芳昭,石川 冬樹
    • Organizer
      第2回機械学習工学ワークショップ(MLSE夏合宿2019)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Towards a Framework for the Analysis of Multi-PLs in the Automotive Domain2019

    • Author(s)
      Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
    • Organizer
      The 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] A Refinement based Method for Developing Distributed Protocols2019

    • Author(s)
      Paulius Stankaitis, Alexei Iliasov, Alexander Romanovsky, Yamine Ait-Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa
    • Organizer
      The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests2019

    • Author(s)
      Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto
    • Organizer
      The 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019 poster) at The 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Modelling and Analysing Resilient Cyber-Physical Systems2019

    • Author(s)
      Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, et al.
    • Organizer
      the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] A Mutation-based Approach for Assessing Weight Coverage of a Path Planner2019

    • Author(s)
      Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa and Anthony Ventresque
    • Organizer
      The 26th Asia-Pacific Software Engineering Conference (APSEC 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 融合分野としての機械学習工学における技術チャレンジ2019

    • Author(s)
      石川 冬樹,今井 健男,勝股 審也,末永 幸平,杉山 麿人,関山 太朗,蓮尾 一郎,原 聡,丸山 宏,吉岡 信和,鷲崎 弘宜
    • Organizer
      第2回機械学習工学ワークショップ(MLSE夏合宿2019・ポスター)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach2019

    • Author(s)
      Nian-ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
    • Organizer
      The Genetic and Evolutionary Computation Conference (GECCO 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Contemporary Requirements Challenges and Issues: An Empirical Study in 11 Organizations2019

    • Author(s)
      Feng Chen, Norah Power, J. J. Collins, Fuyuki Ishikawa
    • Organizer
      Requirements Engineering Track at The 34th Symposium on Applied Computing (SAC 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems2019

    • Author(s)
      [Industry Best Paper] Hiroshi Kuwajima, Fuyuki Ishikawa
    • Organizer
      The 30th International Symposium on Software Reliability Engineering (ISSRE 2019 Industry Track)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey2019

    • Author(s)
      Fuyuki Ishikawa, Nobukazu Yoshioka
    • Organizer
      Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems2018

    • Author(s)
      Fuyuki Ishikawa, Yutaka Matsuno
    • Organizer
      The 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] 機械学習システムの現状と課題そしてこれからのことを話そう2018

    • Author(s)
      吉岡信和, 石川冬樹
    • Organizer
      第1回機械学習工学ワークショップ(MLSE2018)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] 要求獲得のためのヒアリングにおけるゴール指向要求分析の活用 ~「ゴール指向 Lite」の提案~2018

    • Author(s)
      菅原 扶, 室井 義彦, 山口 俊彦, 山崎 哲, 石川 冬樹, 栗田 太郎
    • Organizer
      ソフトウェア・シンポジウム2018
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems2018

    • Author(s)
      Fuyuki Ishikawa, Yutaka Matsuno
    • Organizer
      6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Analysis on Strategies of Superposition Refinement of Event-B Specifications2018

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa
    • Organizer
      The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments2018

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      The 37th International Conference on Conceptual Modeling (ER 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] Analysis on Strategies of Superposition Refinement of Event-B Specifications2018

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa
    • Organizer
      The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments2018

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      The 37th International Conference on Conceptual Modeling (ER)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Analysis on Strategies of Superposition Refinement of Event-B Specifications2018

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa
    • Organizer
      The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] Continuous Argument Engineering: 機械学習システムにおける議論モデルの活用に向けて:2018

    • Author(s)
      石川 冬樹, 松野 裕
    • Organizer
      第1回機械学習工学ワークショップ(MLSE2018)
    • Data Source
      KAKENHI-PROJECT-18H03229
  • [Presentation] Emerging Challenges in Software Dependability under Uncertain World2017

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      The 1st International Conference on Advanced Information Technologies (ICAIT)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • Author(s)
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • Organizer
      Symposium on Dependable Software Engineering (SETTA 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • Author(s)
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • Organizer
      Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] Extracting Traceability between Predicates in Event-B Refinement2017

    • Author(s)
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • Organizer
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H00732
  • [Presentation] Extracting Traceability between Predicates in Event-B Refinement2017

    • Author(s)
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
    • Organizer
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01727
  • [Presentation] Toward Flexible Restructuring of Formal Refinement2016

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      The 5th Asian Workshop of Advanced Software Engineering (AWASE2016)
    • Place of Presentation
      Nara, Japan
    • Year and Date
      2016-03-20
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] Stepwise Refinement of Software Development Problem Analysis2016

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 35th International Conference on Conceptual Modeling (ER 2016)
    • Place of Presentation
      Gifu, Japan
    • Year and Date
      2016-11-17
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines2016

    • Author(s)
      Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 6th Rodin User and Developer Workshop
    • Place of Presentation
      Linz, Austria
    • Year and Date
      2016-05-23
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] Refactoring Refinement Structures of Event-B Machines2016

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 21st International Symposium on Formal Methods (FM 2016)
    • Place of Presentation
      Limassol, Cyprus
    • Year and Date
      2016-11-11
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] Refinement Engineering?2014

    • Author(s)
      Fuyuki Ishikawa, Tsutomu Kobayashi
    • Organizer
      Shonan Meeting on Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS)
    • Place of Presentation
      Miura-gun, Japan
    • Year and Date
      2014-10-29
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] Refinement Engineering for Reducing Complexity in Reliability Assurance2014

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      4th Asian Workshop of Advanced Software Engineering
    • Place of Presentation
      Beijing, China
    • Year and Date
      2014-10-11
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] Understanding and Planning Event-B Refinement through Primitive Rationales2014

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 4th International ABZ 2014 Conference
    • Place of Presentation
      Toulouse, France
    • Year and Date
      2014-06-06
    • Data Source
      KAKENHI-PROJECT-26700005
  • [Presentation] Intention-based Automated Composition Approach for Coordination Protocol2013

    • Author(s)
      Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
    • Organizer
      IEEE 11th International Conference on Web Services (ICWS2013)
    • Place of Presentation
      CA, USA
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] A Normative Approach to Exploring Multi-Agency Privacy and Transparency2013

    • Author(s)
      Julian Padget, Ken Satoh, Fuyuki Ishikawa
    • Organizer
      The 7th International Workshop on Juris-informatics (JURISIN 2013)
    • Place of Presentation
      Hiyoshi
    • Data Source
      KAKENHI-PROJECT-24650017
  • [Presentation] 法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて2013

    • Author(s)
      石川冬樹, 高橋竜一
    • Organizer
      電子情報通信学会技術研究報告(サービスコンピューティング第4回研究会)
    • Place of Presentation
      東京
    • Data Source
      KAKENHI-PROJECT-24650017
  • [Presentation] Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches2012

    • Author(s)
      Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
    • Organizer
      The 6th International Workshop on Juris-informatics (JURISIN 2012)
    • Place of Presentation
      Miyazaki, Japan
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches2012

    • Author(s)
      Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
    • Organizer
      The 6th International Workshop on Juris-informatics (JURISIN 2012)
    • Place of Presentation
      Miyazaki
    • Data Source
      KAKENHI-PROJECT-24650017
  • [Presentation] A Probabilistic Approach for Long-Term B2B Service Compositions2012

    • Author(s)
      Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 10th International Conference on Web Services (ICWS 2012)
    • Place of Presentation
      Honolulu, USA
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] Multi-objective Service Composition with Time- and Input-Dependent QoS2012

    • Author(s)
      Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 10th International Conference on Web Services (ICWS 2012)
    • Place of Presentation
      Honolulu, USA
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について2011

    • Author(s)
      石川冬樹
    • Organizer
      ウィンターワークショップ2011・イン・修善寺(査読有)
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Presentation] サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について2011

    • Author(s)
      石川冬樹
    • Organizer
      ウィンターワークショップ2011・イン・修善寺
    • Place of Presentation
      ラフォーレ修善寺(静岡県)
    • Year and Date
      2011-01-21
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Presentation] サービス品質に関する多様な想定に応じた選択・適応手法の活用に向けて2010

    • Author(s)
      石川冬樹
    • Organizer
      ウィンターワークショップ2010・イン・倉敷
    • Place of Presentation
      倉敷市芸文館(岡山県)
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援2009

    • Author(s)
      山本佳代子, 石川冬樹, 本位田真一
    • Organizer
      合同エージェントワークショップ&シンポジウム(JAWS 2009)(査読有)
    • Data Source
      KAKENHI-PROJECT-20700037
  • [Presentation] サービスコンピューティング研究の動向2009

    • Author(s)
      石川冬樹
    • Organizer
      電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会
    • Place of Presentation
      国立情報学研究所(東京都)
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering2009

    • Author(s)
      石川冬樹
    • Organizer
      The 2nd International Workshop on Requirements Engineering and Law(RELAW 2009)
    • Place of Presentation
      JW Marriott Hotel Buckhead Atlanta(Georgia, USA)
    • Year and Date
      2009-09-01
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009

    • Author(s)
      石川冬樹
    • Organizer
      The ACM International Conference on Pervasive Services(ICPS2009)
    • Place of Presentation
      Imperial college(London, UK)
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Challenges in Inheriting Test Cases Configurations from VDM to Implementation2009

    • Author(s)
      石川冬樹
    • Organizer
      The 7th VDM-Overture Workshop
    • Place of Presentation
      Technical University of Eindhoven(Netherlands)
    • Year and Date
      2009-11-02
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2008

    • Author(s)
      高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
    • Organizer
      合同エージェントワークショップ&シンポジウム(JAWS2008)
    • Place of Presentation
      東京都文京区
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems2008

    • Author(s)
      Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
    • Organizer
      The 12th IEEE International EDOC Conference (EDOC 2008)
    • Place of Presentation
      Munchen, Germany
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御2008

    • Author(s)
      石川冬樹, 清雄一, 吉岡信和, 本位田真一
    • Organizer
      マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
    • Place of Presentation
      北海道札幌市
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] サービス合成における契約ポリシーの決定・検証問題の形式化とその支援2007

    • Author(s)
      石川冬樹
    • Organizer
      合同エージェントワークショップ&シンポジウム2007(JAWS2007)
    • Place of Presentation
      沖縄県宜野湾
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Developing Consistent Contractual Policies in Service Composition2007

    • Author(s)
      Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    • Organizer
      The 2007 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2007)
    • Place of Presentation
      筑波研究学園都市
    • Year and Date
      2007-12-12
    • Data Source
      KAKENHI-PROJECT-19800059
  • [Presentation] Developing Consistent Contractual Policies in Service Composition2007

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      Asia-Pacific Services Computing Conference (IEEE APSCC 2007)
    • Place of Presentation
      Tsukuba, Japan
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2007

    • Author(s)
      石川冬樹
    • Organizer
      合同エージェントワークショップ&シンポジウム2007(JAWS2007)
    • Place of Presentation
      沖縄県宜野湾
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Managing Difference-based Objects with Sub-networks in Peer-to-Peer Environments2007

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      International Symposium on Distributed Objects, Middleware and Application (DOA 2007)
    • Place of Presentation
      Algarve, Portugal
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] サービス合成における契約ポリシーの決定・検証問題の形式化とその支援2007

    • Author(s)
      石川冬樹, 吉岡信和, 本位田真一
    • Organizer
      合同エージェントワークショップ&シンポジウム2007(JAWS2007)
    • Place of Presentation
      沖縄コンベンションセンター
    • Year and Date
      2007-10-29
    • Data Source
      KAKENHI-PROJECT-19800059
  • [Presentation] Policy-based Runtime Partner Management in Process-Based Services2007

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      IEEE International Conference on Web Services (ICWS 2007)
    • Place of Presentation
      Utah, USA
    • Data Source
      KAKENHI-PROJECT-19200003
  • [Presentation] Intention-based Automated Composition Approach for Coordination Protocol

    • Author(s)
      Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa
    • Organizer
      The IEEE 11th International Conference on Web Services (ICWS 2013)
    • Place of Presentation
      Santa Clara, USA
    • Year and Date
      2013-06-27 – 2013-07-02
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] Towards Service Skyline for Multi-granularity Service Composition

    • Author(s)
      Quanwang Wu, Fuyuki Ishikawa
    • Organizer
      International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014)
    • Place of Presentation
      Saint Etienne, France
    • Year and Date
      2014-09-01 – 2014-09-02
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] Understanding and Planning Event-B Refinement through Primitive Rationales

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      The 4th International ABZ 2014 Conference
    • Place of Presentation
      Toulouse, France
    • Year and Date
      2014-06-02 – 2014-06-06
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] A Normative Approach to Exploring Multi-Agency Privacy and Transparency

    • Author(s)
      Julian Padget, Ken Satoh, Fuyuki Ishikawa
    • Organizer
      The 7th International Workshop on Juris-informatics (JURISIN 2013)
    • Place of Presentation
      慶應大学日吉キャンパス
    • Data Source
      KAKENHI-PROJECT-24650017
  • [Presentation] A Communication Process for Global Requirements Engineering

    • Author(s)
      Sajid Ibrahim Hashmi, Fuyuki Ishikawa, Ita Richardson
    • Organizer
      The International Conference on Software and System Process (ICSSP 2013)
    • Place of Presentation
      San Francisco, USA
    • Year and Date
      2013-05-18 – 2013-05-19
    • Data Source
      KAKENHI-PROJECT-24240003
  • [Presentation] ArbitCheck: a highly automated property-based testing tool for Java

    • Author(s)
      Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
    • Organizer
      IEEE International Conference on Software Testing, Verification and Validation
    • Place of Presentation
      Cleveland, USA
    • Year and Date
      2014-03-31 – 2014-04-04
    • Data Source
      KAKENHI-PROJECT-24240003
  • 1.  HONIDEN Shinichi (70332153)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 22 results
  • 2.  TEI Kenji (40434295)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 6 results
  • 3.  MA LEI (70842061)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 2 results
  • 4.  趙 建軍 (20299580)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  YOSHIOKA Nobukazu (20390601)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 4 results
  • 6.  Tahara Yasuyuki (30390602)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  清 雄一 (20700157)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 8.  佐藤 周行 (20225999)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  鵜林 尚靖 (80372762)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  FUKAZAWA Yoshiaki (20165252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  KAWAI Rihoko (10468548)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  胡 振江 (50292769)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 13.  中川 博之 (40508834)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 14.  一色 正男 (90567364)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 15.  宮尾 祐介 (00343096)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  松崎 和賢 (00831794)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  大須賀 昭彦 (90393842)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  前澤 悠太 (90759771)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  Zhang Xiaoyi (70883528)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 20.  蓮尾 一郎 (60456762)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  張 振亜 (10971228)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  KOBAYASHI Tsutomu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 23.  Romanovsky Alexander
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  HARVEY PAUL
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  井上 理穂子
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 2 results
  • 26.  深沢 良彰
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 4 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi