TSUCHIYA TATSUHIRO 土屋達弘

… Alternative Names

Tsuchiya Tatsuhiro 土屋達弘

TSUCHIYA Tatsuhiro 土屋達弘

土屋達弘ツチヤタツヒロ

Less

Researcher Number	30283740
Other IDs	https://orcid.org/0000-0002-3329-9235
External Links
Affiliation (Current)	2025: 大阪大学, 大学院情報科学研究科, 教授
Affiliation (based on the past Project Information) *help	2021 – 2024: 大阪大学, 大学院情報科学研究科, 教授 2015 – 2021: 大阪大学, 情報科学研究科, 教授 2012 – 2013: 大阪大学, 情報科学研究科, 教授 2011: 大阪大学, 情報科学研究科, 准教授 2008 – 2010: Osaka University, 大学院・情報科学研究科, 准教授 … More 2007: Osaka University, 情報科学研究科, 准教授 2006: 大阪大学, 大学院情報科学研究科, 助教授 2006: 阪大, 情報科学研究科, 助教授 2005: 大阪大学, 大学院・情報科学研究科, 助教授 2002: 大阪大学, 大学院・情報科学研究科, 助教授 2000 – 2001: 大阪大学, 大学院・基礎工学研究科, 講師 1999: 大阪大学, 大学院・基礎工学研究科, 助手 1997: 大阪大学, 大学院・基礎工学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Software / Science and Engineering / Basic Section 60050:Software-related / 計算機科学 / The Information Society and Trust / Software Except Principal Investigator Basic Section 60050:Software-related / Intensification of Artifact Systems / 情報通信工学
Keywords	Principal Investigator ソフトウェアテスト / テスト / カバレッジ / モデル検査 / 組み合わせテスト / 並行性 / 機能競合 / 設計誤り / 充足可能性判定 / 記号モデル検査 … More / 分散システム / 機密実行 / モデルチェッキング / ディペンダブルシステム / テストカバレッジ / グラフクエリ / ミューテーションテスト / グラフデータベース / スマートコントラクト / ブロックチェーン / 形式検証 / コンセンサス / ソフトウェア工学 / ロケーティングアレイ / 組み合わせインタラクションテスト / ホワイトボックステスト / ブラックボックステスト / 全ペアテスト / 分散アルゴリズム / 仕様検証 / 仕様記述 / JUnit / 組合わせテスト / 全ペア法 / ペアワイズ法 / 安全性 / 改竄 / 可用性 / データ多重化 / ビザンチンクォーラムシステム / ビザンチン故障 / クォーラムシステム / ネットワーク / 相互排除 / 信頼性 / コテリー / クォーラム / 相互排除問題 … More Except Principal Investigator CPS / 自己適応 / 確率モデル / 開発環境 / 不確かさ / 時間制約 / 組み込みシステム / ロボット / 超能動型CPS / プログラミングフレームワーク / ソフトウェア工学 / 自己適応システム / 適応性 / 人工物システム / abnormal state / normal state / resolution / detection / extend finite state machine / feature interaction / 非決定性 / 状態爆発 / インバリアント / ペトリネット / 競合 / 通信サービス / 異常状態 / 正常状態 / 解決 / 検出 / 拡張有限状態機械 / サービス競合 Less

Development of model checking technology for dependable distributed systemsPrincipal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Osaka University
Development of testing methodology for software with a graph database backendPrincipal Investigator
- Principal Investigator
  
  Tsuchiya Tatsuhiro
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Osaka University
A Study on Self-adaptation Mechanism Under Time Constraints
- Principal Investigator
  
  Nakagawa Hiroyuki
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Osaka University
Using formal verification to establish the trustability of smart contracts and their platformsPrincipal Investigator
- Principal Investigator
  
  Tsuchiya Tatsuhiro
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  The Information Society and Trust
- Research Institution
  Osaka University
A Study on Super Active CPS for Enhancing Adaptability of Artifacts
- Principal Investigator
  
  Nakagawa Hiroyuki
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intensification of Artifact Systems
- Research Institution
  Osaka University
Practical combinatorial interaction testing with fault locating capabilityPrincipal Investigator
- Principal Investigator
  
  Tsuchiya Tatsuhiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
Effective software testing using all-pairs testingPrincipal Investigator
- Principal Investigator
  
  TSUCHIYA Tatsuhiro
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
Model Checking of Fault-Tolerant Algorithms for the Dependability of Distributed SystemsPrincipal Investigator
- Principal Investigator
  
  TSUCHIYA Tatsuhiro
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Osaka University
分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチPrincipal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
高信頼ソフトウェアを実現する強力なテストケース生成手法の開発Principal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Osaka University
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発Principal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発Principal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究Principal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
分散システムにおける相互排除機構の高信頼化に関する研究Principal Investigator
- Principal Investigator
  
  土屋達弘
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Modeling and Resolution of Feature Interactions in Multimedia Networks
- Principal Investigator
  
  KAKUDA Yoshiaki
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Hiroshima City University
  Osaka University

