The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tatsuhiro Tsuchiya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
    A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. [Citation Graph (0, 0)][DBLP]
    AINA (1), 2004, pp:78-83 [Conf]
  2. Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
    Describing and Verifying Integrated Services of Home Network Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:549-560 [Conf]
  3. Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno
    SAT-Based Verification of Safe Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:79-92 [Conf]
  4. Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
    Improving the Robustness of Epidemic Communication in Scale-Free Networks. [Citation Graph (0, 0)][DBLP]
    BioADIT, 2006, pp:294-305 [Conf]
  5. Tatsuhiro Tsuchiya, Tohru Kikuno
    An Adaptive Mechanism for Epidemic Communication. [Citation Graph (0, 0)][DBLP]
    BioADIT, 2004, pp:306-316 [Conf]
  6. Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno
    Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:72-77 [Conf]
  7. Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim
    Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:232-239 [Conf]
  8. Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim
    Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:252-0 [Conf]
  9. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
    Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:203-212 [Conf]
  10. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
    Applicability of Non-Specification-Based Approaches to Logic Testing for Software. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:337-346 [Conf]
  11. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
    A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. [Citation Graph (0, 0)][DBLP]
    FTCS, 1997, pp:174-183 [Conf]
  12. Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
    Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. [Citation Graph (0, 0)][DBLP]
    ICOIN (1), 2002, pp:641-651 [Conf]
  13. Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
    Optimal k-Coteries That Maximize Availability in General Networks. [Citation Graph (0, 0)][DBLP]
    ICOIN (2), 2002, pp:596-608 [Conf]
  14. Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno
    A Decentralized Scheme for Network-Aware Reliable Overlay Construction. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2006, pp:955-964 [Conf]
  15. Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno
    Overlay Network Topologies for Gossip-Based Multicast. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2005, pp:2-7 [Conf]
  16. Tatsuhiro Tsuchiya, Tohru Kikuno
    On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. [Citation Graph (0, 0)][DBLP]
    PRDC, 2004, pp:76-83 [Conf]
  17. Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
    Detecting Feature Interactions in Telecommunication Services with a SAT Solver. [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:131-136 [Conf]
  18. Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno
    Automatic Verification of Fault Tolerance Using Model Checking. [Citation Graph (0, 0)][DBLP]
    PRDC, 2001, pp:95-102 [Conf]
  19. Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno
    A new fault-tolerant scheduling technique for real-time multiprocessor systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1995, pp:197-202 [Conf]
  20. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
    A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:186-194 [Conf]
  21. Tatsuhiro Tsuchiya, Tohru Kikuno
    Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1999, v:42, n:7, pp:613-622 [Journal]
  22. Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno
    Counter-based reliability optimization for gossip-based broadcasting. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:9, pp:1516-1521 [Journal]
  23. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
    Non-specification-based approaches to logic testing for software. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:2, pp:113-121 [Journal]
  24. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
    A new method for constructing pair-wise covering designs for software testing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:81, n:2, pp:85-91 [Journal]
  25. Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno
    Constructing Byzantine Quorum Systems from Combinatorial Designs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:71, n:1, pp:35-42 [Journal]
  26. Tatsuhiro Tsuchiya, Tohru Kikuno
    Byzantine quorum systems with maximum availability. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:83, n:2, pp:71-77 [Journal]
  27. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
    A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2000, v:53, n:2, pp:159-171 [Journal]
  28. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
    Minimizing the mean delay of quorum-based mutual exclusion schemes. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2001, v:58, n:1, pp:1-9 [Journal]
  29. Tatsuhiro Tsuchiya, Tohru Kikuno
    On fault classes and error detection capability of specification-based testing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:1, pp:58-62 [Journal]
  30. Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno
    Symbolic Model Checking for Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:1, pp:81-95 [Journal]
  31. Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno
    Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:4, pp:337-345 [Journal]
  32. Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
    Constructing Overlay Networks with Low Link Costs and Short Paths. [Citation Graph (0, 0)][DBLP]
    NCA, 2007, pp:299-304 [Conf]
  33. TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
    A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Networks, 2007, pp:7-12 [Conf]

  34. Towards Automated Verification of Distributed Consensus Protocols. [Citation Graph (, )][DBLP]


  35. An Automatic Real-Time Analysis of the Time to Reach Consensus. [Citation Graph (, )][DBLP]


  36. Using the NuSMV Model Checker for Test Generation from Statecharts. [Citation Graph (, )][DBLP]


  37. Finding the Optimal Configuration of a Cascading TMR System. [Citation Graph (, )][DBLP]


  38. Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. [Citation Graph (, )][DBLP]


  39. Detecting Feature Interactions in Home Appliance Networks. [Citation Graph (, )][DBLP]


  40. Model Checking of Consensus Algorit. [Citation Graph (, )][DBLP]


  41. Using Bounded Model Checking to Verify Consensus Algorithms. [Citation Graph (, )][DBLP]


  42. Pairwise Testing in the Presence of Configuration Change Cost. [Citation Graph (, )][DBLP]


Search in 0.168secs, Finished in 0.169secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002