研究者
J-GLOBAL ID:200901017507777404   更新日: 2024年02月11日

土屋 達弘

ツチヤ タツヒロ | Tsuchiya Tatsuhiro
所属機関・部署:
職名: 教授
ホームページURL (1件): https://tatsuhirotsuchiya.github.io/
研究分野 (3件): 計算機システム ,  ソフトウェア ,  情報学基礎論
研究キーワード (4件): ディペンダブルシステム ,  ソフトウェアテスト ,  分散アルゴリズム ,  自動検証
競争的資金等の研究課題 (22件):
  • 2020 - 2023 グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
  • 2018 - 2022 形式検証によるスマートコントラクトとその実行基盤に対するトラスタビリティの実現
  • 2020 - 基盤研究(B)不確かな環境下においても時間制約を考慮可能な自己適応メカニズムとその統合開発環境
  • 2020 - 基盤研究(B)人工物システムの適応性を向上させる超能動型CPSに関する研究
  • 2019 - 基盤研究(B)人工物システムの適応性を向上させる超能動型CPSに関する研究
全件表示
論文 (138件):
  • Yuya Noguchi, Tatsuhiro Tsuchiya. Model Checking of Intersection Traffic Control Protocols. Proc. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS). 2023. 99-107
  • Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya. Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing. IEEE International Conference on Software Testing, Verification and Validation(ICSTW). 2023. 190-196
  • 新田壮史, 中川博之, 土屋達弘. RPAにおける不具合要因の分類と検出手法の検証. 日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』. 2023. 40. 1. 11-23
  • Hao Jin, Ce Shi, Tatsuhiro Tsuchiya. Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing. Information and Software Technology. 2023. 153
  • Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Goal model structuring based on semantic correlation of user reviews. Intelligent Decision Technologies. 2022. 16. 4. 737-748
もっと見る
MISC (258件):
もっと見る
書籍 (3件):
  • 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015
    IEEE CSP 2015 ISBN:9781467393768
  • 教養のコンピュータアルゴリズム
    共立出版 2009 ISBN:9784320122444
  • ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
    共立出版 2005 ISBN:432012152X
講演・口頭発表等 (6件):
  • 制約付きディテクティングアレイ;組合せテストにおける故障特定のための数学的構造
    (第22回情報科学技術フォーラム(FIT2023) 2023)
  • Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing
    (ソフトウェアエンジニアリングシンポジウム2023 2023)
  • ソフトウェアの検証・テストにおける理論と実践
    (第72回 SEA(ソフトウェア技術者協会)関西プロセス分科会 2020)
  • Using Boolean functions to address dependability issues of systems and software
    (2019 International Seminar on Theoretical Computer Science 2019)
  • How a classical computer science subject can help systems assurance
    (The 17th International Workshop on Assurance in Distributed Systems and Networks 2018)
もっと見る
Works (1件):
  • CIT-BACH
    土屋達弘 2014 - 現在
学歴 (3件):
  • - 1996 大阪大学 大学院基礎工学研究科 物理系専攻
  • - 1995 大阪大学 大学院基礎工学研究科 物理系専攻
  • 1990 - 1993 大阪大学 基礎工学部 情報工学科
学位 (2件):
  • 修士(工学) (大阪大学)
  • 博士(工学) (大阪大学)
経歴 (6件):
  • 2015/10/01 - 現在 大阪大学 数理・データ科学教育研究センター 教授
  • 2012/04/01 - 現在 大阪大学 情報科学研究科 情報システム工学専攻 教授
  • 2007/04/01 - 2012/03/31 大阪大学 情報科学研究科 情報システム工学専攻 准教授
  • 2002/04/01 - 2007/03/31 大阪大学 情報科学研究科 情報システム工学専攻 助教授
  • 2002/04 - 2007/03 大阪大学 情報科学研究科 助教授
全件表示
委員歴 (13件):
  • 2022/06 - 現在 電子情報通信学会ディペンダブルコンピューティング研究会 研究専門委員会委員長
  • 2020/06 - 2022/06 電子情報通信学会ディペンダブルコンピューティング研究会 副委員長
  • 2021 - 2021/09 40th International Symposium on Reliable Distributed Systems (SRDS 2021) Program committee member
  • 2021 - 2021/08 Third IEEE International Conference On Artificial Intelligence Testing (AiTest 2021) Program committee member
  • 2021 - 2021/04 IEEE International Conference on Software Testing, Verification and Validation (ICST 2021) Testing Tools Track Program Committee member
全件表示
受賞 (12件):
  • 2021/06 - 電子情報通信学会 情報・システムソサイエティ ISS功労賞 英文論文誌編集委員としての貢献
  • 2018/12 - 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) best paper
  • 2018/04 - 7th International Workshop on Combinatorial Testing (IWCT 2018) IWCT 2018 Best foundation paper award
  • 2017/06 - 電子情報通信学会 情報・システムソサイエティ 電子情報通信学会 情報・システムソサイエティ 査読功労賞
  • 2017/01 - 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) PRDC 2017 best paper Generating high strength test suites for combinatorial interaction testing using zdd-based graph algorithms
全件表示
所属学会 (5件):
ACM ,  IEEE ,  電子情報通信学会 ,  日本ソフトウェア科学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る