[Book] ディペンダブルシステム-高信頼システム実現のための耐故障・検証・テスト技術-2005
- Author(s)
  米田友洋, 梶原誠司, 土屋達弘
- Total Pages
  243
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-17700033
[Journal Article] Automatic Identification of Function Call Patterns Using Software Operation Logs2024
- Author(s)
  角田詩門, 斎藤忍，中川博之，土屋達弘
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 65 Issue: 4 Pages: 781-791
- DOI
  10.20729/00233608
- ISSN
  1882-7764
- Year and Date
  2024-04-15
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation2024
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the IEEE 48th Computers, Software, and Applications Conference (COMPSAC 2024)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Harnessing LLM Conversations for Goal Model Generation from User Reviews2024
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 16th International Conference on Agents and Artificial Intelligence (ICAART 2024)
  
  Volume: - Pages: 385-392
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Review-Based Bot Smell Classification in Robotic Process Automation2024
- Author(s)
  Soshi Nitta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2024)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Automatic Facility Layout Design System Using Deep Reinforcement Learning2023
- Author(s)
  Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 15th International Conference on Agents and Artificial Intelligence (ICAART 2023)
  
  Volume: Vol. 2 Pages: 221-230
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] KAOS Modeling Editor: A Tool for Semi-Automated Goal Modeling2023
- Author(s)
  Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 42nd International Conference on Conceptual Modeling (ER 2023)
  
  Volume: - Pages: 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Automatic Facility Layout Design Using Reinforcement Learning and a Analytic Hierarchy Process2023
- Author(s)
  池田光，中川博之，赤木宏匡，関本章，土屋達弘
- Journal Title
  
  Journal of Japan Industrial Management Association
  
  Volume: 74 Issue: 3 Pages: 142-152
- DOI
  10.11221/jima.74.142
- ISSN
  1342-2618, 2187-9079
- Year and Date
  2023-10-15
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion2023
- Author(s)
  Nishiguchi Naoki、Tsuchiya Tatsuhiro
- Journal Title
  
  2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC)
  
  Volume: ISBN: 979-8-3503-5876-6 Pages: 236-238
- DOI
  10.1109/prdc59308.2023.00036
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K28060
[Journal Article] On Mutation Testing of Graph Database Queries in the Cypher Language2023
- Author(s)
  Ariwaka Shingo、Tsuchiya Tatsuhiro
- Journal Title
  
  2023 30th Asia-Pacific Software Engineering Conference (APSEC)
  
  Volume: ISBN 979-8-3503-4417-2 Pages: 579-583
- DOI
  10.1109/apsec60848.2023.00074
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11747
[Journal Article] Defect classification in robotic process automation2023
- Author(s)
  新田壮史，中川博之，土屋達弘
- Journal Title
  
  Computer Software
  
  Volume: 40 Issue: 1 Pages: 1_11-1_23
- DOI
  10.11309/jssst.40.1_11
- ISSN
  0289-6540
- Year and Date
  2023-01-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Expansion Mechanism for Runtime Verification of Self-adaptive Systems2023
- Author(s)
  Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 35th International Conference on Software Engineering & Knowledge Engineering (SEKE 2023)
  
  Volume: - Pages: 1-6
- DOI
  10.18293/seke2023-223
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Xtune: An XAI-Based Hyperparameter Tuning Method for Time-series Forecasting Using Deep Learning2023
- Author(s)
  Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Research Square
  
  Volume: - Pages: 1-16
- DOI
  10.21203/rs.3.rs-3008932/v1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism2022
- Author(s)
  Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
- Journal Title
  
  arXiv:2205.13375
  
  Volume: - Pages: 1-17
- Open Access
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection2022
- Author(s)
  Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)
  
  Volume: - Pages: 281-296
- DOI
  10.1007/978-3-031-21203-1_17
- ISBN
  9783031212024, 9783031212031
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Towards Automatic Facility Layout Design Using Reinforcement Learning2022
- Author(s)
  Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 17th Conference on Computer Science and intelligent systems (FedCSIS 2022)
  
  Volume: - Pages: 11-20
- DOI
  10.15439/2022f25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Goal Model Structuring Based on Semantic Correlation of User Reviews2022
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Intelligent Decision Technologies Journal
  
  Volume: Vol. 16, No. 4 Issue: 4 Pages: 737-748
- DOI
  10.3233/idt-220269
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Hierarchical User Review Clustering Based on Multiple Subgoal Generation2022
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
  
  Volume: - Pages: 207-219
- DOI
  10.1007/978-3-031-17583-1_16
