土屋達弘 (Tatsuhiro Tsuchiya) - マイポータル

基本情報

所属: 大阪大学大学院情報科学研究科教授

学位: 修士(工学)(1995年3月大阪大学)
博士(工学)(1998年9月大阪大学)

通称等の別名: 土屋達弘
J-GLOBAL ID: 200901017507777404
researchmap会員ID: 1000202386

外部リンク: https://tatsuhirotsuchiya.github.io/

研究キーワード

研究分野

経歴

2015年10月 - 現在

大阪大学数理・データ科学教育研究センター, 教授
2012年4月 - 現在

大阪大学情報科学研究科情報システム工学専攻, 教授
2007年4月 - 2012年3月

大阪大学情報科学研究科情報システム工学専攻, 准教授
2002年4月 - 2007年3月

大阪大学情報科学研究科情報システム工学専攻, 助教授
2002年4月 - 2007年3月

大阪大学, 情報科学研究科, 助教授
2000年5月 - 2002年3月

大阪大学基礎工学研究科, 講師

学歴

委員歴

2024年11月 - 2024年11月

29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2024), Local arrangement chair
2024年5月 - 2024年5月

13th International Workshop on Combinatorial Testing ( IWCT 2024), Program committee co-chair
2022年6月 - 2024年5月

電子情報通信学会ディペンダブルコンピューティング研究会, 研究専門委員会委員長
2020年6月 - 2022年6月

電子情報通信学会ディペンダブルコンピューティング研究会, 副委員長
2021年 - 2021年9月

40th International Symposium on Reliable Distributed Systems (SRDS 2021), Program committee member
2021年 - 2021年8月

Third IEEE International Conference On Artificial Intelligence Testing (AiTest 2021), Program committee member
2021年 - 2021年4月

IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), Testing Tools Track Program Committee member
2021年 - 2021年4月

10th International Workshop on Combinatorial Testing ( IWCT 2021), Program committee member
2021年3月 - 2021年3月

情報処理学会, 情報処理学会第83回全国大会副実行委員長
2020年 - 2020年12月

25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Program committee member
2020年 - 2020年9月

39th International Symposium on Reliable Distributed Systems (SRDS 2020), Program committee member
2020年 - 2020年8月

Second IEEE International Conference On Artificial Intelligence Testing (AiTest 2020), Program committee member
2019年8月 - 2019年8月

The 17th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2019), Program Chair
2019年 - 2019年

39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019), Program committee member
2019年 - 2019年

24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), Publicity chair

受賞

2021年6月

ISS功労賞, 英文論文誌編集委員としての貢献, 電子情報通信学会情報・システムソサイエティ
2018年12月

23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) best paper

Hao Jin, Tatsuhiro Tsuchiya
2018年4月

IWCT 2018 Best foundation paper award, 7th International Workshop on Combinatorial Testing (IWCT 2018)

Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
2017年6月

電子情報通信学会情報・システムソサイエティ査読功労賞, 電子情報通信学会情報・システムソサイエティ

土屋達弘
2017年1月

PRDC 2017 best paper, Generating high strength test suites for combinatorial interaction testing using zdd-based graph algorithms, 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)

Teru Ohashi, Tatsuhiro Tsuchiya
2011年12月

PRDC 2011 best paper, Gossiping with Network Coding, 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011)

Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
2009年11月

電子情報通信学会情報・システムソサイエティ査読功労賞, 電子情報通信学会情報・システムソサイエティ

土屋達弘
2008年7月

2nd International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008) Best Paper Award, IEEE Reliability Society & IEEE Systems, Man and Cybernetics Society

Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2008年3月

嵩賞, 大阪大学大学院情報科学研究科

土屋達弘
2008年2月

IEEE 関西支部Gold賞, IEEE 関西支部

土屋達弘
1997年

国際会議ICA3PP最優秀論文賞

土屋達弘
1995年

電気関係学会関西支部連合大会奨励賞

土屋達弘

論文

164

Graph-Centric Approaches for Coverage Optimization in Software Requirement Testing

Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya

2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC) 1270-1280 2025年7月8日査読有り
Retrieval-Augmented Generation for Software Requirement-Based Test Case Generation

Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya

25th International Conference on Software Quality, Reliability and Security ( QRS) 2025年7月査読有り最終著者
An XAI-based meta-parameter tuning for time-series forecasting

Hiroyuki Nakagawa, Shimon Sumita, Ryuichi Iida, Tatsuhiro Tsuchiya

