Tatsuhiro Tsuchiya

	2009
43		Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009)
42		Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Transactions 92-D(6): 1250-1259 (2009)
	2008
41		Tatsuhiro Tsuchiya, André Schiper: Using Bounded Model Checking to Verify Consensus Algorithms. DISC 2008: 466-480
40		Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno: Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350
39		Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47
38		Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903
37		TheinLai 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
36		Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304
35		Tatsuhiro 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
33		Tatsuhiro Tsuchiya, André Schiper: Model Checking of Consensus Algorit. SRDS 2007: 137-148
32		TheinLai 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
31		Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305
30		Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno: A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964
29		Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno: Counter-based reliability optimization for gossip-based broadcasting. Computer Communications 29(9): 1516-1521 (2006)
	2005
28		Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto: Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560
27		Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7
	2004
26		TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83
25		Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno: SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92
24		Tatsuhiro Tsuchiya, Tohru Kikuno: An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316
23		Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno: Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77
22		Tatsuhiro Tsuchiya, Tohru Kikuno: On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83
	2002
21		Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651
20		Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno: Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608
19		Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136
18		Tatsuhiro Tsuchiya, Tohru Kikuno: On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11(1): 58-62 (2002)
17		Noritaka 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)
16		Tatsuhiro 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
14		Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346
13		Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno: Automatic Verification of Fault Tolerance Using Model Checking. PRDC 2001: 95-102
12		Tatsuhiro 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)
11		Noritaka 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
10		Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212
9		Koji 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)
7		Tatsuhiro 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)
6		Tatsuhiro 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
4		Tatsuhiro 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
3		Tatsuhiro 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
1		Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno: A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202

Coauthor Index

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

Colors in the list of coauthors