- ISBN
  9783031175824, 9783031175831
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04167
[Journal Article] Graph queries for analyzing the coverage of requirements by test cases2021
- Author(s)
  Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)
  
  Volume: - Pages: 544-549
- DOI
  10.18293/seke2021-122
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-20K11747
[Journal Article] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021
- Author(s)
  新田壮史，中川博之，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報KBSE
  
  Volume: KBSE2020-34 Pages: 1-6
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Adaptation Space Reduction Using an Explainable Framework2021
- Author(s)
  Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC 2021)
  
  Volume: - Pages: 1654-1661
- DOI
  10.1109/compsac51774.2021.00247
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021
- Author(s)
  有若新悟, 中川博之, 土屋達弘
- Journal Title
  
  ソフトウェア・シンポジウム2021
  
  Volume: - Pages: 136-141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] 逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出2021
- Author(s)
  土屋達弘
- Journal Title
  
  信学技報
  
  Volume: 120, SS2020-40 Pages: 73-77
- Data Source
  KAKENHI-PROJECT-18KT0098
[Journal Article] RPAにおける不具合発生要因の分類2021
- Author(s)
  新田壮史，中川博之，土屋達弘
- Journal Title
  
  ソフトウェア工学の基礎ワークショップ FOSE 2021
  
  Volume: - Pages: 39-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Preemptive Anomaly Prediction in IoT Components2021
- Author(s)
  Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the Context-aware, Autonomous and Smart Architecture Workshop (CASA2021) co-located with the 15th European Conference on Software Architecture (ECSA2021)
  
  Volume: - Pages: 12-17
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] グラフクエリに対するミューテーションテストの提案2021
- Author(s)
  有若新悟, 土屋達弘
- Journal Title
  
  情報処理学会研究報告ソフトウェア工学（SE）
  
  Volume: 2021-SE-209 Pages: 1-4
- Data Source
  KAKENHI-PROJECT-20K11747
[Journal Article] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020
- Author(s)
  有若新悟, 中川博之, 土屋達弘
- Journal Title
  
  信学技報
  
  Volume: IEICE-KBSE2020-25 Pages: 53-58
- Data Source
  KAKENHI-PROJECT-20K11747
[Journal Article] An Automated Goal Labeling Method Based on User Reviews2020
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)
  
  Volume: － Pages: 141-146
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Finding Minimum Locating Arrays Using a CSP Solver2020
- Author(s)
  Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 174 Issue: 1 Pages: 27-42
- DOI
  10.3233/fi-2020-1929
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-20H04167
[Journal Article] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020
- Author(s)
  有若新悟，中川博之，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報KBSE
  
  Volume: KBSE2020-25 Pages: 53-58
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Using simulated annealing for locating array construction2020
- Author(s)
  Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
- Journal Title
  
  Information and Software Technology
  
  Volume: 126 Pages: 106346-106346
- DOI
  10.1016/j.infsof.2020.106346
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-20H04167
[Journal Article] An Explainable Deep Learning Approach for Adaptation Space Reduction2020
- Author(s)
  Diallo Alhassan Boner、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
- Journal Title
  
  Proc. of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)
  
  Volume: － Pages: 230-231
- DOI
  10.1109/acsos-c51401.2020.00063
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Opinion Analysis and Organization of Mobile Application User Reviews2020
- Author(s)
  Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020)
  
  Volume: － Pages: 1-9
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Interactive Goal Model Construction Based on a Flow of Questions2020
- Author(s)
  NAKAGAWA Hiroyuki、SHIMADA Hironori、TSUCHIYA Tatsuhiro
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E103.D Issue: 6 Pages: 1309-1318
- DOI
  10.1587/transinf.2019KBP0015
- NAID
  130007850091
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2020-06-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-20H04167
[Journal Article] 遺伝的プログラミングを用いた施設レイアウト自動生成の検討2020
- Author(s)
  花田響四郎，中川博之，関本章，赤木宏匡，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
  
  Volume: 信学技報KBSE2019-46 Pages: 1-6
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Using simulated annealing for locating array construction2019
- Author(s)
  Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  arXiv
  
  Volume: 1909.13090 Pages: 1-23
- Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] 自己適応システムの動的検証法の高速化に関する研究2019
- Author(s)
  妙見侑祐，中川博之，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
  
  Volume: 信学技報KBSE2018-66 Pages: 75-80
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Towards Real-time Self-adaptation Using a Verification Mechanism2019
- Author(s)
  Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
  
  Volume: WiP Pages: 10-12
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] A Method of Refining Topic Models Based on Term and Document Frequencies.2019
- Author(s)
  東和幸，高橋仁，中川博之，土屋達弘
- Journal Title
  
  Computer Software
  
  Volume: 36 Issue: 4 Pages: 4_25-4_31
- DOI
  10.11309/jssst.36.4_25
- NAID
  130007772583
