Rchr
J-GLOBAL ID:200901017507777404
Update date: Feb. 11, 2024
Tsuchiya Tatsuhiro
ツチヤ タツヒロ | Tsuchiya Tatsuhiro
Affiliation and department:
Job title:
Professor
Homepage URL (1):
https://tatsuhirotsuchiya.github.io/
Research field (3):
Computer systems
, Software
, Information theory
Research keywords (4):
dependable systems
, ソフトウェアテスト
, 分散アルゴリズム
, 自動検証
Research theme for competitive and other funds (22):
- 2020 - 2023 グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
- 2018 - 2022 Using formal verification to establish the trustability of smart contracts and their platforms
- 2020 - 基盤研究(B)不確かな環境下においても時間制約を考慮可能な自己適応メカニズムとその統合開発環境
- 2020 - 基盤研究(B)人工物システムの適応性を向上させる超能動型CPSに関する研究
- 2019 - 基盤研究(B)人工物システムの適応性を向上させる超能動型CPSに関する研究
- 2018 - 基盤研究(B)人工物システムの適応性を向上させる超能動型CPSに関する研究
- 2017 - 不具合特定能力を持つ実用的な組み合わせインタラクションテストの実現
- 2017 - 基盤研究(B)人工物システムの適応性を向上させる超能動型CPSに関する研究
- 2016 - 不具合特定能力を持つ実用的な組み合わせインタラクションテストの実現
- 2015 - 不具合特定能力を持つ実用的な組み合わせインタラクションテストの実現
- 2013 - 全ペアテストによる効率的なソフトウェアテストの実現
- 2012 - 全ペアテストによる効率的なソフトウェアテストの実現
- 2010 - ディペンダブル分散システム実現のための耐故障アルゴリズムのモデル検査
- 2009 - ディペンダブル分散システム実現のための耐故障アルゴリズムのモデル検査
- 2008 - ディペンダブル分散システム実現のための耐故障アルゴリズムのモデル検査
- 2005 - 2007 高信頼ソフトウェアを実現する強力なテストケース生成手法の開発
- 2006 - 2006 分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチ
- 2002 - 2002 設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
- 2001 - 2001 設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
- 2000 - 2001 悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究
- 1998 - 1999 分散システムにおける相互排除機構の高信頼化に関する研究
- 1997 - 1998 Modeling and Resolution of Feature Interactions in Multimedia Networks
Show all
Papers (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
-
Soshi Nitta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Defect classification in robotic process automation. 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
more...
MISC (258):
-
Kyozo Hida, Tatsuhiro Tsuchiya. Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers. CoRR. 2022. abs/2211.05659
-
土屋達弘. 逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出. 信学技法 SS2020-40. 2021. 120. 407. 73-77
-
Tatsuhiro Tsuchiya, Satoshi Otsuka. Model Checking-Based Verification of Token-Based Traffic Control for Roundabouts. IEICE Technical Report, ITS2020-43. 2021. 120. 428. 41-44
-
南出大智, 土屋達弘. 相互依存システムにおける耐性強化問題の高速化. 信学技法 DC2020-79. 2021. 120. 358. 59-63
-
有若新悟, 中川博之, 土屋達弘. 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討. 信学技法 KBSE2020-25. 2020. 120. 231. 53-58
more...
Books (3):
-
21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015
IEEE CSP 2015 ISBN:9781467393768
-
教養のコンピュータアルゴリズム
共立出版 2009 ISBN:9784320122444
-
ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
共立出版 2005 ISBN:432012152X
Lectures and oral presentations (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)
more...
Works (1):
-
CIT-BACH
Tstsuhiro Tsuchiya 2014 - 現在
Education (3):
- - 1996 Osaka University Graduate School of Engineering Science
- - 1995 Osaka University Graduate School of Engineering Science
- 1990 - 1993 Osaka University
Professional career (2):
- (BLANK) (Osaka University)
- (BLANK) (Osaka University)
Work history (6):
Committee career (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
- 2021 - 2021/04 10th International Workshop on Combinatorial Testing ( IWCT 2021) Program committee member
- 2021/03 - 2021/03 情報処理学会 情報処理学会第83回全国大会副実行委員長
- 2020 - 2020/12 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020) Program committee member
- 2020 - 2020/09 39th International Symposium on Reliable Distributed Systems (SRDS 2020) Program committee member
- 2020 - 2020/08 Second IEEE International Conference On Artificial Intelligence Testing (AiTest 2020) Program committee member
- 2019/08 - 2019/08 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
Show all
Awards (12):
- 2021/06 - 電子情報通信学会 情報・システムソサイエティ ISS功労賞 英文論文誌編集委員としての貢献
- 2018/12 - 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) best paper Deriving Fault Locating Test Cases from Constrained Covering Arrays
- 2018/04 - 7th International Workshop on Combinatorial Testing (IWCT 2018) IWCT 2018 Best foundation paper award A Satisfiability-Based Approach to Generation of Constrained Locating Arrays
- 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
- 2011/12 - 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011) PRDC 2011 best paper Gossiping with Network Coding
- 2009/11 - 電子情報通信学会 情報・システムソサイエティ 電子情報通信学会 情報・システムソサイエティ 査読功労賞
- 2008/07 - IEEE Reliability Society & IEEE Systems, Man and Cybernetics Society 2nd International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008) Best Paper Award
- 2008/03 - 大阪大学大学院情報科学研究科 嵩賞
- 2008/02 - IEEE 関西支部 IEEE 関西支部Gold賞
- 1997 - 国際会議ICA3PP最優秀論文賞
- 1995 - 電気関係学会関西支部連合大会奨励賞
Show all
Association Membership(s) (5):
ACM
, IEEE
, IEICE
, Japan Society for Software Science and Technology
, Information Processing Society of Japan
Return to Previous Page