School personnel information

写真b

TSUCHIYA Tatsuhiro


Keyword

Computer Science

Mail Address

Mail Address

Laboratory Phone number

+81-6-6879-4535

Laboratory Fax number

+81-6-6879-4539

URL

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

Gender

Male

Organization 【 display / non-display

  • 2000.05.01 - 2002.03.31, Graduate School of Engineering Science, Associate Professor

  • 2002.04.01 - 2007.03.31, Department of Information Systems Engineering, Graduate School of Information Science and Technology, Associate Professor

  • 2007.04.01 - 2012.03.31, Department of Information Systems Engineering, Graduate School of Information Science and Technology, Associate Professor

  • 2012.04.01 - , Department of Information Systems Engineering, Graduate School of Information Science and Technology, Professor

  • 2015.10.01 - , Center for Mathematical Modeling and Data Science

Education 【 display / non-display

Osaka University Faculty of Engineering Science  Unfinished 1993.03
Osaka University Graduate School, Division of Engineering Science  Completed 1995.03
Osaka University Graduate School, Division of Engineering Science  Unfinished 1996.03
Osaka University Graduate School, Division of Engineering Science  1998.10

Research topics 【 display / non-display

  • Model Checking, Software Testing, Distributed Systems, Dependable Systems
    Software-related, Computer system-related

Academic Society Membership 【 display / non-display

  • IEEE

  • IEICE

  • ACM

  • Information Processing Society of Japan

 

Academic Papers 【 display / non-display

  • 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, International Conference(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, Papers

  • 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, International Conference(Proceedings)

  • 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, International Conference(Proceedings)

  • 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, International Conference(Proceedings)

display all >>

Books 【 display / non-display

  • Textbook, A Gentle Introduction to Computer Algorithms, Tatsuhiro Tsuchiya, Kyoritsu Shuppan, ISBN, 978-4320122444, 2009.11

  • Other, 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

Awards 【 display / non-display

  • 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

  • 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

 

Conference management 【 display / non-display

  • International Conference, IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC'17), Program comittee member, 2017.01

  • International Conference, 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Social Event Cochair, 2016.03

  • International Conference, IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC'15), Program Co-chair, 2015.11

  • International Conference, IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC'14), Program Committee member, 2014.11

  • International Conference, IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC'13), Program Committee member, 2013.12

display all >>

Outside Activity Management 【 display / non-display

  • Academic society, IEEE Kansai Section, Past Awards Committee Chair , 2019.02 -

  • Academic society, IEEE Kansai Section, Awards Committee Chair, 2015.02 - 2019.01