- ISSN
  0289-6540
- Year and Date
  2019-10-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
[Journal Article] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2019
- Author(s)
  Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
- Journal Title
  
  The Journal of Systems & Software
  
  Volume: 156 Pages: 300-311
- DOI
  10.1016/j.jss.2019.07.007
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
[Journal Article] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討2019
- Author(s)
  東和幸，中川博之，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
  
  Volume: 信学技報KBSE2019-27, SC2019-24 Pages: 25-30
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Finding minimum locating arrays using a CSP solver2019
- Author(s)
  Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  arXiv
  
  Volume: 1904.07480 Pages: 1-16
- Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Goal Model Construction Based on User Review Classification2019
- Author(s)
  Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019) (Poster session)
  
  Volume: - Pages: 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] A Framework for Updating Functionalities Based on the MAPE Loop Mechanism2018
- Author(s)
  Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
- Journal Title
  
  Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)
  
  Volume: - Pages: 38-47
- DOI
  10.1109/compsac.2018.00014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] A Requirements Coverage Visualization Approach Based on Document Similarities2018
- Author(s)
  松井勝利、中川博之、土屋達弘
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 1 Pages: 1_67-1_75
- DOI
  10.11309/jssst.35.1_67
- NAID
  130006555543
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
[Journal Article] Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討2018
- Author(s)
  東和幸，中川博之，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
  
  Volume: 信学技報KBSE2018-38 Pages: 59-64
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules2018
- Author(s)
  Shimada Hironori、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
- Journal Title
  
  Proc. of the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017)
  
  Volume: - Pages: 175-188
- DOI
  10.1007/978-981-10-7796-8_14
- ISBN
  9789811077951, 9789811077968
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
[Journal Article] MAPEループを用いたIoTデバイスの効率的な再利用法の検討2018
- Author(s)
  土田真也，中川博之，土屋達弘
- Journal Title
  
  ウィンターワークショップ2018・イン・宮島（WWS2018）
  
  Volume: - Pages: 74-75
- NAID
  170000176299
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] 組み込みシステムに対する安全な機能追加手法の考察2018
- Author(s)
  土田真也，中川博之，土屋達弘
- Journal Title
  
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
  
  Volume: 信学技報KBSE2018-18 Pages: 43-48
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] ゴールモデルのコンテキストに注目した効率的なモデル検査2018
- Author(s)
  本田大雅，小島英春，中川博之，土屋達弘
- Journal Title
  
  ソフトウェアエンジニアリングシンポジウム(SES2018)
  
  Volume: - Pages: 229-235
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] ユーザレビューに基づいたゴールモデル構築手法の検討2018
- Author(s)
  島田裕紀，中川博之，土屋達弘
- Journal Title
  
  ソフトウェア工学の基礎ワークショップ FOSE 2018
  
  Volume: - Pages: 119-128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms2017
- Author(s)
  Teru Ohashi, Tatsuhiro Tsuchiya
- Journal Title
  
  Proceedings of 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'17)
  
  Volume: - Pages: 78-85
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00098
[Journal Article] Data access control for energy-related services in smart public infrastructures2017
- Author(s)
  Kawada Yohei、Yano Kojin、Mizuno Yoshihiro、Tsuchiya Tatsuhiro、Fujisaki Yasumasa
- Journal Title
  
  omputers in Industry
  
  Volume: 88 Pages: 35-43
- DOI
  10.1016/j.compind.2017.03.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Finding Minimum Locating Arrays Using a SAT Solver2017
- Author(s)
  Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proceedings of 10th IEEE International Conference on Software Testing, Verification and Validation Workshops
  
  Volume: - Pages: 276-277
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00098
[Journal Article] Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry2017
- Author(s)
  Nakagawa Hiroyuki、Hasegawa Toshinobu、Matsui Shori、Tsuchiya Tatsuhiro
- Journal Title
  
  Proc. of the IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), (Industry track)
  
  Volume: - Pages: 77-80
- DOI
  10.1109/issrew.2017.19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
[Journal Article] ばねモデルに基づいた要求カバレッジ可視化ビューアの構築2017
- Author(s)
  松井勝利，中川博之，土屋達弘
- Journal Title
  
  ソフトウェア工学の基礎ワークショップ FOSE 2017
  
  Volume: - Pages: 43-52
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] Constrained locating arrays for combinatorial interaction testing2017
- Author(s)
  Hao Jin, Tatsuhiro Tsuchiya
- Journal Title
  
  arxiv
  
  Volume: - Pages: 1-12
- Data Source
  KAKENHI-PROJECT-17KT0043
[Journal Article] A Visualization of Specification Coverage Based on Document Similarity2017
- Author(s)
  Nakagawa Hiroyuki、Matsui Shori、Tsuchiya Tatsuhiro
