JA

Profile

Research

Social

Other

Tatsuhiro Tsuchiya

土屋 達弘

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

keyword dependable systems

Education

  • - 1996, Osaka University, Graduate School of Engineering Science
  • - 1995/03, Osaka University, Graduate School of Engineering Science
  • 1990/04 - 1993/03, Osaka University

Research History

  • 2015/10/01 - Present, Osaka University Center for Mathematical Modeling and Data Science
  • 2012/04/01 - Present, Osaka University Graduate School of Information Science and Technology Department of Information Systems Engineering, Professor
  • 2007/04/01 - 2012/03/31, Osaka University Graduate School of Information Science and Technology Department of Information Systems Engineering, Associate Professor
  • 2002/04/01 - 2007/03/31, Osaka University Graduate School of Information Science and Technology Department of Information Systems Engineering, Associate Professor
  • 2002/04 - 2007/03, Osaka University, Graduate School of Information Science and Technology, Associate Professor
  • 2000/05/01 - 2002/03/31, Osaka University Graduate School of Engineering Science, Associate Professor

Research Areas

  • Informatics, Computer systems
  • Informatics, Software
  • Informatics, Information theory

Professional Memberships

  • Japan Society for Software Science and Technology
  • Information Processing Society of Japan
  • ACM
  • IEEE
  • IEICE

