基本情報

写真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

  • 情報処理学会

 

論文 【 表示 / 非表示

  • Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks,Kenta Hanada, Tatsuhiro Tsuchiya, Yasumasa Fujisaki,Proceedings of 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'19), 105-113,2019年12月,国際会議(proceedingsあり)

  • 単語の出現頻度と類似性に基づいたトピックモデル洗練化手法,東和幸,高橋仁,中川博之,土屋達弘,日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』,Vol. 36 No.4 pp.25-31,2019年11月,学術論文

  • グラフアルゴリズムに対するメタモルフィックテスティング手法の提案,永井史優,土屋達弘,信学技報,2019年11月,会議報告/口頭発表

  • 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討,東和幸,中川博之,土屋達弘,電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),信学技報,2019年11月,会議報告/口頭発表

  • Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models,Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya,The Journal of Systems & Software,Vol 156, pp. 300-311,2019年10月,学術論文

全件表示 >>

著書 【 表示 / 非表示

  • 教科書,教養のコンピュータアルゴリズム,土屋達弘,共立出版,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月

受賞 【 表示 / 非表示

  • IWCT 2018 Best foundation paper award,Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya,7th International Workshop on Combinatorial Testing (IWCT 2018),2018年04月

  • 電子情報通信学会 情報・システムソサイエティ 査読功労賞,土屋達弘,電子情報通信学会 情報・システムソサイエティ,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月

全件表示 >>

 

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

  • ソフトウェアと検証のワークショップ (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関西セクション,パストアウォードコミティチェア,2019年02月 ~ 継続中

  • 学会,IEEE関西,Awards Committee Chair,2015年02月 ~ 2019年01月