- Journal Title
  
  Proc. of the 39th International Conference on Software Engineering (ICSE 2017)
  
  Volume: - Pages: 136-138
- DOI
  10.1109/icse-c.2017.117
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
[Journal Article] ソフトウェアテストと安全性2016
- Author(s)
  土屋達弘
- Journal Title
  
  信頼性学会誌「信頼性」
  
  Volume: 38 Pages: 80-85
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00098
[Journal Article] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints2012
- Author(s)
  Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno,
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume: E95-A Pages: 1501-1505
- NAID
  10031142535
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500046
[Journal Article] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints2012
- Author(s)
  Toru Namba, Tatsuhiro Tsuchiya, Tohru Kikuno
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E95.A Issue: 9 Pages: 1501-1505
- DOI
  10.1587/transfun.E95.A.1501
- NAID
  10031142535
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500046
[Journal Article] Andre Schiper, Verification of Consensus Algorithms Using Satisfiability Solving2011
- Author(s)
  Tatsuhiro Tsuchiya
- Journal Title
  
  Distributed Computing 23
  
  Pages: 341-358
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Verification of Consensus Algorithms Using Satisfiability Solving2011
- Author(s)
  Tatsuhiro Tsuchiya, Andre Schiper
- Journal Title
  
  Distributed Computing
  
  Volume: (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Constructing Test Sets for Pairwise Testing: A SAT-Based Approach2011
- Author(s)
  Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
- Journal Title
  
  Proc. of 2011 Second International Conference on Networking and Computing
  
  Volume: 1 Pages: 271-274
- DOI
  10.1109/icnc.2011.49
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500046
[Journal Article] Towards Automated Verification of Distributed Consensus Protocols2009
- Author(s)
  Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
- Journal Title
  
  Proceedings of 16th Asia-Pacific Software Enginee ring Conference (APSEC 2009)
  
  Pages: 499-506
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Towards Automated Verification of Distributed Consensus Protocols2009
- Author(s)
  Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
- Journal Title
  
  Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009)
  
  Pages: 499-506
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Andre Schiper, Using Bounded Model Checking to Verify Consensus Algorithms2008
- Author(s)
  Tatsuhiro Tsuchiya
- Journal Title
  
  Lecture Note on Computer Science 5218
  
  Pages: 466-480
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Tohru Kikuno, Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms2008
- Author(s)
  Takahiro Minamikawa, Tatsuhiro Tsuchiya
- Journal Title
  
  Proceedings of 11th International Symposium on Pacific Rim Dependable Computing
  
  Pages: 40-47
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Using Bounded Model Checking to Verify Consensus Algorithms2008
- Author(s)
  Tatsuhiro Tsuchiya, Andre Schiper
- Journal Title
  
  Lecture Note on Computer Science 5218
  
  Pages: 466-480
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms2008
- Author(s)
  Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
- Journal Title
  
  Proceedings of 11th International Symposium on Pacific Rim Dependable Computing
  
  Pages: 40-47
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700026
[Journal Article] ペアワイズテストーソフトウェアテストの効率化を求めて2007
- Author(s)
  土屋達弘, 菊野亨
- Journal Title
  
  電子情報通信学会論文誌D J90-D, 10
  
  Pages: 26632674-26632674
- NAID
  110007380575
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700033
[Journal Article] テスト実行コストを考慮したペアワイズテストセット生成法の提案,2007
- Author(s)
  紀本眞, 土屋達弘, 菊野亨
- Journal Title
  
  電子情報通信学会技術研究報告 107,255
  
  Pages: 4750-4750
- NAID
  110006452280
- Data Source
  KAKENHI-PROJECT-17700033
[Journal Article] Model Checking Active Database Rules under Various Rule Processing Strategies2006
- Author(s)
  Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
- Journal Title
  
  情報処理学会論文誌(トランザクション)データベース 47・SIG19
  
  Pages: 14-27
- NAID
  130000022278
- Data Source
  KAKENHI-PROJECT-17700033
[Journal Article] Describing and Verifying Integrated Services of Home Network Systems2005
- Author(s)
  P.Leelaprute, M.Nakamura, T.Tsuchiya, K.Matsumoto, T.Kikuno
- Journal Title
  
  Proc.10th Asia-Pacific Software Engineering Conference (APSEC2005) ISSN:1530-1362
  
  Pages: 549-558
- NAID
  120006693741
- Data Source
  KAKENHI-PROJECT-17700033
[Presentation] 大規模言語モデルの活用による非機能要件を加味したゴールモデルの構築2024
- Author(s)
  城間大幹，渡辺啓太郎，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] パラメータ調整に基づく対話的なプロセスモデル決定手法の実現にむけて2024
- Author(s)
  満田壮晴，中川博之，海谷治彦，竹内広宜，小形真平，土屋達弘
- Organizer
  電子情報通信学会ソフトウェアサイエンス(SIG-SS)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] ソフトウェア運用ログを用いた非推奨化へのグラフニューラルネットワークの適用2024
- Author(s)
  角田詩門，中川博之，斎藤忍, 土屋達弘
- Organizer
  情報処理学会　研究報告ソフトウェア工学（SE）
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] PlusCALを用いた耐故障コンセンサスアルゴリズムの記述と検証2024
- Author(s)
  小野蒼生, 土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Data Source
  KAKENHI-PROJECT-23K28060
[Presentation] 時系列データを用いたソフトウェア運用ログのパターン識別手法2023
- Author(s)
  角田詩門，斎藤忍，中川博之，土屋達弘
- Organizer
  情報処理学会　研究報告ソフトウェア工学（SE）
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] プロセスマイニングを用いたRPAの不具合要因検出手法の検討2023
- Author(s)
  新田壮史，中川博之, 土屋達弘
- Organizer
  情報処理学会/ソフトウェア工学研究会　ウィンターワークショップ2023
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討2023
- Author(s)
  内藤惇，中川博之, 土屋達弘
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] DeepSortを用いた中密度群衆からのグループ検出手法とその精度向上に関する考察2023
- Author(s)
  植野直次朗，中川博之，冨沢哲雄，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察2023
- Author(s)
  藤本昌也，中川博之, 土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Exploring the Potential of LLM for Review-driven Goal Model Generation2023
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  合同エージェントワークショップ＆シンポジウム(JAWS2023)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Hierarchical User Review Clustering Based on Multiple Subgoal Generation2022
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  The 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] XAIを用いた自己適応異常検知手法の実用化に向けて2022
- Author(s)
  角田詩門，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] RPAログを用いた処理フロー再構築手法の検討2022
- Author(s)
  新田壮史，中川博之, 小形真平，竹内広宜，海谷治彦，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] XAIを用いた自己適応異常検知手法の実用化に向けて2022
- Author(s)
  角田詩門，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案2022
- Author(s)
  土屋達弘
- Organizer
  電子情報通信学会[ディペンダブルコンピューティング研究会
- Data Source
  KAKENHI-PROJECT-18KT0098
[Presentation] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022
- Author(s)
  南垣内一輝，中川博之，海谷治彦，小形真平，竹内広宜，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] RPAにおけるログマイニング手法の比較2022
- Author(s)
  新田壮史，中川博之, 土屋達弘
- Organizer
  情報処理学会ソフトウェアエンジニアリングシンポジウム(SES2022) 併設ワークショップ「プロセスマイニングの基礎と応用」
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 確率的モデル検査ツールによるパロンドのパラドックスの分析2022
- Author(s)
  西口尚輝，中川博之, 土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 深層強化学習を用いた施設レイアウト設計システム2022
- Author(s)
  池田光，中川博之，赤木宏匡，関本章，土屋達弘
- Organizer
  日本経営工学会2022年秋季大会
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] SATソルバを利用した分散アルゴリズムの検証・テスト2022
- Author(s)
  土屋達弘
- Organizer
  2022年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-18KT0098
[Presentation] 文章の方向性に関する質問に基づく仕様書からのゴール抽出手法の提案2022
- Author(s)
  渡辺啓太郎，中川博之, 土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案2022
- Author(s)
  池田光，中川博之，関本章，赤木宏匡，土屋達弘
- Organizer
  日本経営工学会2022年春季大会
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法2022
- Author(s)
  南垣内一輝，中川博之，海谷治彦，小形真平，竹内広宜，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] エポックワードと名詞の重要度を用いたソフトウェア仕様書からのゴール文の抽出2022
- Author(s)
  渡辺啓太郎，中川博之，土屋達弘
- Organizer
  ソフトウェア工学の基礎ワークショップ FOSE 2022
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案2022
- Author(s)
  池田光，中川博之，関本章，赤木宏匡，土屋達弘
- Organizer
  日本経営工学会2022年春季大会
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Graph queries for analyzing the coverage of requirements by test cases2021
- Author(s)
  Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  The 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Adaptation Space Reduction Using an Explainable Framework2021
- Author(s)
  Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  The IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] RPAにおける不具合発生要因の分類2021
- Author(s)
  新田壮史，中川博之，土屋達弘
- Organizer
  ソフトウェア工学の基礎ワークショップ FOSE 2021
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021
- Author(s)
  新田壮史，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Preemptive Anomaly Prediction in IoT Components2021
- Author(s)
  Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  The Context-aware, Autonomous and Smart Architecture Workshop (CASA2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて2021
- Author(s)
  池田光，中川博之，関本章，赤木宏匡，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] 強化学習に基づいた施設レイアウト自動設計支援システムの実現に向けて2021
- Author(s)
  池田光，中川博之，関本章，赤木宏匡，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021
