Tatsuhiro Tsuchiya
Tatsuhiro Tsuchiya
Professor, Osaka University
Verified email at ist.osaka-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Using artificial life techniques to generate test cases for combinatorial testing
T Shiba, T Tsuchiya, T Kikuno
Proceedings of the 28th Annual International Computer Software and …, 2004
3092004
A new method for constructing pair-wise covering designs for software testing
N Kobayashi, T Tsuchiya, T Kikuno
Information Processing Letters 81 (2), 85-91, 2002
842002
Genetics-based multiprocessor scheduling using task duplication
T Tsuchiya, T Osada, T Kikuno
Microprocessors and Microsystems 22 (3-4), 197-207, 1998
801998
On fault classes and error detection capability of specification-based testing
T Tsuchiya, T Kikuno
ACM Transactions on Software Engineering and Methodology (TOSEM) 11 (1), 58-62, 2002
742002
A self-organizing technique for sensor placement in wireless micro-sensor networks
T Wong, T Tsuchiya, T Kikuno
18th International Conference on Advanced Information Networking and …, 2004
732004
Effective scheduling of duplicated tasks for fault tolerance in multiprocessor systems
K Hashimoto, T Tsuchiya, T Kikuno
IEICE Transactions on Information and Systems 85 (3), 525-534, 2002
582002
Non-specification-based approaches to logic testing for software
N Kobayashi, T Tsuchiya, T Kikuno
Information and Software Technology 44 (2), 113-121, 2002
562002
SAT-based verification of safe Petri nets
S Ogata, T Tsuchiya, T Kikuno
International Symposium on Automated Technology for Verification and …, 2004
392004
Verification of consensus algorithms using satisfiability solving
T Tsuchiya, A Schiper
Distributed Computing 23 (5-6), 341-358, 2011
362011
Using bounded model checking to verify consensus algorithms
T Tsuchiya, A Schiper
International Symposium on Distributed Computing, 466-480, 2008
362008
On the reliability of cascaded TMR systems
M Hamamatsu, T Tsuchiya, T Kikuno
2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010
352010
A new fault-tolerant scheduling technique for real-time multiprocessor systems
T Tsuchiya, Y Kakuda, T Kikuno
Proceedings Second International Workshop on Real-Time Computing Systems and …, 1995
341995
Model Checking of Consensus Algorit
T Tsuchiya, A Schiper
2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS …, 2007
332007
Symbolic model checking for self-stabilizing algorithms
T Tsuchiya, S Nagano, RB Paidi, T Kikuno
IEEE Transactions on Parallel and Distributed Systems 12 (1), 81-95, 2001
302001
A new heuristic algorithm based on GAs for multiprocessor scheduling with task duplication
T Tsuchiya, T Osada, T Kikuno
Proceedings of 3rd International Conference on Algorithms and Architectures …, 1997
301997
Fault-tolerant scheduling algorithm for distributed real-time systems
T Tsuchiya, Y Kakuda, T Kikuno
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems …, 1995
301995
Automatic verification of fault tolerance using model checking
T Yokogawa, T Tsuchiya, T Kikuno
Proceedings 2001 Pacific Rim International Symposium on Dependable Computing …, 2001
272001
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 10 (4), 337-345, 1999
261999
Detecting feature interactions in home appliance networks
P Leelaprute, T Matsuo, T Tsuchiya, T Kikuno
2008 Ninth ACIS International Conference on Software Engineering, Artificial …, 2008
242008
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 (APSEC'05), 10 pp., 2005
242005
The system can't perform the operation now. Try again later.
Articles 1–20