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

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

  • Verification of consensus algorithms using satisfiability solving, Tatsuhiro Tsuchiya, Andre Schiper, Distributed Computing,23, 5-6, 341-358, 2011.04, Papers

  • Using Bounded Model Checking to Verify Consensus Algorithms, Tatsuhiro Tsuchiya, Andre Schiper, Lecture Notes in Computer Science,5218, 466-480, 2008.09, Papers

  • Model Checking of Consensus Algorithms, Tatsuhiro Tsuchiya, Andre Schiper, Proc. 26th IEEE International Symposium on Reliable Distributed Systems,pp.137-148, 2007.10, Papers

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

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

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

  • 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, Awards Committee Chair, 2015.02 -