Annals of Mathematics and Artificial Intelligence 2025年3月11日査読有り最終著者
Facility Layout Generation Using Hierarchical Reinforcement Learning

Shunsuke Furuta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the 17th International Conference on Agents and Artificial Intelligence 150-157 2025年2月査読有り最終著者
Exhaustive Model Identification on Process Mining.

Takeharu Mitsuda, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, Sinpei Ogata, Tatsuhiro Tsuchiya

ENASE 449-456 2025年査読有り最終著者
A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework.

Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

COMPSAC 2154-2163 2025年査読有り最終著者
Separable detecting arrays

Ce Shi, Tatsuhiro Tsuchiya, Chengmin Wang

AIMS MATHEMATICS 9(12) 34806-34826 2024年12月査読有り
Blockchain-Based Key State Management for IoT Devices in Post-Quantum Era

Vincent Lew Kok Seng, Au Thien Wan, S. H. Shah Newaz, Tatsuhiro Tsuchiya

2024 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia) 1-4 2024年11月3日査読有り最終著者
Initial Attempt at Automated Vulnerability Fixing of Obfuscated Smart Contracts Using a Large Language Model

Chihiro Kado, Tatsuhiro Tsuchiya

2024 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia) 1-3 2024年11月3日査読有り最終著者
Sequential programming for distributed algorithm verification.

Tatsuhiro Tsuchiya

29th IEEE Pacific Rim International Symposium on Dependable Computing 224-226 2024年11月査読有り筆頭著者最終著者責任著者
Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis.

Koki Matsui, Tatsuhiro Tsuchiya

29th IEEE Pacific Rim International Symposium on Dependable Computing 197-198 2024年11月査読有り最終著者
Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages.

Aoi Ono, Tatsuhiro Tsuchiya

29th IEEE Pacific Rim International Symposium on Dependable Computing 195-196 2024年11月査読有り最終著者
Review-Based Bot Smell Classification in Robotic Process Automation.

Hiroyuki Nakagawa, Soshi Nitta, Tatsuhiro Tsuchiya

KES 381-390 2024年9月査読有り
Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty.

Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

COMPSAC 2165-2170 2024年7月査読有り
Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation.

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

COMPSAC 1376-1381 2024年7月査読有り
Use of binary decision diagrams to handle constraints in combinatorial interaction testing.

Tatsuhiro Tsuchiya

IEEE International Conference on Software Testing, Verification and Validation(ICSTW) 211-214 2024年5月筆頭著者最終著者
Two-Phase Approach to Finding the Most Critical Entities in Interdependent Systems

Daichi Minamide, Tatsuhiro Tsuchiya

IEICE Transactions on Fundamentals E107-A(5) 786-792 2024年5月査読有り最終著者責任著者
Harnessing LLM Conversations for Goal Model Generation from User Reviews.

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

ICAART (3) 385-392 2024年2月査読有り
Towards Log-based Execution Status Estimation Using Graph Neural Networks.

Shimon Sumita, Hiroyuki Nakagawa, Shinobu Saito, Tatsuhiro Tsuchiya

APSEC 492-496 2024年
強化学習と階層化意思決定法を用いた施設レイアウト自動設計支援システムの提案

池田光, 中川博之, 赤木宏匡, 関本章, 土屋達弘

日本経営工学会論文誌 74(3) 142-152 2023年10月査読有り

もっとみる

MISC

258

相互依存ネットワークにおけるシャープレイ値を応用した強化ノード選択手法の提案

松井香樹, 土屋達弘

信学技報 124(149 (DC2024-36)) 112-117 2024年8月最終著者
ネットワーク信頼度計算プログラムに対するメタモルフィックテスト

浅地泰斗, 土屋達弘

信学技報 123(451) 59-64 2024年3月最終著者
大規模言語モデルの活用による非機能要件を加味したゴールモデル構築

城間大幹, 渡辺啓太郎, 中川博之, 土屋達弘

電子情報通信学会技術研究報告(Web) 123(352(KBSE2023 51-64)) 2024年
ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察

藤本昌也, 中川博之, 土屋達弘

電子情報通信学会技術研究報告(Web) 122(345(KBSE2022 43-53)) 2023年
信頼度計算プログラムに対するメタモルフィックテスティングの適用

浅地泰斗, 土屋達弘

電子情報通信学会技術研究報告(Web) 122(393(DC2022 82-92)) 2023年
実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討

内藤惇, 中川博之, 土屋達弘