Papers

  • A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems, Hao Jin,Takashi Kitamura,Eun-Hye Choi,Tatsuhiro Tsuchiya, Proc 32nd IFIP International Conference on Testing Software and Systems (ICTSS 2020), 2020/12
  • 逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出, Vol. 120, No. 407, p. 73-77, 2021/03
  • Model Checking-Based Verification of Token-Based Traffic Control for Roundabouts, Tatsuhiro Tsuchiya,Satoshi Otsuka, IEICE Technical Report, ITS2020-43, Vol. 120, No. 428, p. 41-44, 2021/03
  • 相互依存システムにおける耐性強化問題の高速化, Vol. 120, No. 358, p. 59-63, 2021/02
  • Constrained locating arrays for combinatorial interaction testing, Hao Jin,Tatsuhiro Tsuchiya, Journal of Systems and Software, Elsevier BV, Vol. 170, p. 110771-110771, 2020/12
  • 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討, Vol. 120, No. 231, p. 53-58, 2020/11
  • 不具合インタラクション検出のための制約付きディテクティングアレイの高速生成手法, No. DC2020-24, p. 13-18, 2020/10
  • A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing, Hao Jin,Tatsuhiro Tsuchiya, Proc. 29th IEEE International Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE 2020), 2020/10
  • Using simulated annealing for locating array construction, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Information and Software Technology, Elsevier BV, Vol. 126, p. 106346-106346, 2020/10
  • Model Checking of Automotive Control Software: An Industrial Approach, Masahiro MATSUBARA,Tatsuhiro TSUCHIYA, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. E103.D, No. 8, p. 1794-1805, 2020/08/01
  • SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案, No. DC2020-14, p. 87-92, 2020/07
  • 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
  • Interactive goal model construction based on a flow of questions, Hiroyuki Nakagawa,Hironori Shimada,Tatsuhiro Tsuchiya, IEICE Transactions on Information and Systems, Vol. 103, No. 6, p. 1309-1318, 2020/06
  • Locating Arrays with Mixed Alphabet Sizes, Ce Shi,Hao Jin,Tatsuhiro Tsuchiya, Mathematics, MDPI AG, Vol. 8, No. 5, p. 831-831, 2020/05/20
  • Finding Minimum Locating Arrays Using a CSP Solver, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Fundamenta Informaticae, IOS Press, Vol. 174, No. 1, p. 27-42, 2020/05/12
  • Constrained detecting arrays for fault localization in combinatorial testing, Hao Jin,Ce Shi,Tatsuhiro Tsuchiya, Proceedings of the ACM Symposium on Applied Computing, ACM Press, p. 1971-1978, 2020/03/30
  • 遺伝的プログラミングを用いた施設レイアウト自動生成の検討, 2020/03
  • Opinion analysis and organization of mobile application user reviews, Long Wang,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, CEUR Workshop Proceedings, Vol. 2584, 2020
  • Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks, p. 105-113, 2019/12
  • 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, p. 25-31, 2019/11
  • 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討, 2019/11
  • グラフアルゴリズムに対するメタモルフィックテスティング手法の提案, 2019/11
  • Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models, Hiroyuki Nakagawa,Hiromu Toyama,Tatsuhiro Tsuchiya, The Journal of Systems & Software, Elsevier, Vol. 156, p. 300-311, 2019/10
  • A System Architecture Evaluation Method that Reflects Software Reusability in Product Line Development of Embedded Systems, Satoshi Otsuka,Kenji Nakanishi,Fumio Narisawa,Tatsuhiro Tsuchiya, IPSJ Journal, Vol. 60, No. 8, p. 1350-1359, 2019/08
  • ソフトウェアテストのための制約付きディテクティングアレイの提案とSMTソルバを用いた生成, 2019/07
  • Towards Real-time Self-adaptation Using a Verification Mechanism, Hiroyuki Nakagawa,Hiroki Tsuda,Tatsuhiro Tsuchiya, Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), p. 10-12, 2019/07
  • 自己適応システムの動的検証法の高速化に関する研究, 2019/03
  • Goal Model Construction Based on User Review Classification, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), 2019/03
  • On applicability of symbolic model checking to analysis of cascading failures in critical infrastructures, Tatsuhiro Tsuchiya,Yasumasa Fujisaki, 情報処理学会, Vol. 2019, p. 3-4, 2019/01
  • Implementation and Evaluation of ISDSR in Emulation Environments., Shinnosuke Shimizu,Hideharu Kojima,Naoto Yanai,Tatsuhiro Tsuchiya, p. 1-6, 2019
  • Applying metamorphic testing to e-commerce product search engines, p. 183-184, 2018/12
  • Deriving Fault Locating Test Cases from Constrained Covering Arrays, p. 233-240, 2018/12
  • Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討, 2018/11
  • Constructing a Goal Model Based on Application User Reviews, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2018/11
  • ゴールモデルのコンテキストに注目した効率的なモデル検査, p. 229-235, 2018/08
  • ECサイトの検索機能へのメタモルフィック・テスティングの適用, 2018/07
  • カバリングアレイの事後最適化による組み合わせテストでの不具合特定の実現, 2018/07
  • 組み込みシステムに対する安全な機能追加手法の考察, 2018/07
  • A Document-based Parameter Correlation Metric for Test Design, Hiroyuki Nakagawa,Nobukazu Ishii,Tatsuhiro Tsuchiya, Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), KSI Research Inc. and Knowledge Systems Institute Graduate School, p. 641-640, 2018/07
  • Improvement of User Reviews Classification Using Keyword Expansion, Kazuyuki Higashi,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), KSI Research Inc. and Knowledge Systems Institute Graduate School, p. 125-124, 2018/07
  • A Framework for Updating Functionalities Based on the MAPE Loop Mechanism, Shinya Tsuchida,Hiroyuki Nakagawa,Emiliano Tramontana,Andrea Fornaia,Tatsuhiro Tsuchiya, Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018), IEEE Computer Society, p. 38-47, 2018/07
  • A satisfiability-based approach to generation of constrained locating arrays, 11th IEEE International Conference on Software Testing, Verification and Validation Workshops, IEEE CSP, 2018/04
  • 時間制約を考慮可能な自己適応システム実装フレームワークの検討, 2018/03
  • 質問フローに基づくゴールモデル構築手法の提案, 2018/03
  • Boolean logic-based approaches to testing and verification of information systems, Tatsuhiro Tsuchiya, Vol. B5, No. 03, p. 1-3, 2018/03
  • On generating locating arrays using simulated annealing, Tatsuya Konishi,HIdeharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 電子情報通信学会, 2018/02
  • A Requirements Coverage Visualization Approach Based on Document Similarities, Shori Matsui,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, JSSST Journal Compupter Software, 2018/02
  • On Automatic Discovery of Hacks, Tatsuhiro Tsuchiya, Vol. 2018, p. 42-43, 2018/01
  • MAPEループを用いたIoTデバイスの効率的な再利用法の検討, 2018/01
  • MAPEループ構造に基づいた機能更新フレームワークに関する考察, 2018/01
  • Constructing a goal model from requirements descriptions based on extraction rules, Hironori Shimada,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Communications in Computer and Information Science, Springer Verlag, Vol. 809, p. 175-188, 2018
  • A Satisfiability-Based Approach to Generation of Constrained Locating Arrays., Hao Jin,Takashi Kitamura,Eun-Hye Choi,Tatsuhiro Tsuchiya, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018, IEEE, p. 285-294, 2018
  • Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing., Satoshi Fujimoto,Hideharu Kojima,Tatsuhiro Tsuchiya, International Journal of Software Engineering and Knowledge Engineering, Vol. 28, No. 7, 2018
  • The Aggregation Point Placement Problem for Power Distribution Systems., Hideharu Kojima,Tatsuhiro Tsuchiya,Yasumasa Fujisaki, IEICE Transactions, Vol. 101-A, No. 7, p. 1074-1082, 2018
  • A Requirements Coverage Visualization Viewer Based on a Spring Model, Shori Matsui,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2017/11
  • SATソルバを使用したロケーティングアレイの生成手法について, 2017/11
  • On the generation of constrained locating arrays using an SMT solver, Hao Jin,Eun-Hye Choi,Tatsuhiro Tsuchiya, 電子情報通信学会, 2017/10
  • Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry, Hiroyuki Nakagawa,Toshinobu Hasegawa,Shori Matsui,Tatsuhiro Tsuchiya, Proc. of the 28th International Symposium on Software Reliability Engineering (ISSRE 2017), IEEE, p. 77-80, 2017/10
  • A visualization of specification coverage based on document similarity, Hiroyuki Nakagawa,Shori Matsui,Tatsuhiro Tsuchiya, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017, Institute of Electrical and Electronics Engineers Inc., p. 136-138, 2017/06/30
  • Data access control for energy-related services in smart public infrastructures, Yohei Kawadaa,Kojin Yanob,Yoshihiro Mizunoa,Tatsuhiro Tsuchiya,Yasumasa Fujisaki, Computers in Industry, Elsevier, Vol. 88, p. 35-43, 2017/06
  • Generating high strength test suites for combinatorial interaction testing using ZDD-based graph algorithms, Teru Ohashi,Tatsuhiro Tsuchiya, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, IEEE Computer Society, p. 78-85, 2017/05/05
  • Method and case study of model checking concurrent systems that use unbounded timestamps, Shinya Nakano,Tatsuhiro Tsuchiya, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, IEEE Computer Society, p. 261-266, 2017/05/05
  • Data access control for energy-related services in smart public infrastructures, Yohei Kawada,Kojin Yano,Yoshihiro Mizuno,Tatsuhiro Tsuchiya,Yasumasa Fujisaki, COMPUTERS IN INDUSTRY, ELSEVIER SCIENCE BV, Vol. 88, p. 35-43, 2017/04
  • Satisfiability-Based Analysis of Cascading Failures in Power System Networks, Tatsuhiro Tsuchiya,Yasumasa Fujisaki, Proceedings of SICE International Symposium on Control Systems 2017, 2017/03
  • Finding Minimum Locating Arrays Using a SAT Solver, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, IEEE CSP, p. 276-277, 2017/03
  • A State Vector Reduction Method for Model Checking MANET Protocols, Hideharu Kojima,Yuta Nagashima,Tatsuhiro Tsuchiya, p. 13-14, 2017/01
  • Verification of the node-disjoint multipath establishment process of a MANET, Yuta Nagashima,Hideharu Kojima,Tatsuhiro Tsuchiya, p. 7-12, 2017/01
  • Method and case study of model checking concurrent systems that use unbounded timestamps, Shinya Nakano,Tatsuhiro Tsuchiya, 2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), IEEE, p. 261-266, 2017/01
  • Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms, Teru Ohashi,Tatsuhiro Tsuchiya, 2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), IEEE, p. 78-85, 2017/01
  • Method and case study of model checking concurrent systems that use unbounded timestamps, Shinya Nakano,Tatsuhiro Tsuchiya, 2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), IEEE, p. 261-266, 2017
  • Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms, Teru Ohashi,Tatsuhiro Tsuchiya, 2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), IEEE, p. 78-85, 2017
  • Finding Minimum Locating Arrays Using a SAT Solver, Tatsuya Konishi,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, IEEE, p. 276-277, 2017
  • State space reduction techniques for model checking of MANET protocols., Hideharu Kojima,Yuta Nagashima,Tatsuhiro Tsuchiya, IJNC, Vol. 7, No. 1, p. 29-49, 2017/01
  • Model checking using abstract timestamps for concurrent systems, Shinya Nakano,Tatsuhiro Tsuchiya, 2016/12
  • 要求の類似度に基づいたカバレッジ可視化手法の提案, 2016/12
  • Requirements Coverage Visualization for Test Cases, Shori Matsui,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2016/12
  • Model Checking of Fault Tolerant Systems Using Abstract Timestamps, Shinya Nakano,Tatsuhiro Tsuchiya, 電子情報通信学会, 2016/10
  • ZDD-based test case generation method for high strength combinatorial interaction testing, Teru Ohashi,Tatsuhiro Tsuchiya, 電子情報通信学会, 2016/10
  • Caching Strategies for Run-time Probabilistic Model Checking, Hiroyuki Nakagawa,Kento Ogawa,Tatsuhiro Tsuchiya, Proc. of the 11th International Workshop on Models@run.time (MRT 2016), CEUR-WS.org, p. 18-25, 2016/10
  • A Dynamic Verification Mechanism for Real-time Self-adaptive Systems, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), IEEE, p. 265-266, 2016/09
  • A Search-based Constraint Elicitation in Test Design, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, IEICE Transactions on Information and Systems, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E99D, No. 9, p. 2229-2238, 2016/09
  • Model checking techniques for state space reduction in MANET protocol verification, Hideharu Kojima,Yuta Nagashima,Tatsuhiro Tsuchiya, 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), IEEE, p. 509-516, 2016/05
  • A Brief Overview of and Research Trends in Software Testing, Tatsuhiro Tsuchiya, Journal of Reliability Engineering Association of Japan, Vol. 38, No. 2, p. 80-85, 2016/03
  • Verification of a Consensus Algorithm Using Model Checking, Shinya Nakano,Hideharu Kojima,Tatsuhiro Tsuchiya, 2015/12
  • Towards Automatic Constraints Elicitation of Test Cases: Preliminary Evaluation Based on Collective Intelligence, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 6th International Workshop on Testing Techniques for Event Based Software (TESTBEDS 2015), 2015/11
  • Improving the greedy approach to constructing combinatorial test suites, Teru Ohashi,Tatsuhiro Tsuchiya, IEICE Technical Report, 2015/10
  • An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities, Kento Ogawa,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 2nd Workshop on Formal Verification for Self-* Systems (VERY* 2015), SPRINGER INT PUBLISHING AG, Vol. 9509, p. 253-265, 2015/09
  • Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2015), IEEE, p. 176-177, 2015/09
  • Optimization of the number of test case candidates in generating a combinatorial test suite, Teru Ohashi,Tatsuhiro Tsuchiya, 2015/08
  • A Study of Model Checking for Reactive MANET Protocols with SPIN, Hideharu Kojima,Tatsuhiro Tsuchiya, 2015/06
  • Using binary decision diagrams for constraint handling in test case generation, Tatsuhiro Tsuchiya, IEICE Technical Report, 2015/06
  • Towards Automatic Constraints Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proc. of the 2nd International Workshop on Requirements Engineering and Testing (RET 2015), co-located with ICSE 2015, IEEE, p. 34-36, 2015/05
  • Towards automatic requirements elicitation from feedback comments: Extracting requirements topics using LDA, Hitoshi Takahashi,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, Knowledge Systems Institute Graduate School, Vol. 2015-, p. 489-494, 2015
  • Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence, Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), IEEE, p. 58-61, 2015
  • Locating a faulty interaction in pair-wise testing, Takahiro Nagamoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, IEEE Computer Society, p. 155-156, 2014/12/03
  • 配電SCADAネットワークにおける情報収集時間短縮のための集約点配置に関する研究, 2014/11
  • Applying Random Testing to Constrained Interaction Testing., Yasuhiro Hirasaki,Hideharu Kojima,Tatsuhiro Tsuchiya, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013., Knowledge Systems Institute Graduate School, p. 193-198, 2014/07
  • Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation, Cassia de Souza Carvalho,Tatsuhiro Tsuchiya, 2014 SECOND INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), IEEE, p. 596-598, 2014/04
  • Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems, Kohei Sakurai,Masahiro Matsubara,Tatsuhiro Tsuchiya, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 97-D, No. 2, p. 344-348, 2014/02
  • On the Availability of Replicated Data Managed by Hierarchical Voting, Yuuki Ueda,Hideharu Kojima,Tatsuhiro Tsuchiya, PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C), IEEE, p. 313-316, 2014
  • Modeling the Interaction of Power Line and SCADA Networks, Yuki Matsui,Hideharu Kojima,Tatsuhiro Tsuchiya, 2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE), IEEE, p. 261-262, 2014/01
  • Applying parameter value weighting to a practical application, Satoshi Fujimoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), IEEE, p. 130-131, 2014
  • Locating a Faulty Interaction in Pair-Wise Testing, Takahiro Nagamoto,Hideharu Kojima,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), IEEE, p. 155-156, 2014
  • Software reconstruction and module management for distributed processing of train control, Hirofumi Terada,Yutaka Sato,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - 2013 11th International Symposium on Autonomous Decentralized Systems, ISADS 2013, Institute of Electrical and Electronics Engineers Inc., 2013
  • A Monitoring Point Selection Approach for Power Distribution Systems, Hirofumi Terada,Tsukasa Onishi,Tatsuhiro Tsuchiya, 2013 8TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), IEEE, p. 190-195, 2013
  • A value weighting method for pair-wise testing, Satoshi Fujimoto,Hideharu Kojima,Tatsuhiro Tsuchiya, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society, Vol. 1, p. 99-105, 2013
  • Maximizing Availability of Consistent Data in Unreliable Networks, Yuki Matsui,Hideharu Kojima,Tatsuhiro Tsuchiya, PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), IEEE, p. 117-123, 2012/12
  • Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints, Toru Nanba,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E95A, No. 9, p. 1501-1505, 2012/09
  • Proposal of environmental adaptation for the next-generation distribution SCADA system, Hirofumi Terada,Tsukasa Onishi,Tatsuhiro Tsuchiya, China International Conference on Electricity Distribution, CICED, 2012
  • Safety verification of asynchronous consensus algorithms with model checking, Tatsuya Noguchi,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 80-88, 2012
  • Achieving High Availability of Consistent Data in the Presence of Network Partitions, Tatsuhiro Tsuchiya, 2012 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE & COMPUTING AND 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC & TRUSTED COMPUTING (UIC/ATC), IEEE COMPUTER SOC, p. 618-620, 2012
  • Verification of consensus algorithms using satisfiability solving, Tatsuhiro Tsuchiya,Andre Schiper, Distributed Computing, SPRINGER, Vol. 23, No. 5-6, p. 341-358, 2011/04
  • Constructing test sets for pairwise testing: A SAT-based approach, Toru Nanba,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - 2011 2nd International Conference on Networking and Computing, ICNC 2011, p. 271-274, 2011
  • Bounded model checking of concurrent systems with unbounded integer variables, Hiroyuki Inoue,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - 2011 2nd International Conference on Networking and Computing, ICNC 2011, p. 261-265, 2011
  • Model Checking of Unbounded Rounds of Asynchrnous Consensus Protocols, 2010/11
  • The Time Complexity of Hsu and Huang's Self- Stabilizing Maximal Matching Algorithm, Masahiro Kimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Transactions on Information and Systems, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E93D, No. 10, p. 2850-2853, 2010/10
  • Constructing Overlay Networks with Short Paths and Low Communication Cost, Fuminori Makikawa,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Transactions on Information and Systems, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 93, No. 6, p. 1540-1548, 2010/06
  • Balance and proximity-aware skip graph construction, Fuminori Makikawa,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - 2010 1st International Conference on Networking and Computing, ICNC 2010, p. 268-271, 2010
  • On the reliability of cascaded TMR systems, Masashi Hamamatsu,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, p. 184-190, 2010
  • Converting Consensus Algorithms from a Round Model into a Conventional Distributed System Model, Kazuyuki Aka,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. of 2nd International Workshop on Reliability, Availability, and Security (WRAS), 2009/12
  • Towards Automated Verification of Distributed Consensus Protocols, Takahiro Minamikawa,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009), IEEE Computer Society, p. 499-506, 2009/12
  • Using the NuSMV Model Checker for Test Generation from Statecharts, Masaya Kadono,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings of 15th Pacific Rim International Symposium on Depdnable Computing (PRDC 2009), IEEE Computer Society, p. 37-42, 2009/11
  • Evaluating the Usefulness of the Metropolis Algorithm for Overlay Network Optimization, Tatsushi Takamura,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. of 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009), 2009/10
  • Epidemic Communication Using an Erasure Code, Masaki Terasawa,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. of 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009), 2009/10
  • On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm, Masahiro Kimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Transactions on Information and Systems, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E92D, No. 8, p. 1570-1573, 2009/08
  • SAT and SMT Based Model Checking of Concurrent Systems, Tatsuhiro Tsuchiya,Tohru Kikuno, Vol. 109, No. 73, p. 19-23, 2009/06
  • Feature Interaction Verification Using Unbounded Model Checking with Interpolation, Takafumi Matsuo,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Transactions on Information and Systems, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 92, No. 6, p. 1250-1259, 2009/06
  • Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems, Eun-Hye Choi,Keishi Okamoto,Tatsuhiro Tsuchiya,Tohru Kikuno, FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, IEEE COMPUTER SOC, p. 138-142, 2009
  • A self-organising algorithm for sensor placement in wireless mobile microsensor networks, TheinLai Wong,Tatsuhiro Tsuchiya,Tohru Kikuno, International Journal of Wireless and Mobile Computing, Vol. 3, No. 1-2, p. 69-78, 2008/07
  • Analyzing the One Dimensional Ising Model by Probabilistic Model Checking, 2007/10
  • Model Checking of Consensus Algorithms, Tatsuhiro Tsuchiya,Andre Schiper, Proc. 26th IEEE International Symposium on Reliable Distributed Systems, IEEE CS Press, p. 137-+, 2007/10
  • Constructing Overlay Networks with Low Link Costs and Short Paths, Fuminori Makikawa,Takafumi Matsuo,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. 6th International Symposium on Network Computing and Applications, IEEE CS Press, p. 299-+, 2007/07
  • An energy-efficient broadcast scheme for multihop wireless ad hoc networks using variable-range transmission power, TheinLai Wong,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 90, No. 3, p. 680-684, 2007/03
  • A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks, TheirLai Wong,Tatsuhiro Tsuchiya,Tohru Kikuno, PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, ACTA PRESS ANAHEIM, p. 6-+, 2007
  • Model Checking Active Database Rules under Various Rule Processing Strategies, Vol. 47, No. 19, p. 14-27, 2006/12
  • Automatically Verifying Integrated Services in Home Network Systems, Takafumi Matsuo,Pattara Leelaprute,Tatsuhiro Tsuchiya,Tohru Kikuno,Masahide Nakamura,Hiroshi Igaki,Ken-ichi Matsumoto, International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), Vol. II, p. 173-176, 2006/07
  • A Self-Organizing Algorithm for Sensor Placement in Wireless Mobile Micro-Sensor Networks, TheinLai Wong,Tatsuhiro Tsuchiya,Tohru Kikuno, Journal of Wireless and Mobile Computing, 2005/04
  • Overlay network topologies for gossip-based multicast, Daisuke Igarashi,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, IEEE CS Press, Vol. 1, p. 2-7, 2005
  • Describing and verifying integrated services of home network systems, P Leelaprute,M Nakamura,T Tsuchiya,K Matsumoto,T Kikuno, 12th Asia-Pacific Software Engineering Conference, Proceedings, IEEE COMPUTER SOC, p. 549-558, 2005
  • 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), Springer, Vol. 3299, p. 79-92, 2004/11
  • Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing, 2004/09
  • Feature Interaction Detection by Bounded Model Checking, Tomoyuki Yokogawa,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE, Vol. 86, No. 12, p. 2579-2587, 2003/11
  • Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking, Tomoyuki Yokogawa,Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno, Proc. 2003 International Technical Conference on Circuits/Systems, Vol. Computers and Communications (ITC-CSCC2003), No. 3, p. 1807-1810, 2003/07
  • Detecting Feature Interactions in Telecommunication Services with a SAT Solver, Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno, 2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, IEEE CS Press, p. 131-134, 2002/12
  • Verifying Fault Tolerance of Concurrent Systems by Model Checking, Tomoyuki Yokogawa,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE, Vol. 85, No. 11, p. 2414-2425, 2002/11
  • Symbolic Approaches to Feature Interaction Detection, Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno, In Proc. IEEE Conference on Dependable Systems and Networks (ICDSN-2002), Vol. 2, No. Fast Abstract, p. B46-B47-B46-B47, 2002/06
  • Byzantine Quorum Systems with Maximum Availability, Tatsuhiro Tsuchiya,Tohru Kikuno, INFORMATION PROCESSING LETTERS, Elsevier Science, Vol. 83, No. 2, p. 71-77, 2002/05
  • Effective Scheduling of Duplicated Tasks for Fault-Tolerance in Multiprocessor Systems, Koji Hashimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE, Vol. 85, No. 3, p. 525-534, 2002/03
  • Non-specification-based approaches to logic testing for software, Noritaka Kobayashi,Tatsuhiro Tsuchiya,Tohru Kikuno, INFORMATION AND SOFTWARE TECHNOLOGY, Elsevier Science, Vol. 44, No. 2, p. 113-121, 2002/02
  • Detecting feature interactions in telecommunication systems by symbolic model checking, Takayuki Hamada,Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno, 16th International Conference on Information Networking (ICOIN-16), p. 8B2.1-2.11, 2002/01
  • Minimizing the mean delay of quorum-based mutual exclusion schemes, Noritaka Kobayashi,Tatsuhiro Tsuchiya,Tohru Kikuno, JOURNAL OF SYSTEMS AND SOFTWARE, Elsevier Science, Vol. 58, No. 1, p. 1-9, 2001/08
  • Hierarchical Dependability Modeling of Distributed Systems with Replicated Resources, Eun Hye Choi,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE, 2001/06
  • A hierarchical approach to dependability evaluation of distributed systems with replicated resources, EH Choi,T Tsuchiya,T Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E84D, No. 6, p. 692-699, 2001/06
  • Experimental Evaluation of Fault-Secure Scheduling under Different Error Models in Multiprocessor Systems, Koji Hashimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE, 2001/05
  • Error models and fault-secure scheduling in multiprocessor systems, K Hashimoto,T Tsuchiya,T Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E84D, No. 5, p. 635-650, 2001/05
  • Applicability of non-specification-based approaches to logic testing for software, N Kobayashi,T Tsuchiya,T Kikuno, INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, IEEE COMPUTER SOC, p. 337-346, 2001
  • Automatic verification of fault tolerance using model checking, T Yokogawa,T Tsuchiya,T Kikuno, 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, IEEE COMPUTER SOC, p. 95-102, 2001
  • Realizing fault-tolerant scheduling using replicated tasks in multiprocessor systems, Koji Hashimoto,Tatsuhiro Tsuchiya,Yoshiaki Kakuda,Tohru Kikuno, Proc. 1996 International Workshop on Dependability in Advanced Computing Paradigms (DACP-96), p. 87-92, 1996/06

