ISHIKAWA Fuyuki 石川冬樹

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

大規模言語モデルのための品質保証技術に関する研究
- 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

[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

ISHIKAWA Fuyuki 石川 冬樹

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

High-Quality Machine Learning-based Systems via Traceability Exploration between Requirements and ImplementationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System ModelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Controlled Adaptation across Ubiquitous Heterogeneous PlatformsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Detection of Unexpected by Runtime Goal Model TrackingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Complexity Distribution and Consistency Assurance in Stepwise RefinementPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Modeling and Analysis of Law and its Interpretations by Applying Requirements Engineering PrinciplesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Framework to Realize Consistent Contract Management in Service CompositionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

ISHIKAWA Fuyuki 石川冬樹