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

  • 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)

  • A Method of Refining Topic Models Based on Term and Document Frequencies, Kazuyuki Higashi, Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, JSSST Journal Compupter Software,Vol. 36 No.4 pp.25-31, 2019.11, Papers(In Japanese)

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

  • Finding minimum locating arrays using a CSP solver, Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, arXiv,arXiv:1904.07480, pp. 1-16, 2019.09, Other

  • Using simulated annealing for locating array construction, Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, arXiv,arXiv:1909.13090, pp. 1-23, 2019.09, Other

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