電子情報通信学会技術研究報告(Web) 122(423(LOIS2022 44-64)) 2023年
協力ゲームに基づく相互依存ネットワークの構成要素に対する脆弱性評価

CAI Wenxi, 土屋達弘

電子情報通信学会技術研究報告(Web) 122(451(CPSY2022 34-55)) 2023年
DeepSortを用いた中密度群衆からのグループ検出手法とその精度向上に関する考察

植野直次朗, 中川博之, 冨沢哲雄, 土屋達弘

電子情報通信学会技術研究報告(Web) 123(38(KBSE2023 1-11)) 2023年
時系列データを用いたソフトウェア運用ログのパターン識別手法

角田詩門, 斎藤忍, 中川博之, 土屋達弘

情報処理学会研究報告(Web) 2023(SE-214) 2023年
相互排除アルゴリズムを対象とした形式検証技術の適用

西口尚輝, 土屋達弘

電子情報通信学会技術研究報告(Web) 123(206(SS2023 21-30)) 2023年
Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers

Kyozo Hida, Tatsuhiro Tsuchiya

CoRR abs/2211.05659 2022年11月10日
逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出

土屋達弘

信学技法 SS2020-40 120(407) 73-77 2021年3月筆頭著者最終著者責任著者
モデル検査を用いたラウンドアバウトにおける交通量制御方式の検証

土屋達弘, 大塚敏史

信学技法 ITS2020-43 120(428) 41-44 2021年3月筆頭著者責任著者
相互依存システムにおける耐性強化問題の高速化

南出大智, 土屋達弘

信学技法 DC2020-79 120(358) 59-63 2021年2月最終著者責任著者
要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討

有若新悟, 中川博之, 土屋達弘

信学技法 KBSE2020-25 120(231) 53-58 2020年11月最終著者責任著者
不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法

金浩, 土屋達弘

信学技法 (DC2020-24) 13-18 2020年10月最終著者
SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案

南出大智, 土屋達弘

信学技法 (DC2020-14) 87-92 2020年7月最終著者責任著者
遺伝的プログラミングを用いた施設レイアウト自動生成の検討

花田響四郎, 中川博之, 関本章, 赤木宏匡, 土屋達弘

2020年3月
属性ベース暗号を用いたスマートコントラクトのアクセス制御

佐伯美緒, 小島英春, 矢内直人, 土屋達弘

情報科学技術フォーラム講演論文集 19th 2020年
文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討

東和幸, 中川博之, 土屋達弘

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

もっとみる

書籍等出版物

21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015

Guojun Wang, Tatsuhiro Tsuchiya, Dong Xiang (担当:共編者(共編著者))

IEEE CSP 2015年11月 (ISBN: 9781467393768)
教養のコンピュータアルゴリズム

土屋, 達弘

共立出版 2009年11月 (ISBN: 9784320122444)
ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術

米田, 友洋, 梶原, 誠司, 土屋, 達弘 (担当:共著)

共立出版 2005年11月 (ISBN: 432012152X)

講演・口頭発表等

テスト・検証・信頼性評価とSAT/BDD

土屋達弘

日本人工知能学会全国大会・オーガナイズドセッション：AIと制約プログラミング 2025年5月30日招待有り
ディペンダブルシステム研究の過去・現在・未来

土屋達弘

機能集積情報システム研究会（FIIS） 2024年10月4日招待有り
ディベンダブルコンピューティング，この20年とこれからについて

土屋達弘

ディペンダブルコンピューティング研究会 2023年12月8日招待有り
制約付きディテクティングアレイ;組合せテストにおける故障特定のための数学的構造

土屋達弘

第22回情報科学技術フォーラム（FIT2023） 2023年9月6日招待有り
Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing

土屋達弘

ソフトウェアエンジニアリングシンポジウム2023 2023年8月24日招待有り
ソフトウェアの検証・テストにおける理論と実践

土屋達弘

第72回 SEA(ソフトウェア技術者協会)関西プロセス分科会 2020年8月29日招待有り
Using Boolean functions to address dependability issues of systems and software

2019 International Seminar on Theoretical Computer Science 2019年7月25日 School of Information Science and Technology, Yunnan Normal University 招待有り
How a classical computer science subject can help systems assurance

Tatsuhiro Tsuchiya

The 17th International Workshop on Assurance in Distributed Systems and Networks 2018年10月8日招待有り
On transfer of distributed computing theory to cloud computing practice

Tatsuhiro Tsuchiya

2013 international conference on information science and cloud computing (ISCC 2013) 2013年12月7日招待有り