Misc.

  • DC研究会:ソフトウェアシステムを対象としたディペンダビリティ研究について, Vol. 24, No. 2, p. 6-7, 2019/08/01
  • Using binary decision diagrams for constraint handling in combinatorial interaction testing, Tatsuhiro Tsuchiya, arXiv:1907.01779 [cs.SE], 2019/07
  • Improvement and implementation of a natural language processing based goal classification method for the KAOS goal model, 石丸 将生,小島 英春,土屋 達弘, 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 電子情報通信学会, Vol. 117, No. 465, p. 13-18, 2018/03/01
  • Foreword., Tatsuhiro Tsuchiya, IEICE Transactions, Vol. 101-D, No. 6, 2018
  • Improvement of Efficient Runtime Model Checking for Self-adaptive Systems Using Cashe, 外山大夢,中川博之,小島英春,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 493(KBSE2016 39-51), 2017/03
  • An Efficient Configuration Switching Method Based on System Environmental Monitoring, 妙見侑祐,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 493(KBSE2016 39-51), 2017/03
  • 文書中の単語出現頻度を利用したトピックモデル洗練化, 高橋仁,中川博之,土屋達弘, 情報処理学会研究報告(Web), Vol. 2017, No. SE-195, 2017/03
  • 抽出ルールに基づいた要求記述からのゴールモデルの構築支援, 島田裕紀,中川博之,小島英春,土屋達弘, 情報処理学会研究報告(Web), Vol. 2017, No. SE-195, 2017/03
  • An Empirical Study on Topic Model Refinement Based on Stop Word Extraction, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 284(KBSE2016 24-30), 2016/10/27
  • Towards a Framework for Self-Adaptive Systems Based on a Dynamic Veri cation Mechanism Considering Time Constraint, Hiroki Tsuda,Hiroyuki Nakagawa,Tatsuhiro Tsuchiya, 情報科学技術フォーラム講演論文集, Vol. 15th, 2016/09
  • An Empirical Study on Test Case Clustering Based on Topic Modeling, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 116, No. 67(KBSE2016 1-6), 2016/05
  • 大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法, 小川賢人,中川博之,土屋達弘, 情報処理学会研究報告(Web), Vol. 2016, No. SE-191, 2016/03
  • An Empirical Study on Requirements Topic Elaboration Based on Temporal Changes of Top Words, 高橋仁,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 115, No. 231(KBSE2015 28-34), p. 27-31, 2015/09
  • A Data Collection Time Reduction Method for Power Distribution SCADA Networks, Hideharu Kojima,Tatsuhiro Tsuchiya, 情報科学技術フォーラム講演論文集, Forum on Information Technology, Vol. 14, No. 4, p. 455-462, 2015/09
  • B-025 Optimization of the number of test case candidates in generating a combinatorial test suite, Ohashi Teru,Tsuchiya Tatsuhiro, 情報科学技術フォーラム講演論文集, Forum on Information Technology, Vol. 14, No. 1, p. 225-226, 2015/08/24
  • A Preliminary Programing Framework for Self-Adaptive Systems on Real-World Hardware, 津田宏軌,中川博之,土屋達弘, 電子情報通信学会技術研究報告, Vol. 115, No. 54(KBSE2015 1-8), p. 33-38, 2015/07
  • A Performance Evaluation of BDD-Based Constraint Handling for Combinatorial Interaction Testing, Hiroki Sakano,Hiroyuki Nakagawa,Hideharu Kojima,Tatsuhiro Tsuchiya, 電子情報通信学会論文誌 D(Web), 電子情報通信学会, Vol. J98-D, No. 3, 2015/03
  • A Test Sequence Generation Method by Combining Test Sequences for Functions of a Node in MANETs, Hideharu Kojima,Tatsuhiro Tsuchiya, Proceedings of the IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Vol. 2015, No. 2, p. "S-132"-"S-133", 2015/03
  • Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems, OGAWA Kento,NAKAGAWA Hiroyuki,TSUCHIYA Tatsuhiro, Technical report of IEICE. KBSE, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 501, p. 65-70, 2015/03
  • An Empirical Study on Requirements Elicitation from Feedback Comments Using LDA, TAKAHASHI Hitoshi,NAKAGAWA Hiroyuki,TSUCHIYA Tatsuhiro, Technical report of IEICE. KBSE, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 420, p. 1-6, 2015/01
  • SAT-based evaluation of cascading failures in inter-dependent networks, TSUCHIYA Tatsuhiro, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 280, p. 1-3, 2014/10/27
  • Application of Answer Set Programming to Various Forms of the Task Scheduling Problem, KOBAYASHI Hiroyuki,NAKAGAWA Hiroyuki,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 127, p. 25-30, 2014/07/09
  • Application of Answer Set Programming to Various Forms of the Task Scheduling Problem, KOBAYASHI Hiroyuki,NAKAGAWA Hiroyuki,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 114, No. 127, p. 25-30, 2014/07/09
  • Application of Answer Set Programming to Various Forms of the Task Scheduling Problem, Hiroyuki Kobayashi,Hiroyuki Nakagawa,Hideharu Kojima,Tatsuhiro Tsuchiya, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 2014, No. 4, p. 1-6, 2014/07/02
  • Maxmizing the Availability of Distributed Systems That Use Voting, Yuki Matsui,Hideharu Kojima,Tatsuhiro Tsuchiya, 情報処理学会論文誌, Vol. 55, No. 3, p. 1177-1185, 2014/03
  • Improving a Test Case Generation Method for Faulty Interaction Location, NAGAMOTO Takahiro,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 422, p. 77-81, 2014/01/30
  • Improving a Test Case Generation Method for Faulty Interaction Location, NAGAMOTO Takahiro,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 422, p. 77-81, 2014/01/30
  • New Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation, 土屋 達弘,カッシア ジソウザカルヴァーリョ, ウィンターワークショップ2014・イン・大洗 論文集, Vol. 2014, p. 47-48, 2014/01/16
  • On the effects of the interaction between power line and SCADA networks on system robustness, MATSUI Yuki,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 353, p. 35-39, 2013/12/13
  • Efficient random test case generation for constrained interaction testing, Yasuhiro Hirasaki,Hideharu Kojima,Tatsuhiro Tsuchiya, IPSJ SIG Notes, Information Processing Society of Japan (IPSJ), Vol. 113, No. 269, p. 163-166, 2013/10/24
  • ネットワーク障害下におけるレプリカ配置を考慮した階層的votingシステムの可用性の評価 (ディペンダブルコンピューティング), Vol. 113, No. 270, p. 1-5, 2013/10/24
  • Efficient random test case generation for constrained interaction testing, HIRASAKI Yasuhiro,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 269, p. 163-166, 2013/10/17
  • Software Reconstruction and Workflow Management for Distributed Processing of Train Control, TERADA Hirofumi,SATO Yutaka,TSUCHIYA Tatsuhiro, The IEICE transactions on information and systems (Japanese edition), The Institute of Electronics, Information and Communication Engineers, Vol. 96, No. 10, p. 2192-2203, 2013/10
  • An Approach of Generating a Test Set to Locate a Pair-Wise Interaction Fault, NAGAMOTO Takahiro,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 104, p. 19-23, 2013/06/21
  • Augmenting a Test Suite for Parameter Value Weighting, FUJIMOTO Satoshi,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, IEICE technical report. Computer systems, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 21, p. 31-36, 2013/04/26
  • Augmenting a Test Suite for Parameter Value Weighting, FUJIMOTO Satoshi,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, IEICE technical report. Computer systems, The Institute of Electronics, Information and Communication Engineers, Vol. 113, No. 21, p. 31-36, 2013/04/26
  • On the Probability of Interaction Fault Detection Using Random Testing in the Presence of Constraints on Parameter Values, SHIGEOKA Daiki,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 112, No. 373, p. 31-35, 2013/01/10
  • Applications of Model Checking to Control Systems, TSUCHIYA Tatsuhiro,SEKIZAWA Toshifusa, SYSTEMS, CONTROL AND INFORMATION, THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS, Vol. 57, No. 5, p. 195-200, 2013
  • Model Checking that Uses Satisfiability Solving., Tatsuhiro Tsuchiya, Computer Software, Japan Society for Software Science and Technology, Vol. 29, No. 1, p. 19-29, 2012/12
  • A Test Case Generation Approach for Random Testing in the Presence of Constraints on Parameter Values, TANAKA Shingo,KOJIMA Hideharu,TSUCHIYA Tatsuhiro, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 112, No. 270, p. 1-5, 2012/10/22
  • Votingを用いた分散システムの可用性の最大化, Vol. 2012, 2012/09/14
  • K-induction-based model checking of concurrent systems with unbounded integer variables, Hiroyuki Inoue,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Technical Report, The Institute of Electronics, Information and Communication Engineers, Vol. 111, No. 252, p. 1-5, 2011/10
  • Network Coding-Based Gossip, Shun Tokuyama,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Technical Report, The Institute of Electronics, Information and Communication Engineers, Vol. 111, No. 252, p. 31-36, 2011/10
  • Gossip-Style Broadcast Using Network Coding, Shun Tokuyama,Tatsuhiro Tsuchiya,Tohru Kikuno, 平成23年度 情報処理学会関西支部 支部大会 講演論文集, 情報処理学会, Vol. 2011, 2011/09
  • Report on Winter Workshop 2011 in Shuzenji, 飯島 正,大森 隆行,桑原 寛明,位野木 万里,中村 匡秀,羽生田 栄一,鷲崎 弘宜,天嵜 聡介,石黒 正揮,佐原 伸,土屋 達弘,岸 知二,野田 夏子, 研究報告ソフトウェア工学(SE), Vol. 2011, No. 11, p. 1-9, 2011/07/14
  • A New Code Coverage that Focuses on Edge Pairs in a Control Flow Graph, NISHIMOTO Satoru,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 110, No. 458, p. 139-144, 2011/02/28
  • Evaluation of Automated Testing Tools for Web Application Vulnerability Detection, NAKAI Ryosuke,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 110, No. 229, p. 19-23, 2010/10/07
  • Accelerating State Reachability Analysis with a GPU, NAKADA Yoshimitsu,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 110, No. 229, p. 25-29, 2010/10/07
  • AT-3-3 Specifying Concurrent Systems for Model Checking, Tsuchiya Tatsuhiro, Proceedings of the Society Conference of IEICE, The Institute of Electronics, Information and Communication Engineers, Vol. 2010, p. "SS-61"-"SS-63", 2010/08/31
  • Report on Winter Workshop 2010 in Kurashiki, CHUBACHI Yoshihide,KAWAGUCHI Shinji,HIGO Yoshiki,NAKAMURA Masahide,HANYUDA Eiiti,WASHIZAKI Hironori,TSUCHIYA Tatsuhiro,ISHIGURO Masaki,UMEMURA Akihiro,MORISAKI Shuji,KISHI Tomoji, 研究報告組込みシステム(EMB), 情報処理学会, Vol. 2010, No. 18, p. 1-8, 2010/05/25
  • Report on Winter Workshop 2010 in Kurashiki, CHUBACHI Yoshihide,KAWAGUCHI Shinji,HIGO Yoshiki,NAKAMURA Masahide,HANYUDA Eiiti,WASHIZAKI Hironori,TSUCHIYA Tatsuhiro,ISHIGURO Masaki,UMEMURA Akihiro,MORISAKI Shuji,KISHI Tomoji, 研究報告ソフトウェア工学(SE), 情報処理学会, Vol. 2010, No. 18, p. 1-8, 2010/05/25
  • Constructing Skip Graphs with Proximity, MAKIKAWA FUMINORI,TSUCHIYA TATSUHIRO,KIKUNO TOHRU, 研究報告電子化知的財産・社会基盤(EIP), 情報処理学会, Vol. 2009, No. 5, p. 1-8, 2009/11/19
  • Constructing Skip Graphs with Proximity, MAKIKAWA FUMINORI,TSUCHIYA TATSUHIRO,KIKUNO TOHRU, 研究報告グループウェアとネットワークサービス(GN), 情報処理学会, Vol. 2009, No. 5, p. 1-8, 2009/11/19
  • Constructing Skip Graphs with Proximity, MAKIKAWA FUMINORI,TSUCHIYA TATSUHIRO,KIKUNO TOHRU, 研究報告マルチメディア通信と分散処理(DPS), 情報処理学会, Vol. 2009, No. 5, p. 1-8, 2009/11/19
  • A gentle introduction to model checking, Tatsuhiro Tsuchiya,Tohru Kikuno, 計測と制御 = Journal of the Society of Instrument and Control Engineers, 計測自動制御学会, Vol. 48, No. 11, p. 797-802, 2009/11
  • Deriving an Asynchronous Consensus Algorithm from a Round Model-Based Algorithm, AKAI Kazuyuki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 238, p. 19-24, 2009/10/13
  • Model Checking-Based Agreement Verification of Consensus Algorithms, NOGUCHI Tatsuya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 238, p. 25-30, 2009/10/13
  • Probabilistic Model Checking of the One-Dimensional Ising Model, Toshifusa Sekizawa,Tatsuhiro Tsuchiya,Koichi Takahashi,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E92D, No. 5, p. 1003-1011, 2009/05
  • Probabilistic Model Checking of the One-Dimensional Ising Model, Toshifusa Sekizawa,Tatsuhiro Tsuchiya,Koichi Takahashi,Tohru Kikuno, IEICE Transactions on Information and Systems, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 92, No. 5, p. 1003-1011, 2009/05
  • Evaluation of a Metropolis Algorithm for Constructing Unstructured Overlay Networks, TAKAMURA Tatsushi,TSUCHIYA Tatsuhiro,KIKUNO Toru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 11, p. 13-17, 2009/04/14
  • Evaluation of a Metropolis Algorithm for Constructing Unstructured Overlay Networks, Tatsushi Takamura,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE Technical Report, The Institute of Electronics, Information and Communication Engineers, Vol. 109, No. 12, p. 13-17, 2009/04
  • Improving Pairwise Testing Using the Properties of the System under Test, HIDESHIMA Kentaro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 444, p. 1-6, 2009/02/23
  • Feature Interaction Verification Using Model Checking with Interpolation, MATSUO Takafumi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 248, p. 23-28, 2008/10/13
  • Using Bounded Model Checking to Verify Consensus Algorithms, Tatsuhiro Tsuchiya,Andre Schiper, Lecture Notes in Computer Science, Springer, Vol. 5218, p. 466-+, 2008/09
  • Detecting Feature Interactions in Home Appliance Networks, Pattara Leelaprute,Takafumi Matsuo,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedins of 9th Int'l Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2008), IEEE COMPUTER SOC, p. 895-+, 2008/08
  • Verifying Feature Interactions in Home Network Systems, Takafumi Matsuo,Pattara Leelaprute,Tatsuhiro Tsuchiya,Tohru Kikuno, IPSJ Journal, 情報処理学会, Vol. 49(6), No. 6, p. 2129-2143, 2008/06
  • Safety Verification of N etworked Appliance Systems, Kikuno Tohru,Matsuo Takafumi,Tsuchiya Tatsuhiro, 日本信頼性学会誌 : 信頼性, 日本信頼性学会, Vol. 30(3), No. 3, p. 243-251, 2008/05
  • Generating PROMELA Models of Fault-Tolerant Distributed Algorithms, MINAMIKAWA Takahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 15, p. 25-30, 2008/04/23
  • Finding the Optimal Configuration of a Cascading Single-Voter TMR System, HAMAMATSU Masashi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 15, p. 31-36, 2008/04/23
  • Generating PROMELA Models of Fault-Tolerant Distributed Algorithms, MINAMIKAWA Takahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 14, p. 25-30, 2008/04/16
  • Finding the Optimal Configuration of a Cascading Single-Voter TMR System, HAMAMATSU Masashi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 14, p. 31-36, 2008/04/16
  • The Lower Bound on the Stabilization Time of Dijkstra's Three State Mutual Exclusion Algorithm, KIMOTO Masahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 108, No. 11, p. 41-47, 2008/04/11
  • Automatically Generating Testcases with the NuSMV Model Checker, KADONO Masaya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, 情報処理学会研究報告組込みシステム(EMB), Information Processing Society of Japan (IPSJ), Vol. 2008, No. 32, p. 155-160, 2008/03/28
  • Automatically Generating Testcases with the NuSMV Model Checker, KADONO Masaya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, 情報処理学会研究報告. SLDM, [システムLSI設計技術], Information Processing Society of Japan (IPSJ), Vol. 134, p. 155-160, 2008/03/27
  • Automatically Generating Testcases with the NuSMV Model Checker, KADONO Masaya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 107, No. 559, p. 155-160, 2008/03/20
  • Automatically Generating Testcases with the NuSMV Model Checker, KADONO Masaya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 107, No. 558, p. 155-160, 2008/03/20
  • Using Bounded Model Checking to Verify Consensus Algorithms, Tatsuhiro Tsuchiya,Andre Schiper, DISTRIBUTED COMPUTING, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Vol. 5218, p. 466-+, 2008
  • Pairwise testing in the presence of configuration change cost, Shin Kimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, Vol. 32-38, p. 32-38, 2008
  • Finding the optimal configuration of a cascading TMR system, Masashi Hamamatsu,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, Vol. 349-350, p. 349-350, 2008
  • language and tool support for model checking of fault-tolerant distributed algorithms, Takahiro Minamikawa,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, Vol. 40-47, p. 40-47, 2008
  • Pairwise testing in the presence of configuration change cost, Shin Kimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, Vol. 32-38, p. 32-38, 2008
  • Detecting feature interactions in home appliance networks, Pattara Leelaprute,Takafumi Matsuo,Tatsuhiro Tsuchiya,Tohru Kikuno, PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, IEEE COMPUTER SOC, p. 895-+, 2008
  • Safety Verification of Networked Appliance Systems(<Special Survey>"Case Studies on Reliability, Maintainability and Safety -10 Years from the last Reliability Handbook Publication-" Part 3 Information Processing and Software Engineering), MATSUO Takafumi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, The Journal of Reliability Engineering Association of Japan, Reliability Engineering Association of Japan, Vol. 30, No. 3, p. 243-251, 2008
  • An automatic real-time analysis of the time to reach consensus, Tatsuhiro Tsuchiya,Andre Schiper, 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, IEEE COMPUTER SOC, Vol. pp.53-60, p. 53-+, 2007/12
  • Gossip-Type Broadcast Using an Erasure Correcting Code, TERASAWA Masaki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 107, No. 254, p. 31-35, 2007/10/08
  • Designing Pairwise Testsets that Optimize Executing Cost, KIMOTO Shin,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 107, No. 254, p. 47-50, 2007/10/08
  • Gossip-Type Broadcast Using an Erasure Correcting Code, TERASAWA Masaki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 107, No. 255, p. 31-35, 2007/10/08
  • Designing Pairwise Testsets that Optimize Executing Cost, KIMOTO Shin,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 107, No. 255, p. 47-50, 2007/10/08
  • A Survey on Pairwise Testing, Tatsuhiro Tsuchiya,Tohru Kikuno, The IEICE transactions on information and systems (Japanese edetion), 電子情報通信学会, Vol. 91, No. 8, p. 2201-2201, 2007/10
  • A Survey of Pairwise Testing, TSUCHIYA Tatsuhiro,KIKUNO Tohru, The IEICE transactions on information and systems, The Institute of Electronics, Information and Communication Engineers, Vol. 90, No. 10, p. 2663-2674, 2007/10/01
  • On decreasing the number of hops needed for long-distance communications in overlay networks, MAKIKAWA Fuminori,MATSUO Takafumi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 106, No. 292, p. 13-18, 2006/10/10
  • On decreasing the number of hops needed for long-distance communications in overlay networks, MAKIKAWA Fuminori,MATSUO Takafumi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 106, No. 290, p. 13-18, 2006/10/10
  • An Energy-Efficient Broadcast Scheme for Wireless Mobile Ad Hoc Networks Using Variable-Range Transmission Power, WONG TheinLai,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 106, No. 198, p. 31-36, 2006/07/25
  • An adaptive message retransmission mechanism for improving the reliability of gossip-based broadcast, OKUYAMA Takuya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 106, No. 198, p. 49-54, 2006/07/25
  • Counter-based reliability optimization for gossip-based broadcasting, Tatsuhiro Tsuchiya,Shinichi Ikeda,Tohru Kikuno, COMPUTER COMMUNICATIONS, ELSEVIER SCIENCE BV, Vol. 29, No. 9, p. 1516-1521, 2006/05
  • Counter-based reliability optimization for gossip-based broadcasting, Tatsuhiro Tsuchiya,Shinichi Ikeda,Tohru Kikuno, COMPUTER COMMUNICATIONS, ELSEVIER SCIENCE BV, Vol. 29, No. 9, p. 1516-1521, 2006/05
  • Counter-based reliability optimization for gossip-based broadcasting, Tatsuhiro Tsuchiya,Shinichi Ikeda,Tohru Kikuno, COMPUTER COMMUNICATIONS, ELSEVIER SCIENCE BV, Vol. 29, No. 9, p. 1516-1521, 2006/05
  • On Improving the Reliability of Gossip-Type Broadcast through Erasure Coding, TERASAWA Masaki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 106, No. 4, p. 7-12, 2006/04/07
  • On Improving the Reliability of Gossip-Type Broadcast through Erasure Coding, TERASAWA Masaki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 106, No. 3, p. 7-12, 2006/04/07
  • Counter-based Reliability Optimization for Gossip-based Broadcasting, Tatsuhiro Tsuchiya,Shinichi Ikeda,Tohru Kikuno, Computer Communications, 2006/04
  • Model Checking Integrated Services of Home Network Systems, MATSUO Takafumi,LEELAPRUTE Pattara,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 105, No. 597, p. 7-12, 2006/02/03
  • A decentralized scheme for network-aware reliable overlay construction, Shinichi Ikeda,Tatsuhiro Tsuchiya,Tohru Kikuno, INFORMATION NETWORKING, SPRINGER-VERLAG BERLIN, Vol. 3961, p. 955-+, 2006
  • Improving the robustness of epidemic communication in scale-free networks, T Okuyama,T Tsuchiya,T Kikuno, BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Vol. 3853, p. 294-305, 2006
  • A decentralized scheme for network-aware reliable overlay construction, Shinichi Ikeda,Tatsuhiro Tsuchiya,Tohru Kikuno, INFORMATION NETWORKING, SPRINGER-VERLAG BERLIN, Vol. 3961, p. 955-+, 2006
  • Improving the robustness of epidemic communication in scale-free networks, T Okuyama,T Tsuchiya,T Kikuno, BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Vol. 3853, p. 294-305, 2006
  • Improving the robustness of epidemic communication in scale-free networks, Takuya Okuyama,Tatsuhiro Tsuchiya,Tohru Kikuno, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Vol. 3853, p. 294-305, 2006
  • A Decentralized Scheme for Network-Aware Reliable Overlay Construction, Shinichi Ikeda,Tatsuhiro Tsuchiya,Tohru Kikuno, 2006/01
  • Improving the robustness of epidemic communication in scale-free networks, T Okuyama,T Tsuchiya,T Kikuno, BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Vol. 3853, p. 294-305, 2006
  • [3-2] ハードウェアRAMフォールトに対するソフトウェアによる監視方法(セッション3 試験,解析,一般,日本信頼性学会 第14回春季信頼性シンポジウム 報告), Vol. 28, No. 4, 2006
  • 3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3), Vol. 2006, No. 0, p. 51-54, 2006
  • A Network Aware Overlay Construction and its Reliability Evaluation, IKEDA Shinichi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 105, No. 339, p. 1-5, 2005/10/17
  • Improving the Reliability of Gossip Algorithms in Scale-Free Networks, OKUYAMA Takuya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 105, No. 339, p. 7-12, 2005/10/17
  • A Network Aware Overlay Construction and its Reliability Evaluation, IKEDA Shinichi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 105, No. 337, p. 1-5, 2005/10/17
  • Improving the Reliability of Gossip Algorithms in Scale-Free Networks, OKUYAMA Takuya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 105, No. 337, p. 7-12, 2005/10/17
  • Model Checking a Distributed Consensus Algorithm against a Safety Property, MATSUO Takafumi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 105, No. 123, p. 1-5, 2005/06/10
  • On Improving the Reliability of Probabilistic Broadcast with an Adaptive Technique, TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 104, No. 346, p. 1-4, 2004/10/18
  • On Improving the Reliability of Probabilistic Broadcast with an Adaptive Technique, TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Data engineering, The Institute of Electronics, Information and Communication Engineers, Vol. 104, No. 344, p. 1-4, 2004/10/18
  • A-042 An Ant Algorithm for Solving the P-Median Problem, Yamamoto Hiroshi,Tsuchiya Tatsuhiro,Kikuno Tohru, 情報科学技術フォーラム一般講演論文集, Forum on Information Technology, Vol. 3, No. 1, p. 97-98, 2004/08/20
  • C-009 On the Effects of Structuring Partial Membership Views on the Reliability of Gossip-Based Multicast, Igarashi Daisuke,Tsuchiya Tatsuhiro,Kikuno Tohru, 情報科学技術フォーラム一般講演論文集, Forum on Information Technology, Vol. 3, No. 1, p. 241-242, 2004/08/20
  • C-010 Analysis on the Reliability of a Gossip-Type Broadcasting Protocol for Ad Hoc Networks, Ikeda Shinichi,Tsuchiya Tatsuhiro,Kikuno Tohru, 情報科学技術フォーラム一般講演論文集, Forum on Information Technology, Vol. 3, No. 1, p. 243-244, 2004/08/20
  • Symbolic Model Checking Concurrent Software Systems, Tatsuhiro Tsuchiya,Tohru Kikuno, 電子情報通信学会, p. 303-308, 2004/04
  • A Self-Organizing Technique for Sensor Placement in Wireless Micro-sensor Networks, TheinLai Wong,Tatsuhiro Tsuchiya,Tohru Kikuno, 18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1 (LONG PAPERS), PROCEEDINGS, IEEE COMPUTER SOC, p. 78-83, 2004/03
  • An adaptive mechanism for epidemic communication, T Tsuchiya,T Kikuno, BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, SPRINGER-VERLAG BERLIN, Vol. 3141, p. 306-316, 2004
  • On the effects of partial membership knowledge on reliability of gossip-based multicast, T Tsuchiya,T Kikuno, 10TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, IEEE COMPUTER SOC, p. 76-83, 2004
  • An adaptive mechanism for epidemic communication, T Tsuchiya,T Kikuno, BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, SPRINGER-VERLAG BERLIN, Vol. 3141, p. 306-316, 2004
  • On the effects of partial membership knowledge on reliability of gossip-based multicast, T Tsuchiya,T Kikuno, 10TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, IEEE COMPUTER SOC, p. 76-83, 2004
  • A self-organizing technique for sensor placement in wireless micro-sensor networks, TL Wong,T Tsuchiya,T Kikuno, 18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1 (LONG PAPERS), PROCEEDINGS, IEEE COMPUTER SOC, p. 78-83, 2004
  • On the effects of partial membership knowledge on reliability of gossip-based multicast, Tatsuhiro Tsuchiya,Tohru Kikuno, Proceedings - IEEE Pacific Rim International Symposium on Dependable Computing, IEEE CS Press, p. 76-83, 2004
  • An Adaptive Mechanism for Epidemic Communication, Tatsuhiro Tsuchiya,Tohru Kikuo, Proc. First International Workshop on Biologically Inspired Approaches (Bio-ADIT 2004), 2004/01
  • Metaheuristics for Test Generation for Combinatorial Testing, SHIBA Toshiaki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 103, No. 535, p. 1-8, 2003/12/19
  • A Bounded Model Checking Method based on Quantifier-Free Presburger Arithmetics, TANAKA Takahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 103, No. 535, p. 9-14, 2003/12/19
  • Metaheuristics for Test Generation for Combinatorial Testing, SHIBA Toshiaki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング, Vol. 103, No. 535, p. 1-8, 2003/12/12
  • A Bounded Model Checking Method based on Quantifier-Free Presburger Arithmetics, TANAKA Takahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング, Vol. 103, No. 535, p. 9-14, 2003/12/12
  • A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks, WONG TheinLai,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Theoretical foundations of Computing, The Institute of Electronics, Information and Communication Engineers, Vol. 103, No. 394, p. 17-23, 2003/10/27
  • A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks, WONG TheinLai,TSUCHIYA Tatsuhiro,KIKUNO Tohru, 電子情報通信学会技術研究報告. COMP, コンピュテーション, Vol. 103, No. 394, p. 17-23, 2003/10/20
  • On the Effects of Partial Membership Knowledge on Performance and Reliability of Gossip, TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Data engineering, The Institute of Electronics, Information and Communication Engineers, Vol. 103, No. 355, p. 1-6, 2003/10/08
  • On the Effects of Partial Membership Knowledge on Performance and Reliability of Gossip, TSUCHIYA Tatsuhiro,KIKUNO Tohru, 電子情報通信学会技術研究報告. DE, データ工学, Vol. 103, No. 355, p. 1-6, 2003/10/01
  • On the Effects of Partial Membership Knowledge on Performance and Reliability of Gossip, TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 103, No. 357, p. 1-6, 2003/10/01
  • A SAT-based Model Verification Method for Petri nets, OGATA Shougo,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. CST, The Institute of Electronics, Information and Communication Engineers, Vol. 103, No. 247, p. 7-12, 2003/07/29
  • Improving the performance of SAT-based model checking for Petri nets, ICHIHARA Koji,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 616, p. 7-11, 2003/01/23
  • New 2-Factor Covering Designs for Software Testing, Noritaka Kobayashi,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE, Vol. 85, No. 12, p. 2946-2949, 2002/12
  • A SAT-based Model Checking Method for Asynchronous Concurrent Systems, TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 378, p. 31-36, 2002/10/11
  • A SAT-based Model Checking Method for Asynchronous Concurrent Systems, TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Data engineering, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 376, p. 31-36, 2002/10/11
  • マルチプロセッサシステムの信頼性, Vol. 85, No. 6, p. 427-429, 2002/06
  • On Dependability of Multiprocessor Systems, Tatsuhiro Tsuchiya,Tohru Kikuno, The Journal of the Institute of Electronics,Information and Communication Engineers, 電子情報通信学会, Vol. 85, No. 6, p. 427-429, 2002/06
  • Implementing a SAT-Based Model Checking Tool, TANAKA Takahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 28, p. 1-6, 2002/04/12
  • Report on International Conference on Dependable Systems and Networks (DSN), KIKUNO Tohru,TSUCHIYA Tatsuhiro, IEICE technical report. Dependable computing, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 28, p. 25-30, 2002/04/12
  • Implementing a SAT-Based Model Checking Tool, TANAKA Takahiro,TSUCHIYA Tatsuhiro,KIKUNO Tohru, IEICE technical report. Computer systems, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 27, p. 1-6, 2002/04/12
  • Report on International Conference on Dependable Systems and Networks (DSN), KIKUNO Tohru,TSUCHIYA Tatsuhiro, IEICE technical report. Computer systems, The Institute of Electronics, Information and Communication Engineers, Vol. 102, No. 27, p. 25-30, 2002/04/12
  • Research Directions of DSN(International Conference on Dependable Systems and Networks), Kikuno Tohru,Tsuchiya Tatsuhiro, Proceedings of the IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Vol. 2002, No. 1, p. 234-235, 2002/03/07
  • A Verification Method for Petri Nets Using Satisfiability Solvers, ASHIDA Eiji,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 101, No. 629, p. 1-6, 2002/01/23
  • On fault classes and error detection capability of specification-based testing, Tatsuhiro Tsuchiya,Tohru Kikuno, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, ACM Press, Vol. 11, No. 1, p. 58-62, 2002/01
  • A New Method for Constructing Pair-wise Covering Designs for Software Testing, Noritaka Kobayashi,Tatsuhiro Tsuchiya,Tohru Kikuno, INFORMATION PROCESSING LETTERS, Elsevier Science, Vol. 81, No. 2, p. 85-81, 2002/01
  • On fault classes and error detection capability of specification-based testing, T Tsuchiya,T Kikuno, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, ASSOC COMPUTING MACHINERY, Vol. 11, No. 1, p. 58-62, 2002/01
  • A new method for constructing pair-wise covering designs for software testing, N Kobayashi,T Tsuchiya,T Kikuno, INFORMATION PROCESSING LETTERS, ELSEVIER SCIENCE BV, Vol. 81, No. 2, p. 85-91, 2002/01
  • Design and Evaluation of a Boolean Function-Based Deadlock Detection Method for Concurrent Systems, TOKUDA Yusuke,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 100, No. 569, p. 25-32, 2001/01/15
  • Automatic Verification of Fault Tolerance Using Symbolic Model Checking, YOKOGAWA Tomoyuki,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 100, No. 569, p. 33-40, 2001/01/15
  • Constructing Optimal k-Coteries in General Networks, CHOI Eunhye,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 100, No. 569, p. 41-48, 2001/01/15
  • Symbolic Model Checking for Self-Stabilizing Algorithms, Tatsuhiro Tsuchiya,Shin'ichi Nagano,Rohayu Bt Paidi,Tohru Kikuno, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, IEEE CS Press, Vol. 12, No. 1, p. 81-94, 2001/01
  • Computing the Stabilization Times of Self-Stabilizing Systems, Tatsuhiro Tsuchiya,Yusuke Tokuda,Tohru Kikuno, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE, Vol. 83, No. 11, p. 2245-2252, 2000/11
  • モデル検査手法を用いたシステムの耐故障性の自動検証, 横川智教,土屋達弘,菊野亨, 情報処理学会全国大会講演論文集, Vol. 61st, No. 1, 2000/10/03
  • A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems, Koji Hashimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, JOURNAL OF SYSTEMS AND SOFTWARE, Elsevier Science, Vol. 53, No. 2, p. 159-171, 2000/08
  • Dependability Evaluation of the Weighted Voting Scheme in the Presence of Node and Link Failures, Tatsuhiro Tsuchiya,Tohru Kikuno, COMPUTER SYSTEMS SCIENCE AND ENGINEERING, CRL Publishing, Vol. 15, No. 3, p. 181-189, 2000/08
  • New Constructions for Nondominated k-Coteries, Eun Hye Choi,Tatsuhiro Tsuchiya,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE, Vol. 83, No. 7, p. 1526-1532, 2000/07
  • Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems, Koji Hashimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, IEEE CS Press, p. 203-212, 2000/06
  • Parallelizing SDP (Sum of Disjoint Products) Algorithms for Fast Reliability Analysis, Tatsuhiro Tsuchiya,Tomoya Kajikawa,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE, Vol. 83, No. 5, p. 1183-1186, 2000/05
  • Finding Optimal Resourse Allocation that Maximizes Reliability of Distributed Systems, ENAMI Yoshinobu,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 99, No. 547, p. 49-56, 2000/01/18
  • On Symbolic Model Checking Self-Stabilizing Algorithms, TSUCHIYA Tatsuhiro,NAGANO Shin'ichi,PAIDI Rohayu Bt,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 99, No. 424, p. 55-62, 1999/11/12
  • On Symbolic Model Checking Self-Stabilizing Algorithms, TSUCHIYA Tatsuhiro,NAGANO Shin'ichi,PAIDI Rohayu Bt,KIKUNO Tohru, Technical report of IEICE. KBSE, The Institute of Electronics, Information and Communication Engineers, Vol. 99, No. 426, p. 55-62, 1999/11/12
  • On Symbolic Model Checking Self-Stabilizing Algorithms, 土屋 達弘,菊野 亨,長野 伸一, 電子情報通信学会技術研究報告, 電子情報通信学会, Vol. 99, No. 424, p. 55-62, 1999/11/12
  • On Symbolic Model Checking Self-Stabilizing Algorithms, 土屋 達弘,菊野 亨,長野 伸一, 電子情報通信学会技術研究報告, 電子情報通信学会, Vol. 99, No. 426, p. 55-62, 1999/11/12
  • Inplementation of Fault-Tolerant Parallel Branch-and-Bound Search on a Cluster of Workstations, KOBAYASHI Noritaka,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 99, No. 164, p. 49-55, 1999/07/09
  • Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks, Tatsuhiro Tsuchiya,Tohru Kikuno, COMPUTER JOURNAL, Oxford University Press, Vol. 42, No. 7, p. 613-622, 1999/07
  • Constructing Byzantine quorum systems from combinatorial designs, Tatsuhiro Tsuchiya,Nobuhiko Ido,Tohru Kikuno, INFORMATION PROCESSING LETTERS, Elsevier Science, Vol. 71, No. 1, p. 35-42, 1999/07
  • New construction of k-conteries that dominate k-majority coteries, Eun Hye Choi,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. 1999 International Technical Conference on Circuits/Systems, Computers and Communications, p. 1116-1119, 1999/07
  • Minimizing the maximum delay for reaching consensus in quorum-based mutual exclusion schemes, T Tsuchiya,M Yamaguchi,T Kikuno, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 10, No. 4, p. 337-345, 1999/04
  • Minimizing the maximum delay for reaching consensus in quorum-based mutual exclusion schemes, T Tsuchiya,M Yamaguchi,T Kikuno, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 10, No. 4, p. 337-345, 1999/04
  • Minimizing the maximum delay for reaching consensus in quorum-based mutual exclusion schemes, Tatsuhiro Tsuchiya,Masatoshi Yamaguchi,Tohru Kikuno, IEEE Transactions on Parallel and Distributed Systems, IEEE CS Press, Vol. 10, No. 4, p. 337-345, 1999/04
  • On the availability of k-Coteries in networks with unreliable nodes and links, Eun Hye Choi,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. 4th International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE CS Press, p. 225-237, 1999/02
  • Verification of Statechart Specifications Using Symbolic Model Checking, TERADA Hirofumi,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 98, No. 558, p. 17-24, 1999/01/22
  • A multiprocessor scheduling algorithm for low overhead fault-tolerance, Koji Hashimoto,Tatsuhiro Tsuchiya,Tohru Kikuno, SEVENTEENTH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, IEEE CS Press, p. 186-194, 1998/10
  • A Scheduling Algorithm Using Height-Based Partitioning for Fault-Tolerance in Multiprocessor Systems, HASHIMOTO Koji,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 98, No. 294, p. 15-22, 1998/09/21
  • Finding Optimal Coteries That Maximize Availability, Tsuchiya Tatsuhiro,Kikuno Tohru, Proceedings of the Society Conference of IEICE, The Institute of Electronics, Information and Communication Engineers, Vol. 1998, 1998/09/07
  • Genetics-based multiprocessor scheduling using task duplication, Tatsuhiro Tsuchiya,Tetsuya Osada,Tohru Kikuno, MICROPROCESSORS AND MICROSYSTEMS, Elsevier Science, Vol. 22, No. 3-4, p. 197-207, 1998/08
  • Study on Accuracy Improvement of Solutions in a Genetic Algorithm for Multiprocessor Scheduling, ENAMI Yoshinobu,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 98, No. 230, p. 9-16, 1998/07/31
  • Availability evaluation of k-coteries on distributed systems with unreliable nodes and links, Eun Hye Choi,Tatsuhiro Tsuchiya,Tohru Kikuno, Proc. 1998 International Technical Conference on Circuits/Systems, 一般社団法人電子情報通信学会, Vol. 98, No. 86, p. 25-32, 1998/07
  • Maximizing availability of quorum-based exclusion mechanisms, Tatsuhiro Tsuchiya,Tohru Kikuno, Digest of Fast Abstracts : FTCS-28, IEEE CS Press, 1998/06
  • Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes, TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 98, No. 85, p. 1-8, 1998/05/28
  • Efficient Scheduling for a Class of IRIS(Increasing Reward with Increasing Service) Real-Time Tasks on Multiple Non-Real-Time Servers, MORI Masaya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 97, No. 522, p. 49-54, 1998/01/30
  • Hierarchical modeling and evaluation of distributed systems, Eun Hye Choi,Tatsuhiro Tsuchiya,Tohru Kikuno, PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, IEEE CS Press, p. 91-96, 1997/12
  • A new heuristic algorithm based on GAs for multiprocessor scheduling with task duplication, Tatsuhiro Tsuchiya,Tetsuya Osada,Tohru Kikuno, ICA(3)PP 97 - 1997 3RD INTERNATIONAL CONFERENCE ON ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, World Scientific, p. 295-308, 1997/12
  • 国際会議FTCS-27に参加して, Vol. 49, No. 4, p. 25-27, 1997/10
  • Derivation of safety requirements for safety analysis of object-oriented design documents, Tatsuhiro Tsuchiya,Hirofumi Terada,Shinji Kusumoto,Tohru Kikuno,Eun Mi Kim, COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, IEEE CS Press, p. 252-255, 1997/08
  • Hierarchical Modeling and Dependability Evaluation of Distributed Systems, Choi Eunhye,Tsuchiya Tatsuhiro,Kikuno Tohru, Technical report of IEICE. FTS, The Institute of Electronics, Information and Communication Engineers, Vol. 97, No. 98, p. 49-56, 1997/06/13
  • Dependability Evaluation of a Distributed Replicated Control Mechanism in the Presence of Site and Link Failures, Tsuchiya Tatsuhiro,Kikuno Tohru, Technical report of IEICE. FTS, The Institute of Electronics, Information and Communication Engineers, Vol. 97, No. 98, p. 57-62, 1997/06/13
  • A new approach to realizing fault-tolerant multiprocessor scheduling by exploiting implicit redundancy, HASHIMOTO Koji,TSUCHIYA Tatsuhiro,KAKUDA Yoshiaki,KIKUNO Tohru, TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, IEEE CS Press, p. 174-183, 1997/06
  • Scheduling Backup Tasks for Fault-Tolerance in Real-Time Multiprocessor Systems, MORI Masaya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 96, No. 600, p. 17-24, 1997/03/18
  • An Approach to Safety Verification of Object-Oriented Design Specifications, Kim Eun Mi,Terada Hirofumi,Tsuchiya Tatsuhiro,Kusumoto Shinji,Kikuno Tohru, Proceedings of the IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Vol. 1997, No. 1, 1997/03/06
  • An approach to safety verification of object-oriented design specification for an elevator control system, Eun Mi Kim,Yoshiaki Kakuda,Tatsuhiro Tsuchiya,Tohru Kikuno, THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, I E E E, COMPUTER SOC PRESS, p. 256-263, 1997/02
  • Three-mode failure model for reliability analysis of distributed programs, Tatsuhiro Tsuchiya,Yoshiaki Kakuda,Tohru Kikuno, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE, Vol. 80, No. 1, p. 3-9, 1997/01
  • Modeling and evaluation of responsive multiprocessor systems, T Tsuchiya,Y Kakuda,T Kikuno, SYSTEMS AND COMPUTERS IN JAPAN, SCRIPTA TECHNICA-JOHN WILEY & SONS, Vol. 27, No. 14, p. 20-28, 1996/12
  • Application of Genetic-Algorithm-Based Method to Scheduling Parallel Programs Using Task Duplication, OSADA Tetsuya,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 96, No. 348, p. 17-24, 1996/11/06
  • On Fault-Tolerant Scheduling Algorithm for a Multiprocessor System, HASHIMOTO Koji,TSUCHIYA Tatsuhiro,KIKUNO Tohru, Technical report of IEICE. SS, The Institute of Electronics, Information and Communication Engineers, Vol. 96, No. 348, p. 25-32, 1996/11/06
  • Determination of Optimized Task Redundancy Levels in Hard Real-Time Multiprocessor Systems, TSUCHIYA Tatsuhiro,KAKUDA Yoshiaki,KIKUNO Tohru, Technical report of IEICE. ICD, The Institute of Electronics, Information and Communication Engineers, Vol. 96, No. 21, p. 71-76, 1996/04/26
  • On Fault-Tolerant Scheduling in Multiprocessor Systems with Interprcessor Communication Times, Hashimoto Kouji,Tsuchiya Tatsuhiro,Kakuda Yoshiaki,Kikuno Tohru, Proceedings of the IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Vol. 1996, No. 1, 1996/03/11
  • Fault-tolerant scheduling algorithm for distributed real-time systems, TSUCHIYA Tatsuhiro,KAKUDA Yoshiaki,KIKUNO Tohru, Proc. 3rd Workshop on Parallel and Distributed Real-Time Systems, IEEE CS Press, 1995/10
  • Modeling and evaluation of responsive multiprocessor systems, TSUCHIYA Tatsuhiro,KAKUDA Yoshiaki,KIKUNO Tohru, The Transactions of the Institute of Electronics,Information and Communication Engineers., 一般社団法人電子情報通信学会, Vol. 78, No. 8, p. 699-707, 1995/08/25
  • Modeling and evaluation of responsive multiprocessor systems, TSUCHIYA Tatsuhiro,KAKUDA Yoshiaki,KIKUNO Tohru, 電子情報通信学会論文誌D, 電子情報通信学会, Vol. 78, No. 8, p. 699-707, 1995/08
  • A new fault-tolerant scheduling technique for real-time multiprocessor systems, TSUCHIYA Tatsuhiro,KAKUDA Yoshiaki,KIKUNO Tohru, Proc. 2nd International Workshop on Real-Time Computing Systems and Applications, IEEE CS Press, 1995/04
  • Calculating performability measures of responsive systems, TSUCHIYA Tatsuhiro,CHEN Chang,KAKUDA Yoshiaki,KIKUNO Tohru, Proc. 2nd ISSAT International Conference Reliability & Quality in Design, Proc. 2nd ISSAT International Conference Reliability & Quality in Design, 1995/03
  • Evaluation of Reconfigurable Distributed Real-Time Systems, Tsuchiya Tatsuhiro,Kakuda Yoshiaki,Kikuno Tohru, 電子情報通信学会秋季大会講演論文集, The Institute of Electronics, Information and Communication Engineers, Vol. 1994, p. 453-454, 1994/09/26
  • Modeling and performability evaluation of reconfigurable responsive systems, Tsuchiya Tatsuhiro,Chen Chang,Kakuda Yoshiaki,Kikuno Tohru, IEICE technical report. Computer systems, The Institute of Electronics, Information and Communication Engineers, p. CPSY93-57, 1994

