基本情報

写真b

土屋 達弘

TSUCHIYA Tatsuhiro


キーワード

計算機科学

メールアドレス

メールアドレス

電話番号

06-6879-4535

FAX番号

06-6879-4539

URL

http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/

性別

男性

所属組織 【 表示 / 非表示

  • 2000年05月01日 ~ 2002年03月31日,基礎工学研究科,講師,専任

  • 2002年04月01日 ~ 2007年03月31日,情報科学研究科 情報システム工学専攻,助教授,専任

  • 2007年04月01日 ~ 2012年03月31日,情報科学研究科 情報システム工学専攻,准教授,専任

  • 2012年04月01日 ~ 継続中,情報科学研究科 情報システム工学専攻,教授,専任

学歴 【 表示 / 非表示

大阪大学 基礎工学部 情報工学科 中退 1993年03月
大阪大学 基礎工学研究科 物理系専攻 修了 1995年03月
大阪大学 基礎工学研究科 物理系専攻 中退 1996年03月
大阪大学 基礎工学研究科  博士(工学) 1998年10月

職歴 【 表示 / 非表示

大阪大学助手 1996年04月 ~ 2000年04月
大阪大学講師 2000年05月 ~ 2002年03月
大阪大学助教授 2002年04月 ~ 2007年03月
大阪大学准教授 2007年04月 ~ 2012年03月
大阪大学教授 2012年04月 ~ 継続中

研究内容・専門分野 【 表示 / 非表示

  • モデル検査,ソフトウェアテスト,分散システム,高信頼システムに関する研究
    ソフトウェア関連,計算機システム関連

所属学会 【 表示 / 非表示

  • IEEE

  • 電子情報通信学会

  • ACM

  • 情報処理学会

 

論文 【 表示 / 非表示

  • Verification of consensus algorithms using satisfiability solving,Tatsuhiro Tsuchiya, Andre Schiper,Distributed Computing,23, 5-6, 341-358,2011年04月,学術論文

  • Using Bounded Model Checking to Verify Consensus Algorithms,Tatsuhiro Tsuchiya, Andre Schiper,Lecture Notes in Computer Science,5218, 466-480,2008年09月,学術論文

  • Model Checking of Consensus Algorithms,Tatsuhiro Tsuchiya, Andre Schiper,Proc. 26th IEEE International Symposium on Reliable Distributed Systems,pp.137-148,2007年10月,学術論文

  • SAT-Based Verification of Safe Petri Nets,Shougo Ogata,Tatsuhiro Tsuchiya,Tohru Kikuno,Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004),2004年11月,学術論文

  • Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing,Toshiaki Shiba, Tatsuhiro Tsuchiya, and Tohru Kikuno,Proceedings of 28th Annual International Computer Software and Applications Conference (COMPSAC'04),2004年09月,学術論文

全件表示 >>

著書 【 表示 / 非表示

  • 教科書,教養のコンピュータアルゴリズム,土屋達弘,共立出版,ISBN,978-4320122444,2009年11月

  • その他,21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015,Guojun Wang, Tatsuhiro Tsuchiya, Dong Xiang,IEEE CSP,ISBN,978-1-4673-9376-8,2015年11月

  • 専門著書,ディペンダブルシステム - 高信頼システム実現のための耐故障・検証・テスト技術,米田友洋, 梶原誠司, 土屋達弘,共立出版,2005年11月

受賞 【 表示 / 非表示

  • 電子情報通信学会 情報・システムソサイエティ 査読功労賞,土屋達弘,電子情報通信学会 情報・システムソサイエティ,2017年06月

  • 電子情報通信学会 情報・システムソサイエティ 査読功労賞,土屋達弘,電子情報通信学会 情報・システムソサイエティ,2009年11月

  • 2nd International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008) Best Paper Award,Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno,IEEE Reliability Society & IEEE Systems, Man and Cybernetics Society,2008年07月

  • 嵩賞,土屋達弘,大阪大学大学院情報科学研究科,2008年03月

  • IEEE 関西支部Gold賞,土屋達弘,IEEE 関西支部,2008年02月

全件表示 >>

 

講演会・展示会 【 表示 / 非表示

  • ソフトウェアと検証のワークショップ (Workshop on Software and Verification; WSV2009),Model Checking of Fault-Tolerant Distributed Algorithms,2009年04月

会議運営 【 表示 / 非表示

  • 国際会議,IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC'17),プログラム委員,2017年01月

  • 国際会議,23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016),ソーシャルイベント共同委員長,2016年03月

  • 国際会議,IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC'15),プログラム委員長,2015年11月

  • 国際会議,IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC'14),プログラム委員,2014年11月

  • 国際会議,IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC'13),プログラム委員,2013年12月

全件表示 >>

学外運営 【 表示 / 非表示

  • 学会,IEEE関西,Awards Committee Chair,2015年02月 ~ 継続中