- Author(s)
  有若新悟, 中川博之, 土屋達弘
- Organizer
  ソフトウェア・シンポジウム2021
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について2021
- Author(s)
  有若新悟, 中川博之, 土屋達弘
- Organizer
  ソフトウェア・シンポジウム 2021
- Data Source
  KAKENHI-PROJECT-20K11747
[Presentation] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020
- Author(s)
  有若新悟，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020
- Author(s)
  Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
- Organizer
  The 41st IEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] 効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ2020
- Author(s)
  中川博之, 外山大夢，土屋達弘
- Organizer
  情報処理学会ソフトウェアエンジニアリングシンポジウム（SES2020）
- Invited
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] An Automated Goal Labeling Method Based on User Reviews2020
- Author(s)
  Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] An Explainable Deep Learning Approach for Adaptation Space Reduction2020
- Author(s)
  Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
- Organizer
  The IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020
- Author(s)
  Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
- Organizer
  The 41st IEEE Real-Time Systems Symposium (RTSS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04167
[Presentation] 深層学習を用いた鳥行動に基づく追い払いシステムの開発2019
- Author(s)
  小林一樹，下林史弥，寺田和憲，吉河武文，佐藤寛之，土屋博之，Atchariyachanvanich Kanokwan
- Organizer
  第33回人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] 焼きなまし法によるロケーティングアレイの生成2018
- Author(s)
  小西達也，小島英春，中川博之，土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会（DC）
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] MAPEループ構造に基づいた機能更新フレームワークに関する考察2018
- Author(s)
  土田真也，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] 時間制約を考慮可能な自己適応システム実装フレームワークの検討2018
- Author(s)
  津田宏軌，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] ブール論理に基づく，情報システムのテスト・検証のためのアプローチ2018
- Author(s)
  土屋達弘
- Organizer
  人工知能学会人工知能基本問題研究会 (SIG-FPAI)
- Invited
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] 質問フローに基づくゴールモデル構築手法の提案2018
- Author(s)
  島田裕紀，中川博之，土屋達弘
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] SATソルバを使用したロケーティングアレイの生成手法について2017
- Author(s)
  小西達也，小島英春，中川博之，土屋達弘
- Organizer
  電子情報通信学会システム数理と応用研究会(SIG-MSS)
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] 焼きなまし法によるロケーティングアレイの生成2017
- Author(s)
  小西達也，小島英春，中川博之，土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会(SIG-DC)
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] SMTを用いた制約付きロケーティングアレイの生成について2017
- Author(s)
  金浩, 崔銀惠, 土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会（DC）
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] SATソルバを使用したロケーティングアレイの生成手法について2017
- Author(s)
  小西達也，小島英春，中川博之，土屋達弘
- Organizer
  電子情報通信学会システム数理と応用研究会(SIG-MSS)
- Data Source
  KAKENHI-PROJECT-17KT0043
[Presentation] ZDDアルゴリズムを用いた高強度テストケース生成法2016
- Author(s)
  大橋輝，土屋達弘
- Organizer
  電子情報通信学会ディペンダビリティコンピューティング研究会
- Place of Presentation
  彦根勤労福祉会館(彦根市)
- Year and Date
  2016-10-27
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] 貪欲法による組み合わせテスト集合生成における高速化について2015
- Author(s)
  大橋　輝，土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  東大寺総合文化センター，奈良市
- Year and Date
  2015-10-13
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] 組み合わせテスト集合生成におけるテストケース候補数の最適化について2015
- Author(s)
  大橋　輝，土屋達弘
- Organizer
  第１４回情報科学技術フォーラム
- Place of Presentation
  愛媛大学，松山市
- Year and Date
  2015-09-15
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理2015
- Author(s)
  土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  機械振興会館，東京
- Year and Date
  2015-06-16
- Data Source
  KAKENHI-PROJECT-15K00098
[Presentation] 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について2014
- Author(s)
  土屋達弘，カッシアジソウザカルヴァーリョ
- Organizer
  情報処理学会ソフトウェア工学研究会ウィンターワークショップ2014
- Place of Presentation
  大洗
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] カッシアジソウザカルヴァーリョ, 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について2014
- Author(s)
  土屋達弘
- Organizer
  報処理学会ソフトウェア工学研究会ウィンターワークショップ
- Place of Presentation
  大洗
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] インタラクションテストにおける故障ペアを特定可能なテストケース集合生成方法の提案2014
- Author(s)
  永元雄宙, 小島英春, 土屋達弘
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  愛知
- Year and Date
  2014-01-31
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] A value weighting method for pair-wise testing2013
- Author(s)
  Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
- Organizer
  20th Asia-Pacific Software Engineering Conference (APSEC 2013)
- Place of Presentation
  バンコク
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] パラメータ値に対する重み付けを考慮したテストケース集合の拡張2013
- Author(s)
  藤本哲, 小島英春, 土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  東京
