• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

土屋 達弘  TSUCHIYA TATSUHIRO

研究者番号 30283740
その他のID
  • ORCIDhttps://orcid.org/0000-0002-3329-9235
外部サイト
所属 (現在) 2025年度: 大阪大学, 大学院情報科学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2021年度 – 2024年度: 大阪大学, 大学院情報科学研究科, 教授
2015年度 – 2021年度: 大阪大学, 情報科学研究科, 教授
2012年度 – 2013年度: 大阪大学, 情報科学研究科, 教授
2011年度: 大阪大学, 情報科学研究科, 准教授
2008年度 – 2010年度: 大阪大学, 大学院・情報科学研究科, 准教授 … もっと見る
2007年度: 大阪大学, 情報科学研究科, 准教授
2006年度: 大阪大学, 大学院情報科学研究科, 助教授
2006年度: 阪大, 情報科学研究科, 助教授
2005年度: 大阪大学, 大学院・情報科学研究科, 助教授
2002年度: 大阪大学, 大学院・情報科学研究科, 助教授
2000年度 – 2001年度: 大阪大学, 大学院・基礎工学研究科, 講師
1999年度: 大阪大学, 大学院・基礎工学研究科, 助手
1997年度: 大阪大学, 大学院・基礎工学研究科, 助手 隠す
審査区分/研究分野
研究代表者
ソフトウエア / 理工系 / 小区分60050:ソフトウェア関連 / 計算機科学 / 情報社会におけるトラスト / ソフトウェア
研究代表者以外
小区分60050:ソフトウェア関連 / 人工物システムの強化 / 情報通信工学
キーワード
研究代表者
ソフトウェアテスト / テスト / カバレッジ / モデル検査 / 組み合わせテスト / 並行性 / 機能競合 / 設計誤り / 充足可能性判定 / 記号モデル検査 … もっと見る / 分散システム / 機密実行 / モデルチェッキング / ディペンダブルシステム / テストカバレッジ / グラフクエリ / ミューテーションテスト / グラフデータベース / スマートコントラクト / ブロックチェーン / 形式検証 / コンセンサス / ソフトウェア工学 / ロケーティングアレイ / 組み合わせインタラクションテスト / ホワイトボックステスト / ブラックボックステスト / 全ペアテスト / 分散アルゴリズム / 仕様検証 / 仕様記述 / JUnit / 組合わせテスト / 全ペア法 / ペアワイズ法 / 安全性 / 改竄 / 可用性 / データ多重化 / ビザンチンクォーラムシステム / ビザンチン故障 / クォーラムシステム / ネットワーク / 相互排除 / 信頼性 / コテリー / クォーラム / 相互排除問題 … もっと見る
研究代表者以外
CPS / 自己適応 / 確率モデル / 開発環境 / 不確かさ / 時間制約 / 組み込みシステム / ロボット / 超能動型CPS / プログラミングフレームワーク / ソフトウェア工学 / 自己適応システム / 適応性 / 人工物システム / abnormal state / normal state / resolution / detection / extend finite state machine / feature interaction / 非決定性 / 状態爆発 / インバリアント / ペトリネット / 競合 / 通信サービス / 異常状態 / 正常状態 / 解決 / 検出 / 拡張有限状態機械 / サービス競合 隠す
  • 研究課題

    (15件)
  • 研究成果

    (144件)
  • 共同研究者

    (9人)
  •  ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2023 – 2026
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      大阪大学
  •  グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2020 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      大阪大学
  •  不確かな環境下においても時間制約を考慮可能な自己適応メカニズムとその統合開発環境

    • 研究代表者
      中川 博之
    • 研究期間 (年度)
      2020 – 2023
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      大阪大学
  •  形式検証によるスマートコントラクトとその実行基盤に対するトラスタビリティの実現研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報社会におけるトラスト
    • 研究機関
      大阪大学
  •  人工物システムの適応性を向上させる超能動型CPSに関する研究

    • 研究代表者
      中川 博之
    • 研究期間 (年度)
      2017 – 2021
    • 研究種目
      基盤研究(B)
    • 研究分野
      人工物システムの強化
    • 研究機関
      大阪大学
  •  不具合特定能力を持つ実用的な組み合わせインタラクションテストの実現研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      大阪大学
  •  全ペアテストによる高効率なソフトウェアテストの実現研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      大阪大学
  •  ディペンダブル分散システム実現のための耐故障アルゴリズムのモデル検査研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      大阪大学
  •  分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチ研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2006
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      大阪大学
  •  高信頼ソフトウェアを実現する強力なテストケース生成手法の開発研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      大阪大学
  •  設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2002
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      大阪大学
  •  設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2001
    • 研究種目
      特定領域研究(C)
    • 審査区分
      理工系
    • 研究機関
      大阪大学
  •  悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  分散システムにおける相互排除機構の高信頼化に関する研究研究代表者

    • 研究代表者
      土屋 達弘
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  マルチメディアネットワークにおけるサービス競合のモデル化と解決

    • 研究代表者
      角田 良明
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      広島市立大学
      大阪大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005