Publications

  • 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Guojun Wang,Tatsuhiro Tsuchiya,Dong Xiang, IEEE CSP, ISBN:9781467393768, 2015/11
  • 教養のコンピュータアルゴリズム, 共立出版, ISBN:9784320122444, 2009/11
  • ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術, 共立出版, ISBN:432012152X, 2005/11

Works

  • CIT-BACH, Tstsuhiro Tsuchiya, 2014/03/08 - Present

Awards

  • 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018) best paper, Hao Jin,Tatsuhiro Tsuchiya, 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018), 2018/12
  • 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
  • PRDC 2017 best paper, Teru Ohashi,Tatsuhiro Tsuchiya, 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018), 2017/01
  • PRDC 2011 best paper, Shun Tokuyama,Tatsuhiro Tsuchiya,Tohru Kikuno, 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011/12
  • 電子情報通信学会 情報・システムソサイエティ 査読功労賞, 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
  • IEEE 関西支部Gold賞, 2008/02
  • 国際会議ICA3PP最優秀論文賞, 1997
  • 電気関係学会関西支部連合大会奨励賞, 1995

Presentations

  • ソフトウェアの検証・テストにおける理論と実践, 2020/08/29
  • Using Boolean functions to address dependability issues of systems and software, 2019 International Seminar on Theoretical Computer Science, 2019/07/25
  • How a classical computer science subject can help systems assurance, Tatsuhiro Tsuchiya, The 17th International Workshop on Assurance in Distributed Systems and Networks, 2018/10/08
  • On transfer of distributed computing theory to cloud computing practice, Tatsuhiro Tsuchiya, 2013 international conference on information science and cloud computing (ISCC 2013), 2013/12/07

