| 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 | 360 | 2004 |
| Genetics-based multiprocessor scheduling using task duplication T Tsuchiya, T Osada, T Kikuno Microprocessors and Microsystems 22 (3-4), 197-207, 1998 | 90 | 1998 |
| 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 | 86 | 2002 |
| 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 | 77 | 2002 |
| 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 | 74 | 2004 |
| Non-specification-based approaches to logic testing for software N Kobayashi, T Tsuchiya, T Kikuno Information and Software Technology 44 (2), 113-121, 2002 | 66 | 2002 |
| 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 | 62 | 2002 |
| Verification of consensus algorithms using satisfiability solving T Tsuchiya, A Schiper Distributed Computing 23 (5), 341-358, 2011 | 54 | 2011 |
| On the reliability of cascaded TMR systems M Hamamatsu, T Tsuchiya, T Kikuno 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010 | 48 | 2010 |
| SAT-based verification of safe Petri nets S Ogata, T Tsuchiya, T Kikuno International Symposium on Automated Technology for Verification and …, 2004 | 48 | 2004 |
| Using bounded model checking to verify consensus algorithms T Tsuchiya, A Schiper International Symposium on Distributed Computing, 466-480, 2008 | 47 | 2008 |
| Model checking of consensus algorit T Tsuchiya, A Schiper 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS …, 2007 | 40 | 2007 |
| 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 | 37 | 2001 |
| 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 | 37 | 1995 |
| Using satisfiability solving for pairwise testing in the presence of constraints T Nanba, T Tsuchiya, T Kikuno IEICE Transactions on Fundamentals of Electronics, Communications and …, 2012 | 31 | 2012 |
| 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 | 31 | 1997 |
| 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 | 31 | 1995 |
| 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 | 29 | 1999 |
| Automatic verification of fault tolerance using model checking T Yokogawa, T Tsuchiya, T Kikuno Proceedings 2001 Pacific Rim International Symposium on Dependable Computing …, 2001 | 28 | 2001 |
| 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 | 26 | 2008 |
Hiroyuki NakagawaOsaka UniversityVerified email at ist.osaka-u.ac.jp