- Year and Date
  2013-04-26
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] A Value Weighting Method for Pair-Wise Testing2013
- Author(s)
  Satoshi Fujimoto, Hideharu Kojima and Tatsuhiro Tsuchiya
- Organizer
  20th Asia-Pacific Software Engineering Conference (APSEC 2013)
- Place of Presentation
  bangkok
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] パラメータ値に関する制約を考慮したランダムテストの不具合検出率について2013
- Author(s)
  重岡大樹, 小島英春, 土屋達弘
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  石垣市
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] パラメータ値に関する制約を考慮したランダムテストの不具合検出率について2013
- Author(s)
  重岡大樹, 小島英春, 土屋達弘
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  石垣
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] SATソルバを用いたペアワイズテストの作成2012
- Author(s)
  難波亨，土屋達弘，菊野亨
- Organizer
  情報通信学会ソフトウェア工学研究会ウインターワークショップ2012
- Place of Presentation
  琵琶湖コンファレンスセンター
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] パラメータ値に関する制約を考慮したランダムテストのためのテストケース生成手法2012
- Author(s)
  田中真吾, 小島英春, 土屋達弘
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] Constructing Test Sets for Pairwise Testing : A SAT-Based Approach2011
- Author(s)
  Toru Namba, Tatsuhiro Tsuchiya, Tohru Kikuno
- Organizer
  2011 Second International Conference on Networking and Computing
- Place of Presentation
  大阪
- Data Source
  KAKENHI-PROJECT-23500046
[Presentation] Model Checking of Unbounded Rounds of Asynchronous Consensus Protocols2010
- Author(s)
  Tatsuhiro Tsuchiya, Andre chiper
- Organizer
  Workshop on Dependability of Network Software Applications 2010
- Place of Presentation
  広島大学(広島県)
- Year and Date
  2010-11-18
- Data Source
  KAKENHI-PROJECT-20700026
[Presentation] Safety Verification of Asynchronous Consensus Algorithms Using Model Checking2009
- Author(s)
  Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
- Organizer
  2nd International Workshop on Reliability, Availability, and Security (WRAS)
- Place of Presentation
  広島大学 (広島県)
- Year and Date
  2009-12-11
- Data Source
  KAKENHI-PROJECT-20700026
[Presentation] モデル検査を用いたコンセンサスアルゴリズムの合意性検証2009
- Author(s)
  野口達也, 土屋達弘, 菊野亨
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  機械振興会館(東京)
- Year and Date
  2009-10-13
- Data Source
  KAKENHI-PROJECT-20700026
[Presentation] Safety Verification of Asynchronous Consensus Algorithms Using Model Checking2009
- Author(s)
  Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
- Organizer
  2nd International Workshop on Reliability, Availability, and Security (WRAS)
- Place of Presentation
  広島大学(広島県)
- Year and Date
  2009-12-11
- Data Source
  KAKENHI-PROJECT-20700026
[Presentation] 耐故障分散アルゴリズムに対するPROMELAモデルの生成2008
- Author(s)
  南川恭洋, 土屋達弘, 菊野亨
- Organizer
  電子情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  東京
- Year and Date
  2008-04-23
- Data Source
  KAKENHI-PROJECT-20700026

1. Nakagawa Hiroyuki (40508834)

# of Collaborated Projects: 3 results

# of Collaborated Products: 83 results
2. 冨沢哲雄 (60549707)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
3. KAKUDA Yoshiaki (40233671)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. INOUE Shinji (50264932)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 小林一樹 (00434895)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
6. 小形真平 (10589279)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
7. 鵜林尚靖 (80372762)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 林原尚浩 (20397227)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 緒方和博 (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TSUCHIYA TATSUHIRO 土屋 達弘

Tsuchiya Tatsuhiro 土屋 達弘

TSUCHIYA Tatsuhiro 土屋 達弘

土屋 達弘 ツチヤ タツヒロ

Research Projects

Research Products

Co-Researchers

Development of model checking technology for dependable distributed systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of testing methodology for software with a graph database backendPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Study on Self-adaptation Mechanism Under Time Constraints

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Using formal verification to establish the trustability of smart contracts and their platformsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Super Active CPS for Enhancing Adaptability of Artifacts

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Practical combinatorial interaction testing with fault locating capabilityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Effective software testing using all-pairs testingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Model Checking of Fault-Tolerant Algorithms for the Dependability of Distributed SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

高信頼ソフトウェアを実現する強力なテストケース生成手法の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究Principal Investigator

TSUCHIYA TATSUHIRO 土屋達弘

Tsuchiya Tatsuhiro 土屋達弘

TSUCHIYA Tatsuhiro 土屋達弘

土屋達弘ツチヤタツヒロ