• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Details
Related links
Search

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID：200901017507777404   Update date: Apr. 08, 2025

Tsuchiya Tatsuhiro

ツチヤ タツヒロ | Tsuchiya Tatsuhiro
Clips
Affiliation and department：
Osaka University Graduate School of Information Science and Technology

About Osaka University Graduate School of Information Science and Technology


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  (27)：
  • 2025 - 2028 A Study on Self-transformation Mechanism for Handling Unexpected Changes
  • 2023 - 2027 Development of model checking technology for dependable distributed systems
  • 2020 - 2023 グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
  • 2018 - 2022 Using formal verification to establish the trustability of smart contracts and their platforms
  • 2020 - 基盤研究(B)不確かな環境下においても時間制約を考慮可能な自己適応メカニズムとその統合開発環境
Show all
Papers (159)：
  • Hiroyuki Nakagawa, Shimon Sumita, Ryuichi Iida, Tatsuhiro Tsuchiya. An XAI-based meta-parameter tuning for time-series forecasting. Annals of Mathematics and Artificial Intelligence. 2025
  • Shunsuke Furuta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Facility Layout Generation Using Hierarchical Reinforcement Learning. Proceedings of the 17th International Conference on Agents and Artificial Intelligence. 2025. 150-157
  • Ce Shi, Tatsuhiro Tsuchiya, Chengmin Wang. Separable detecting arrays. AIMS MATHEMATICS. 2024. 9. 12. 34806-34826
  • Vincent Lew Kok Seng, Au Thien Wan, S. H. Shah Newaz, Tatsuhiro Tsuchiya. Blockchain-Based Key State Management for IoT Devices in Post-Quantum Era. 2024 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia). 2024. 1-4
  • Chihiro Kado, Tatsuhiro Tsuchiya. Initial Attempt at Automated Vulnerability Fixing of Obfuscated Smart Contracts Using a Large Language Model. 2024 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia). 2024. 1-3
ｍore...
MISC (258)：
  • 松井香樹, 土屋達弘. 相互依存ネットワークにおけるシャープレイ値を応用した強化ノード選択手法の提案. 信学技報. 2024. 124. 149 (DC2024-36). 112-117
  • 浅地泰斗, 土屋達弘. ネットワーク信頼度計算プログラムに対するメタモルフィックテスト. 信学技報. 2024. 123. 451. 59-64
  • 城間大幹, 渡辺啓太郎, 中川博之, 土屋達弘. 大規模言語モデルの活用による非機能要件を加味したゴールモデル構築. 電子情報通信学会技術研究報告(Web). 2024. 123. 352(KBSE2023 51-64)
  • 藤本昌也, 中川博之, 土屋達弘. ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察. 電子情報通信学会技術研究報告(Web). 2023. 122. 345(KBSE2022 43-53)
  • 浅地泰斗, 土屋達弘. 信頼度計算プログラムに対するメタモルフィックテスティングの適用. 電子情報通信学会技術研究報告(Web). 2023. 122. 393(DC2022 82-92)
ｍore...
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  (8)：
  • ディペンダブルシステム研究の過去・現在・未来
    (機能集積情報システム研究会(FIIS) 2024)
  • ディベンダブルコンピューティング,この20年とこれからについて
    (ディペンダブルコンピューティング研究会 2023)
  • 制約付きディテクティングアレイ;組合せテストにおける故障特定のための数学的構造
    (第22回情報科学技術フォーラム(FIT2023) 2023)
  • Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing
    (ソフトウェアエンジニアリングシンポジウム2023 2023)
  • ソフトウェアの検証・テストにおける理論と実践
    (第72回 SEA(ソフトウェア技術者協会)関西プロセス分科会 2020)
ｍore...
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)：
  • 2015/10/01 - 現在 Osaka University Center for Mathematical Modeling and Data Science
  • 2012/04/01 - 現在 Osaka University Graduate School of Information Science and Technology Department of Information Systems Engineering Professor
  • 2007/04/01 - 2012/03/31 Osaka University Graduate School of Information Science and Technology Department of Information Systems Engineering Associate Professor
  • 2002/04/01 - 2007/03/31 Osaka University Graduate School of Information Science and Technology Department of Information Systems Engineering Associate Professor
  • 2002/04 - 2007/03 Osaka University Graduate School of Information Science and Technology Associate Professor
Show all
Committee career (15)：
  • 2024/11 - 2024/11 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2024) Local arrangement chair
  • 2024/05 - 2024/05 13th International Workshop on Combinatorial Testing ( IWCT 2024) Program committee co-chair
  • 2022/06 - 2024/05 電子情報通信学会ディペンダブルコンピューティング研究会 研究専門委員会委員長
  • 2020/06 - 2022/06 電子情報通信学会ディペンダブルコンピューティング研究会 副委員長
  • 2021 - 2021/09 40th International Symposium on Reliable Distributed Systems (SRDS 2021) Program committee member
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
Show all
Association Membership(s) (5)：
ACM ,  IEEE ,  IEICE ,  Japan Society for Software Science and Technology ,  Information Processing Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM