フォロー
Tatsuhiro Tsuchiya
Tatsuhiro Tsuchiya
Professor, Osaka University
確認したメール アドレス: ist.osaka-u.ac.jp - ホームページ
タイトル
引用先
引用先
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
3512004
Genetics-based multiprocessor scheduling using task duplication
T Tsuchiya, T Osada, T Kikuno
Microprocessors and Microsystems 22 (3-4), 197-207, 1998
891998
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
872002
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
812004
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
772002
Non-specification-based approaches to logic testing for software
N Kobayashi, T Tsuchiya, T Kikuno
Information and Software Technology 44 (2), 113-121, 2002
662002
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
622002
Verification of consensus algorithms using satisfiability solving
T Tsuchiya, A Schiper
Distributed Computing 23, 341-358, 2011
532011
Using bounded model checking to verify consensus algorithms
T Tsuchiya, A Schiper
International Symposium on Distributed Computing, 466-480, 2008
462008
On the reliability of cascaded TMR systems
M Hamamatsu, T Tsuchiya, T Kikuno
2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010
452010
SAT-based verification of safe Petri nets
S Ogata, T Tsuchiya, T Kikuno
Automated Technology for Verification and Analysis: Second International …, 2004
452004
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
411995
Model checking of consensus algorit
T Tsuchiya, A Schiper
2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS …, 2007
382007
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
352001
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
321997
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
311995
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
301999
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
282012
Automatic verification of fault tolerance using model checking
T Yokogawa, T Tsuchiya, T Kikuno
Proceedings 2001 Pacific Rim International Symposium on Dependable Computing …, 2001
282001
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
272008
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20