Tatsuhiro Tsuchiya

2008
39	EE	Tatsuhiro Tsuchiya, André Schiper: Using Bounded Model Checking to Verify Consensus Algorithms. DISC 2008: 466-480
38	EE	Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903
37	EE	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	EE	Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno: Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304
35	EE	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	EE	Tatsuhiro Tsuchiya, André Schiper: Model Checking of Consensus Algorit. SRDS 2007: 137-148
32	EE	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	EE	Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305
30	EE	Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno: A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964
29	EE	Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno: Counter-based reliability optimization for gossip-based broadcasting. Computer Communications 29(9): 1516-1521 (2006)
2005
28	EE	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	EE	Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7
2004
26	EE	TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno: A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83
25	EE	Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno: SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92
24	EE	Tatsuhiro Tsuchiya, Tohru Kikuno: An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316
23	EE	Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno: Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77
22	EE	Tatsuhiro Tsuchiya, Tohru Kikuno: On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83
2002
21	EE	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	EE	Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno: Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608
19	EE	Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136
18	EE	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	EE	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	EE	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	EE	Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno: Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346
13	EE	Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno: Automatic Verification of Fault Tolerance Using Model Checking. PRDC 2001: 95-102
12	EE	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	EE	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	EE	Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno: Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212
9	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	Koji Hashimoto	[2] [5] [9] [10]
4	Nobuhiko Ido	[6]
5	Daisuke Igarashi	[27]
6	Shinichi Ikeda	[29] [30]
7	Yoshiaki Kakuda	[1]
8	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]
9	Tsuchiya Kikuno	[13]
10	Eun Mi Kim	[3] [4]
11	Noritaka Kobayashi	[11] [14] [15] [17]
12	Shinji Kusumoto	[3] [4]
13	Pattara Leelaprute	[28] [38]
14	Fuminori Makikawa	[36]
15	Ken-ichi Matsumoto	[28]
16	Takafumi Matsuo	[36] [38]
17	Shin'ichi Nagano	[12]
18	Masahide Nakamura	[19] [21] [28]
19	Shougo Ogata	[25]
20	Takuya Okuyama	[31]
21	Rohayu Bt Paidi	[12]
22	André Schiper	[33] [35] [39]
23	Toshiaki Shiba	[23]
24	Hirofumi Terada	[3] [4]
25	TheinLai Wong	[26] [32] [34] [37]
26	Masatoshi Yamaguchi	[7]
27	Tomoyuki Yokogawa	[13]

Colors in the list of coauthors