Academic Activities

  • IEEE Kansai Section (Past Awards Committee Chair ), 2019/02 - 2020/12
  • IEEE Kansai Section (Awards Committee Chair), 2015/02 - 2019/01
  • IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC'17), IEEE Computer Society, 2017/01 -
  • 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), IEEE Computer Society, 2016/03 -
  • IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC'15), IEEE Computer Society, 2015/11 -
  • IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC'14), IEEE Computer Society, 2014/11 -
  • IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC'13), IEEE Computer Society, 2013/12 -
  • IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC'12), IEEE Computer Society, 2012/11 -
  • SACSIS 2012, 情報処理学会他, 2012/05 -
  • IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC'11), 2011/12 -
  • IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC'10), 2010/12 -
  • IEEE 15th Pacific Rim International Symposium on Dependable Computing (PRDC'09), 2009/11 -
  • ソフトウェアと検証のワークショップ (Workshop on Software and Verification; WSV2009), 2009/04 -
  • The 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2009), 2009/03 -
  • IEEE 14th Pacific Rim International Symposium on Dependable Computing (PRDC'08), 2008/12 -
  • The 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), 2008/11 -
  • 2008 International Conference on High Performance Computing and Communications (HPCC-08), 2008/09 -
  • The 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2008), 2008/05 -
  • DSN 2007 Performance and Dependability Symposium, 2007/06 -
  • The 8th International Symposium on Autonomous Decentralized Systems, 2007/03 -
  • SACSIS 2006, 2006/05 -
  • IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006/04 -
  • 2nd Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT 2006), 2006/01 -
  • 11th International Conference on Parallel and Distributed Systems (ICPADS 2005), 2005/07 -
  • DSN 2005 Performance and Dependability Symposium (PDS 2005), 2005/06 -
  • The International Conference on Dependable Systems and Networks (DSN 2005), 2005/06 -
  • 12th Asian Test Symposium (ATS 2003), 2003/11 -
  • 6th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2003), 2003/05 -
  • 2002 Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002/12 -
  • 11th Asian Test Symposium (ATS 2002), 2002/11 -
  • 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002/10 -
  • 7th Conference on Real-Time Computing Systems and Applications (RTCSA 2000), 2000/12 -

Committee Memberships

  • 副委員長, 2020/06 - Present
  • 40th International Symposium on Reliable Distributed Systems (SRDS 2021), Program committee member, 2021 - 2021/09
  • Third IEEE International Conference On Artificial Intelligence Testing (AiTest 2021), Program committee member, 2021 - 2021/08
  • IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), Testing Tools Track Program Committee member, 2021 - 2021/04
  • 10th International Workshop on Combinatorial Testing ( IWCT 2021), Program committee member, 2021 - 2021/04
  • 情報処理学会第83回全国大会副実行委員長, 2021/03 - 2021/03
  • 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Program committee member, 2020 - 2020/12
  • 39th International Symposium on Reliable Distributed Systems (SRDS 2020), Program committee member, 2020 - 2020/09
  • Second IEEE International Conference On Artificial Intelligence Testing (AiTest 2020), Program committee member, 2020 - 2020/08
  • The 17th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2019), Program Chair, 2019/08 - 2019/08
  • 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019), Program committee member, 2019 - 2019
  • 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), Publicity chair, 2019 - 2019