基本情報

写真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日 ~ 継続中,情報科学研究科 情報システム工学専攻,教授,専任

  • 2015年10月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

  • 情報処理学会

 

論文 【 表示 / 非表示

  • An Automated Goal Labeling Method Based on User Reviews,Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020),2020年07月,国際会議(proceedingsあり)

  • Interactive Goal Model Construction Based on a Flow of Questions,Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya,IEICE Transactions on Information and Systems,Vol.E103-D, No.06,2020年06月,学術論文

  • Constrained detecting arrays for fault localization in combinatorial testing,Hao Jin, Ce Shi, Tatsuhiro Tsuchiya,Proc. 35th ACM/SIGAPP Symposium on Applied Computing (SAC 2020), 1971-1978,2020年03月,国際会議(proceedingsあり)

  • 遺伝的プログラミングを用いた施設レイアウト自動生成の検討,花田響四郎,中川博之,関本章,赤木宏匡,土屋達弘,電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE),信学技報KBSE2019-46, pp.1-6 ,2020年03月,会議報告/口頭発表

  • Opinion Analysis and Organization of Mobile Application User Reviews,Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020),Vol. 2584, pp. 1-9,2020年03月,国際会議(proceedingsあり)

全件表示 >>

著書 【 表示 / 非表示

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