dblp.uni-trier.dewww.uni-trier.de

Tatsuhiro Tsuchiya Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
43EEToshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009)
42EETakafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Transactions 92-D(6): 1250-1259 (2009)
2008
41EETatsuhiro Tsuchiya, André Schiper: Using Bounded Model Checking to Verify Consensus Algorithms. DISC 2008: 466-480
40EEMasashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno: Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350
39EETakahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47
38EEPattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903
37EETheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A self-organising algorithm for sensor placement in wireless mobile microsensor networks. IJWMC 3(1/2): 69-78 (2008)
2007
36EEFuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304
35EETatsuhiro Tsuchiya, André Schiper: An Automatic Real-Time Analysis of the Time to Reach Consensus. PRDC 2007: 53-60
34 TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. Parallel and Distributed Computing and Networks 2007: 7-12
33EETatsuhiro Tsuchiya, André Schiper: Model Checking of Consensus Algorit. SRDS 2007: 137-148
32EETheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. IEICE Transactions 90-D(3): 680-684 (2007)
2006
31EETakuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305
30EEShinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno: A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964
29EETatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno: Counter-based reliability optimization for gossip-based broadcasting. Computer Communications 29(9): 1516-1521 (2006)
2005
28EEPattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560
27EEDaisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7
2004
26EETheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83
25EEShougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno: SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92
24EETatsuhiro Tsuchiya, Tohru Kikuno: An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316
23EEToshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno: Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77
22EETatsuhiro Tsuchiya, Tohru Kikuno: On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83
2002
21EETakayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651
20EEEun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno: Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608
19EETatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136
18EETatsuhiro Tsuchiya, Tohru Kikuno: On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11(1): 58-62 (2002)
17EENoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: A new method for constructing pair-wise covering designs for software testing. Inf. Process. Lett. 81(2): 85-91 (2002)
16EETatsuhiro Tsuchiya, Tohru Kikuno: Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83(2): 71-77 (2002)
15 Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Non-specification-based approaches to logic testing for software. Information & Software Technology 44(2): 113-121 (2002)
2001
14EENoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346
13EETomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno: Automatic Verification of Fault Tolerance Using Model Checking. PRDC 2001: 95-102
12EETatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno: Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distrib. Syst. 12(1): 81-95 (2001)
11EENoritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Minimizing the mean delay of quorum-based mutual exclusion schemes. Journal of Systems and Software 58(1): 1-9 (2001)
2000
10EEKoji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212
9EEKoji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. Journal of Systems and Software 53(2): 159-171 (2000)
1999
8 Tatsuhiro Tsuchiya, Tohru Kikuno: Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42(7): 613-622 (1999)
7EETatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno: Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distrib. Syst. 10(4): 337-345 (1999)
6EETatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno: Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. 71(1): 35-42 (1999)
1998
5 Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. SRDS 1998: 186-194
1997
4EETatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim: Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. COMPSAC 1997: 232-239
3EETatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim: Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. COMPSAC 1997: 252-
2 Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. FTCS 1997: 174-183
1995
1EETatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202

Coauthor Index

1Eun Hye Choi [20]
2Takayuki Hamada [21]
3Masashi Hamamatsu [40]
4Koji Hashimoto [2] [5] [9] [10]
5Nobuhiko Ido [6]
6Daisuke Igarashi [27]
7Shinichi Ikeda [29] [30]
8Yoshiaki Kakuda [1]
9Tohru Kikuno [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [36] [37] [38] [39] [40] [42] [43]
10Tsuchiya Kikuno [13]
11Eun Mi Kim [3] [4]
12Noritaka Kobayashi [11] [14] [15] [17]
13Shinji Kusumoto [3] [4]
14Pattara Leelaprute [28] [38]
15Fuminori Makikawa [36]
16Ken-ichi Matsumoto [28]
17Takafumi Matsuo [36] [38] [42]
18Takahiro Minamikawa [39]
19Shin'ichi Nagano [12]
20Masahide Nakamura [19] [21] [28]
21Shougo Ogata [25]
22Takuya Okuyama [31]
23Rohayu Bt Paidi [12]
24André Schiper [33] [35] [41]
25Toshifusa Sekizawa [43]
26Toshiaki Shiba [23]
27Koichi Takahashi [43]
28Hirofumi Terada [3] [4]
29TheinLai Wong [26] [32] [34] [37]
30Masatoshi Yamaguchi [7]
31Tomoyuki Yokogawa [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)