すべて 雑誌論文 学会発表 図書

  • [図書] ディペンダブルシステム-高信頼システム実現のための耐故障・検証・テスト技術-2005

    • 著者名/発表者名
      米田友洋, 梶原誠司, 土屋達弘
    • 総ページ数
      243
    • 出版者
      共立出版
    • データソース
      KAKENHI-PROJECT-17700033
  • [雑誌論文] ソフトウェア運用ログを用いた関数呼び出しパターンの自動識別手法2024

    • 著者名/発表者名
      角田詩門, 斎藤忍,中川博之,土屋達弘
    • 雑誌名

      情報処理学会論文誌

      巻: 65 号: 4 ページ: 781-791

    • DOI

      10.20729/00233608

    • ISSN
      1882-7764
    • 年月日
      2024-04-15
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation2024

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the IEEE 48th Computers, Software, and Applications Conference (COMPSAC 2024)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Harnessing LLM Conversations for Goal Model Generation from User Reviews2024

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 16th International Conference on Agents and Artificial Intelligence (ICAART 2024)

      巻: - ページ: 385-392

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Review-Based Bot Smell Classification in Robotic Process Automation2024

    • 著者名/発表者名
      Soshi Nitta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2024)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Automatic Facility Layout Design System Using Deep Reinforcement Learning2023

    • 著者名/発表者名
      Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023)

      巻: Vol. 2 ページ: 221-230

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] KAOS Modeling Editor: A Tool for Semi-Automated Goal Modeling2023

    • 著者名/発表者名
      Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 42nd International Conference on Conceptual Modeling (ER 2023)

      巻: - ページ: 1-5

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計支援システムの提案2023

    • 著者名/発表者名
      池田光,中川博之,赤木宏匡,関本章,土屋達弘
    • 雑誌名

      日本経営工学会論文誌

      巻: 74 号: 3 ページ: 142-152

    • DOI

      10.11221/jima.74.142

    • ISSN
      1342-2618, 2187-9079
    • 年月日
      2023-10-15
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion2023

    • 著者名/発表者名
      Nishiguchi Naoki、Tsuchiya Tatsuhiro
    • 雑誌名

      2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC)

      巻: ISBN: 979-8-3503-5876-6 ページ: 236-238

    • DOI

      10.1109/prdc59308.2023.00036

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23K28060
  • [雑誌論文] On Mutation Testing of Graph Database Queries in the Cypher Language2023

    • 著者名/発表者名
      Ariwaka Shingo、Tsuchiya Tatsuhiro
    • 雑誌名

      2023 30th Asia-Pacific Software Engineering Conference (APSEC)

      巻: ISBN 979-8-3503-4417-2 ページ: 579-583

    • DOI

      10.1109/apsec60848.2023.00074

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K11747
  • [雑誌論文] RPAにおける不具合要因の分類と検出手法の検証2023

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 40 号: 1 ページ: 1_11-1_23

    • DOI

      10.11309/jssst.40.1_11

    • ISSN
      0289-6540
    • 年月日
      2023-01-25
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Expansion Mechanism for Runtime Verification of Self-adaptive Systems2023

    • 著者名/発表者名
      Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 35th International Conference on Software Engineering & Knowledge Engineering (SEKE 2023)

      巻: - ページ: 1-6

    • DOI

      10.18293/seke2023-223

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Xtune: An XAI-Based Hyperparameter Tuning Method for Time-series Forecasting Using Deep Learning2023

    • 著者名/発表者名
      Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Research Square

      巻: - ページ: 1-16

    • DOI

      10.21203/rs.3.rs-3008932/v1

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism2022

    • 著者名/発表者名
      Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
    • 雑誌名

      arXiv:2205.13375

      巻: - ページ: 1-17

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection2022

    • 著者名/発表者名
      Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)

      巻: - ページ: 281-296

    • DOI

      10.1007/978-3-031-21203-1_17

    • ISBN
      9783031212024, 9783031212031
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Towards Automatic Facility Layout Design Using Reinforcement Learning2022

    • 著者名/発表者名
      Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 17th Conference on Computer Science and intelligent systems (FedCSIS 2022)

      巻: - ページ: 11-20

    • DOI

      10.15439/2022f25

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Goal Model Structuring Based on Semantic Correlation of User Reviews2022

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Intelligent Decision Technologies Journal

      巻: Vol. 16, No. 4 号: 4 ページ: 737-748

    • DOI

      10.3233/idt-220269

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Hierarchical User Review Clustering Based on Multiple Subgoal Generation2022

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)

      巻: - ページ: 207-219

    • DOI

      10.1007/978-3-031-17583-1_16

    • ISBN
      9783031175824, 9783031175831
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04167
  • [雑誌論文] Graph queries for analyzing the coverage of requirements by test cases2021

    • 著者名/発表者名
      Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)

      巻: - ページ: 544-549

    • DOI

      10.18293/seke2021-122

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-20K11747
  • [雑誌論文] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      巻: KBSE2020-34 ページ: 1-6

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Adaptation Space Reduction Using an Explainable Framework2021

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC 2021)

      巻: - ページ: 1654-1661

    • DOI

      10.1109/compsac51774.2021.00247

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021

    • 著者名/発表者名
      有若新悟, 中川博之, 土屋達弘
    • 雑誌名

      ソフトウェア・シンポジウム2021

      巻: - ページ: 136-141

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] 逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出2021

    • 著者名/発表者名
      土屋達弘
    • 雑誌名

      信学技報

      巻: 120, SS2020-40 ページ: 73-77

    • データソース
      KAKENHI-PROJECT-18KT0098
  • [雑誌論文] RPAにおける不具合発生要因の分類2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2021

      巻: - ページ: 39-44

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Preemptive Anomaly Prediction in IoT Components2021

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the Context-aware, Autonomous and Smart Architecture Workshop (CASA2021) co-located with the 15th European Conference on Software Architecture (ECSA2021)

      巻: - ページ: 12-17

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] グラフクエリに対するミューテーションテストの提案2021

    • 著者名/発表者名
      有若 新悟, 土屋達弘
    • 雑誌名

      情報処理学会 研究報告ソフトウェア工学(SE)

      巻: 2021-SE-209 ページ: 1-4

    • データソース
      KAKENHI-PROJECT-20K11747
  • [雑誌論文] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • 著者名/発表者名
      有若新悟, 中川博之, 土屋達弘
    • 雑誌名

      信学技報

      巻: IEICE-KBSE2020-25 ページ: 53-58

    • データソース
      KAKENHI-PROJECT-20K11747
  • [雑誌論文] An Automated Goal Labeling Method Based on User Reviews2020

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)

      巻: - ページ: 141-146

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Finding Minimum Locating Arrays Using a CSP Solver2020

    • 著者名/発表者名
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Fundamenta Informaticae

      巻: 174 号: 1 ページ: 27-42

    • DOI

      10.3233/fi-2020-1929

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-20H04167
  • [雑誌論文] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • 著者名/発表者名
      有若新悟,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      巻: KBSE2020-25 ページ: 53-58

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Using simulated annealing for locating array construction2020

    • 著者名/発表者名
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Information and Software Technology

      巻: 126 ページ: 106346-106346

    • DOI

      10.1016/j.infsof.2020.106346

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-20H04167
  • [雑誌論文] An Explainable Deep Learning Approach for Adaptation Space Reduction2020

    • 著者名/発表者名
      Diallo Alhassan Boner、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)

      巻: - ページ: 230-231

    • DOI

      10.1109/acsos-c51401.2020.00063

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Opinion Analysis and Organization of Mobile Application User Reviews2020

    • 著者名/発表者名
      Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020)

      巻: - ページ: 1-9

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Interactive Goal Model Construction Based on a Flow of Questions2020

    • 著者名/発表者名
      NAKAGAWA Hiroyuki、SHIMADA Hironori、TSUCHIYA Tatsuhiro
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E103.D 号: 6 ページ: 1309-1318

    • DOI

      10.1587/transinf.2019KBP0015

    • NAID

      130007850091

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2020-06-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-20H04167
  • [雑誌論文] 遺伝的プログラミングを用いた施設レイアウト自動生成の検討2020

    • 著者名/発表者名
      花田響四郎,中川博之,関本章,赤木宏匡,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-46 ページ: 1-6

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Using simulated annealing for locating array construction2019

    • 著者名/発表者名
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      arXiv

      巻: 1909.13090 ページ: 1-23

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] 自己適応システムの動的検証法の高速化に関する研究2019

    • 著者名/発表者名
      妙見侑祐,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-66 ページ: 75-80

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Towards Real-time Self-adaptation Using a Verification Mechanism2019

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)

      巻: WiP ページ: 10-12

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] 単語の出現頻度と類似性に基づいたトピックモデル洗練化手法2019

    • 著者名/発表者名
      東和幸,高橋仁,中川博之,土屋達弘
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 36 号: 4 ページ: 4_25-4_31

    • DOI

      10.11309/jssst.36.4_25

    • NAID

      130007772583

    • ISSN
      0289-6540
    • 年月日
      2019-10-25
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [雑誌論文] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2019

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • 雑誌名

      The Journal of Systems & Software

      巻: 156 ページ: 300-311

    • DOI

      10.1016/j.jss.2019.07.007

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [雑誌論文] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討2019

    • 著者名/発表者名
      東和幸,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2019-27, SC2019-24 ページ: 25-30

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Finding minimum locating arrays using a CSP solver2019

    • 著者名/発表者名
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      arXiv

      巻: 1904.07480 ページ: 1-16

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Goal Model Construction Based on User Review Classification2019

    • 著者名/発表者名
      Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019) (Poster session)

      巻: - ページ: 1-5

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] A Framework for Updating Functionalities Based on the MAPE Loop Mechanism2018

    • 著者名/発表者名
      Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
    • 雑誌名

      Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)

      巻: - ページ: 38-47

    • DOI

      10.1109/compsac.2018.00014

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] 文書間の類似度に基づいた要求カバレッジ可視化手法2018

    • 著者名/発表者名
      松井 勝利、中川 博之、土屋 達弘
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 35 号: 1 ページ: 1_67-1_75

    • DOI

      10.11309/jssst.35.1_67

    • NAID

      130006555543

    • ISSN
      0289-6540
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [雑誌論文] Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討2018

    • 著者名/発表者名
      東和幸,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-38 ページ: 59-64

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules2018

    • 著者名/発表者名
      Shimada Hironori、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017)

      巻: - ページ: 175-188

    • DOI

      10.1007/978-981-10-7796-8_14

    • ISBN
      9789811077951, 9789811077968
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [雑誌論文] MAPEループを用いたIoTデバイスの効率的な再利用法の検討2018

    • 著者名/発表者名
      土田真也,中川博之,土屋達弘
    • 雑誌名

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      巻: - ページ: 74-75

    • NAID

      170000176299

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] 組み込みシステムに対する安全な機能追加手法の考察2018

    • 著者名/発表者名
      土田真也,中川博之,土屋達弘
    • 雑誌名

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      巻: 信学技報KBSE2018-18 ページ: 43-48

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] ゴールモデルのコンテキストに注目した効率的なモデル検査2018

    • 著者名/発表者名
      本田大雅,小島英春,中川博之,土屋達弘
    • 雑誌名

      ソフトウェアエンジニアリングシンポジウム(SES2018)

      巻: - ページ: 229-235

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] ユーザレビューに基づいたゴールモデル構築手法の検討2018

    • 著者名/発表者名
      島田裕紀,中川博之,土屋達弘
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2018

      巻: - ページ: 119-128

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms2017

    • 著者名/発表者名
      Teru Ohashi, Tatsuhiro Tsuchiya
    • 雑誌名

      Proceedings of 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'17)

      巻: - ページ: 78-85

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00098
  • [雑誌論文] Data access control for energy-related services in smart public infrastructures2017

    • 著者名/発表者名
      Kawada Yohei、Yano Kojin、Mizuno Yoshihiro、Tsuchiya Tatsuhiro、Fujisaki Yasumasa
    • 雑誌名

      omputers in Industry

      巻: 88 ページ: 35-43

    • DOI

      10.1016/j.compind.2017.03.002

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Finding Minimum Locating Arrays Using a SAT Solver2017

    • 著者名/発表者名
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proceedings of 10th IEEE International Conference on Software Testing, Verification and Validation Workshops

      巻: - ページ: 276-277

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00098
  • [雑誌論文] Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry2017

    • 著者名/発表者名
      Nakagawa Hiroyuki、Hasegawa Toshinobu、Matsui Shori、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), (Industry track)

      巻: - ページ: 77-80

    • DOI

      10.1109/issrew.2017.19

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [雑誌論文] ばねモデルに基づいた要求カバレッジ可視化ビューアの構築2017

    • 著者名/発表者名
      松井勝利,中川博之,土屋達弘
    • 雑誌名

      ソフトウェア工学の基礎ワークショップ FOSE 2017

      巻: - ページ: 43-52

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] Constrained locating arrays for combinatorial interaction testing2017

    • 著者名/発表者名
      Hao Jin, Tatsuhiro Tsuchiya
    • 雑誌名

      arxiv

      巻: - ページ: 1-12

    • データソース
      KAKENHI-PROJECT-17KT0043
  • [雑誌論文] A Visualization of Specification Coverage Based on Document Similarity2017

    • 著者名/発表者名
      Nakagawa Hiroyuki、Matsui Shori、Tsuchiya Tatsuhiro
    • 雑誌名

      Proc. of the 39th International Conference on Software Engineering (ICSE 2017)

      巻: - ページ: 136-138

    • DOI

      10.1109/icse-c.2017.117

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [雑誌論文] ソフトウェアテストと安全性2016

    • 著者名/発表者名
      土屋達弘
    • 雑誌名

      信頼性学会誌「信頼性」

      巻: 38 ページ: 80-85

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00098
  • [雑誌論文] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints2012

    • 著者名/発表者名
      Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno,
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E95-A ページ: 1501-1505

    • NAID

      10031142535

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500046
  • [雑誌論文] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints2012

    • 著者名/発表者名
      Toru Namba, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E95.A 号: 9 ページ: 1501-1505

    • DOI

      10.1587/transfun.E95.A.1501

    • NAID

      10031142535

    • ISSN
      0916-8508, 1745-1337
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500046
  • [雑誌論文] Andre Schiper, Verification of Consensus Algorithms Using Satisfiability Solving2011

    • 著者名/発表者名
      Tatsuhiro Tsuchiya
    • 雑誌名

      Distributed Computing 23

      ページ: 341-358

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Verification of Consensus Algorithms Using Satisfiability Solving2011

    • 著者名/発表者名
      Tatsuhiro Tsuchiya, Andre Schiper
    • 雑誌名

      Distributed Computing

      巻: (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Constructing Test Sets for Pairwise Testing: A SAT-Based Approach2011

    • 著者名/発表者名
      Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 雑誌名

      Proc. of 2011 Second International Conference on Networking and Computing

      巻: 1 ページ: 271-274

    • DOI

      10.1109/icnc.2011.49

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500046
  • [雑誌論文] Towards Automated Verification of Distributed Consensus Protocols2009

    • 著者名/発表者名
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 雑誌名

      Proceedings of 16th Asia-Pacific Software Enginee ring Conference (APSEC 2009)

      ページ: 499-506

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Towards Automated Verification of Distributed Consensus Protocols2009

    • 著者名/発表者名
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 雑誌名

      Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009)

      ページ: 499-506

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Andre Schiper, Using Bounded Model Checking to Verify Consensus Algorithms2008

    • 著者名/発表者名
      Tatsuhiro Tsuchiya
    • 雑誌名

      Lecture Note on Computer Science 5218

      ページ: 466-480

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Tohru Kikuno, Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms2008

    • 著者名/発表者名
      Takahiro Minamikawa, Tatsuhiro Tsuchiya
    • 雑誌名

      Proceedings of 11th International Symposium on Pacific Rim Dependable Computing

      ページ: 40-47

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Using Bounded Model Checking to Verify Consensus Algorithms2008

    • 著者名/発表者名
      Tatsuhiro Tsuchiya, Andre Schiper
    • 雑誌名

      Lecture Note on Computer Science 5218

      ページ: 466-480

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms2008

    • 著者名/発表者名
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 雑誌名

      Proceedings of 11th International Symposium on Pacific Rim Dependable Computing

      ページ: 40-47

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20700026
  • [雑誌論文] ペアワイズテストーソフトウェアテストの効率化を求めて2007

    • 著者名/発表者名
      土屋達弘, 菊野亨
    • 雑誌名

      電子情報通信学会論文誌D J90-D, 10

      ページ: 26632674-26632674

    • NAID

      110007380575

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17700033
  • [雑誌論文] テスト実行コストを考慮したペアワイズテストセット生成法の提案,2007

    • 著者名/発表者名
      紀本眞, 土屋達弘, 菊野亨
    • 雑誌名

      電子情報通信学会技術研究報告 107,255

      ページ: 4750-4750

    • NAID

      110006452280

    • データソース
      KAKENHI-PROJECT-17700033
  • [雑誌論文] Model Checking Active Database Rules under Various Rule Processing Strategies2006

    • 著者名/発表者名
      Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 雑誌名

      情報処理学会論文誌(トランザクション)データベース 47・SIG19

      ページ: 14-27

    • NAID

      130000022278

    • データソース
      KAKENHI-PROJECT-17700033
  • [雑誌論文] Describing and Verifying Integrated Services of Home Network Systems2005

    • 著者名/発表者名
      P.Leelaprute, M.Nakamura, T.Tsuchiya, K.Matsumoto, T.Kikuno
    • 雑誌名

      Proc.10th Asia-Pacific Software Engineering Conference (APSEC2005) ISSN:1530-1362

      ページ: 549-558

    • NAID

      120006693741

    • データソース
      KAKENHI-PROJECT-17700033
  • [学会発表] 大規模言語モデルの活用による非機能要件を加味したゴールモデルの構築2024

    • 著者名/発表者名
      城間大幹,渡辺啓太郎,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] パラメータ調整に基づく対話的なプロセスモデル決定手法の実現にむけて2024

    • 著者名/発表者名
      満田壮晴,中川博之,海谷治彦,竹内広宜,小形真平,土屋達弘
    • 学会等名
      電子情報通信学会 ソフトウェアサイエンス(SIG-SS)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] ソフトウェア運用ログを用いた非推奨化へのグラフニューラルネットワークの適用2024

    • 著者名/発表者名
      角田詩門,中川博之,斎藤 忍, 土屋 達弘
    • 学会等名
      情報処理学会 研究報告ソフトウェア工学(SE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] PlusCALを用いた耐故障コンセンサスアルゴリズムの記述と検証2024

    • 著者名/発表者名
      小野蒼生, 土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • データソース
      KAKENHI-PROJECT-23K28060
  • [学会発表] 時系列データを用いたソフトウェア運用ログのパターン識別手法2023

    • 著者名/発表者名
      角田詩門,斎藤忍,中川博之,土屋達弘
    • 学会等名
      情報処理学会 研究報告ソフトウェア工学(SE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] プロセスマイニングを用いたRPAの不具合要因検出手法の検討2023

    • 著者名/発表者名
      新田壮史,中川博之, 土屋達弘
    • 学会等名
      情報処理学会/ソフトウェア工学研究会 ウィンターワークショップ2023
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討2023

    • 著者名/発表者名
      内藤惇,中川博之, 土屋達弘
    • 学会等名
      電子情報通信学会 ライフインテリジェンスとオフィス情報システム研究会(LOIS)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] DeepSortを用いた中密度群衆からのグループ検出手法とその精度向上に関する考察2023

    • 著者名/発表者名
      植野直次朗,中川博之,冨沢哲雄,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察2023

    • 著者名/発表者名
      藤本昌也,中川博之, 土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Exploring the Potential of LLM for Review-driven Goal Model Generation2023

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2023)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Hierarchical User Review Clustering Based on Multiple Subgoal Generation2022

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      The 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] XAIを用いた自己適応異常検知手法の実用化に向けて2022

    • 著者名/発表者名
      角田詩門,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] RPAログを用いた処理フロー再構築手法の検討2022

    • 著者名/発表者名
      新田壮史,中川博之, 小形真平,竹内広宜,海谷治彦,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] XAIを用いた自己適応異常検知手法の実用化に向けて2022

    • 著者名/発表者名
      角田詩門,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案2022

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      電子情報通信学会[ディペンダブルコンピューティング研究会
    • データソース
      KAKENHI-PROJECT-18KT0098
  • [学会発表] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022

    • 著者名/発表者名
      南垣内一輝,中川博之,海谷治彦,小形真平,竹内広宜,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] RPAにおけるログマイニング手法の比較2022

    • 著者名/発表者名
      新田壮史,中川博之, 土屋達弘
    • 学会等名
      情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2022) 併設ワークショップ「プロセスマイニングの基礎と応用」
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 確率的モデル検査ツールによるパロンドのパラドックスの分析2022

    • 著者名/発表者名
      西口尚輝,中川博之, 土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 深層強化学習を用いた施設レイアウト設計システム2022

    • 著者名/発表者名
      池田光,中川博之,赤木宏匡,関本章,土屋達弘
    • 学会等名
      日本経営工学会2022年秋季大会
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] SATソルバを利用した分散アルゴリズムの検証・テスト2022

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      2022年度 人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-18KT0098
  • [学会発表] 文章の方向性に関する質問に基づく仕様書からのゴール抽出手法の提案2022

    • 著者名/発表者名
      渡辺啓太郎,中川博之, 土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案2022

    • 著者名/発表者名
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • 学会等名
      日本経営工学会2022年春季大会
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022

    • 著者名/発表者名
      南垣内一輝,中川博之,海谷治彦,小形真平,竹内広宜,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] エポックワードと名詞の重要度を用いたソフトウェア仕様書からのゴール文の抽出2022

    • 著者名/発表者名
      渡辺啓太郎,中川博之,土屋達弘
    • 学会等名
      ソフトウェア工学の基礎ワークショップ FOSE 2022
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案2022

    • 著者名/発表者名
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • 学会等名
      日本経営工学会2022年春季大会
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Graph queries for analyzing the coverage of requirements by test cases2021

    • 著者名/発表者名
      Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      The 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Adaptation Space Reduction Using an Explainable Framework2021

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      The IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] RPAにおける不具合発生要因の分類2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 学会等名
      ソフトウェア工学の基礎ワークショップ FOSE 2021
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021

    • 著者名/発表者名
      新田壮史,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Preemptive Anomaly Prediction in IoT Components2021

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      The Context-aware, Autonomous and Smart Architecture Workshop (CASA2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて2021

    • 著者名/発表者名
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] 強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて2021

    • 著者名/発表者名
      池田光,中川博之,関本章,赤木宏匡,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021

    • 著者名/発表者名
      有若新悟, 中川博之, 土屋達弘
    • 学会等名
      ソフトウェア・シンポジウム2021
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021

    • 著者名/発表者名
      有若新悟, 中川博之, 土屋達弘
    • 学会等名
      ソフトウェア・シンポジウム 2021
    • データソース
      KAKENHI-PROJECT-20K11747
  • [学会発表] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • 著者名/発表者名
      有若新悟,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • 学会等名
      The 41st IEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] 効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ2020

    • 著者名/発表者名
      中川博之, 外山大夢,土屋達弘
    • 学会等名
      情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2020)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] An Automated Goal Labeling Method Based on User Reviews2020

    • 著者名/発表者名
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] An Explainable Deep Learning Approach for Adaptation Space Reduction2020

    • 著者名/発表者名
      Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • 学会等名
      The IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020

    • 著者名/発表者名
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • 学会等名
      The 41st IEEE Real-Time Systems Symposium (RTSS 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04167
  • [学会発表] 深層学習を用いた鳥行動に基づく追い払いシステムの開発2019

    • 著者名/発表者名
      小林一樹,下林史弥,寺田和憲,吉河武文,佐藤寛之,土屋博之,Atchariyachanvanich Kanokwan
    • 学会等名
      第33回人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] 焼きなまし法によるロケーティングアレイの生成2018

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] MAPEループ構造に基づいた機能更新フレームワークに関する考察2018

    • 著者名/発表者名
      土田真也,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] 時間制約を考慮可能な自己適応システム実装フレームワークの検討2018

    • 著者名/発表者名
      津田宏軌,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] ブール論理に基づく,情報システムのテスト・検証のためのアプローチ2018

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      人工知能学会人工知能基本問題研究会 (SIG-FPAI)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] 質問フローに基づくゴールモデル構築手法の提案2018

    • 著者名/発表者名
      島田裕紀,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] SATソルバを使用したロケーティングアレイの生成手法について2017

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] 焼きなまし法によるロケーティングアレイの生成2017

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 ディペンダブルコンピューティング研究会(SIG-DC)
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] SMTを用いた制約付きロケーティングアレイの生成について2017

    • 著者名/発表者名
      金浩, 崔銀惠, 土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] SATソルバを使用したロケーティングアレイの生成手法について2017

    • 著者名/発表者名
      小西達也,小島英春,中川博之,土屋達弘
    • 学会等名
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • データソース
      KAKENHI-PROJECT-17KT0043
  • [学会発表] ZDDアルゴリズムを用いた高強度テストケース生成法2016

    • 著者名/発表者名
      大橋輝,土屋達弘
    • 学会等名
      電子情報通信学会 ディペンダビリティコンピューティング研究会
    • 発表場所
      彦根勤労福祉会館(彦根市)
    • 年月日
      2016-10-27
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] 貪欲法による組み合わせテスト集合生成における高速化について2015

    • 著者名/発表者名
      大橋 輝,土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東大寺総合文化センター,奈良市
    • 年月日
      2015-10-13
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] 組み合わせテスト集合生成におけるテストケース候補数の最適化について2015

    • 著者名/発表者名
      大橋 輝,土屋達弘
    • 学会等名
      第14回情報科学技術フォーラム
    • 発表場所
      愛媛大学,松山市
    • 年月日
      2015-09-15
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理2015

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      機械振興会館,東京
    • 年月日
      2015-06-16
    • データソース
      KAKENHI-PROJECT-15K00098
  • [学会発表] 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について2014

    • 著者名/発表者名
      土屋達弘,カッシア ジ ソウザ カルヴァーリョ
    • 学会等名
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2014
    • 発表場所
      大洗
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] カッシア ジ ソウザ カルヴァーリョ, 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について2014

    • 著者名/発表者名
      土屋達弘
    • 学会等名
      報処理学会ソフトウェア工学研究会ウィンターワークショップ
    • 発表場所
      大洗
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] インタラクションテストにおける故障ペアを特定可能なテストケース集合生成方法の提案2014

    • 著者名/発表者名
      永元雄宙, 小島英春, 土屋達弘
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      愛知
    • 年月日
      2014-01-31
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] A value weighting method for pair-wise testing2013

    • 著者名/発表者名
      Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
    • 学会等名
      20th Asia-Pacific Software Engineering Conference (APSEC 2013)
    • 発表場所
      バンコク
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] パラメータ値に対する重み付けを考慮したテストケース集合の拡張2013

    • 著者名/発表者名
      藤本哲, 小島英春, 土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東京
    • 年月日
      2013-04-26
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] A Value Weighting Method for Pair-Wise Testing2013

    • 著者名/発表者名
      Satoshi Fujimoto, Hideharu Kojima and Tatsuhiro Tsuchiya
    • 学会等名
      20th Asia-Pacific Software Engineering Conference (APSEC 2013)
    • 発表場所
      bangkok
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] パラメータ値に関する制約を考慮したランダムテストの不具合検出率について2013

    • 著者名/発表者名
      重岡大樹, 小島英春, 土屋達弘
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      石垣市
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] パラメータ値に関する制約を考慮したランダムテストの不具合検出率について2013

    • 著者名/発表者名
      重岡大樹, 小島英春, 土屋達弘
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      石垣
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] SATソルバを用いたペアワイズテストの作成2012

    • 著者名/発表者名
      難波亨,土屋達弘,菊野亨
    • 学会等名
      情報通信学会ソフトウェア工学研究会ウインターワークショップ2012
    • 発表場所
      琵琶湖コンファレンスセンター
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] パラメータ値に関する制約を考慮したランダムテストのためのテストケース生成手法2012

    • 著者名/発表者名
      田中真吾, 小島英春, 土屋達弘
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] Constructing Test Sets for Pairwise Testing : A SAT-Based Approach2011

    • 著者名/発表者名
      Toru Namba, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 学会等名
      2011 Second International Conference on Networking and Computing
    • 発表場所
      大阪
    • データソース
      KAKENHI-PROJECT-23500046
  • [学会発表] Model Checking of Unbounded Rounds of Asynchronous Consensus Protocols2010

    • 著者名/発表者名
      Tatsuhiro Tsuchiya, Andre chiper
    • 学会等名
      Workshop on Dependability of Network Software Applications 2010
    • 発表場所
      広島大学(広島県)
    • 年月日
      2010-11-18
    • データソース
      KAKENHI-PROJECT-20700026
  • [学会発表] Safety Verification of Asynchronous Consensus Algorithms Using Model Checking2009

    • 著者名/発表者名
      Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 学会等名
      2nd International Workshop on Reliability, Availability, and Security (WRAS)
    • 発表場所
      広島大学 (広島県)
    • 年月日
      2009-12-11
    • データソース
      KAKENHI-PROJECT-20700026
  • [学会発表] モデル検査を用いたコンセンサスアルゴリズムの合意性検証2009

    • 著者名/発表者名
      野口達也, 土屋達弘, 菊野亨
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      機械振興会館(東京)
    • 年月日
      2009-10-13
    • データソース
      KAKENHI-PROJECT-20700026
  • [学会発表] Safety Verification of Asynchronous Consensus Algorithms Using Model Checking2009

    • 著者名/発表者名
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • 学会等名
      2nd International Workshop on Reliability, Availability, and Security (WRAS)
    • 発表場所
      広島大学(広島県)
    • 年月日
      2009-12-11
    • データソース
      KAKENHI-PROJECT-20700026
  • [学会発表] 耐故障分散アルゴリズムに対するPROMELAモデルの生成2008

    • 著者名/発表者名
      南川恭洋, 土屋達弘, 菊野亨
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東京
    • 年月日
      2008-04-23
    • データソース
      KAKENHI-PROJECT-20700026
  • 1.  中川 博之 (40508834)
    共同の研究課題数: 3件
    共同の研究成果数: 83件
  • 2.  冨沢 哲雄 (60549707)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 3.  角田 良明 (40233671)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  井上 伸二 (50264932)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  小林 一樹 (00434895)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 6.  小形 真平 (10589279)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 7.  鵜林 尚靖 (80372762)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  林原 尚浩 (20397227)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  緒方 和博 (30272991)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi