IEICE SEARCH SYSTEM

Tatsuhiro TSUCHIYA

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints Toru NANBA Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/09/01 Vol. E95-A No. 9 pp. 1501-1505 Type of Manuscript: Special Section LETTER (Special Section on Software Reliability Engineering) Category: Keyword: SAT, software testing, pairwise testing, test set generation, constraints,
	Summary \| Full Text:PDF (87.5KB)

The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm Masahiro KIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/10/01 Vol. E93-D No. 10 pp. 2850-2853 Type of Manuscript: LETTER Category: Fundamentals of Information Systems Keyword: self-stabilization, maximal matching, time complexity, stabilization time, distributed computing,
	Summary \| Full Text:PDF (76.6KB)

Constructing Overlay Networks with Short Paths and Low Communication Cost Fuminori MAKIKAWA Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/06/01 Vol. E93-D No. 6 pp. 1540-1548 Type of Manuscript: PAPER Category: Information Network Keyword: P2P application, overlay network, proximity, distributed algorithm,
	Summary \| Full Text:PDF (540.1KB)

On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm Masahiro KIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/08/01 Vol. E92-D No. 8 pp. 1570-1573 Type of Manuscript: LETTER Category: Computation and Computational Models Keyword: analysis of algorithms, distributed computing, self-stabilization, stabilization time,
	Summary \| Full Text:PDF (78KB)

Feature Interaction Verification Using Unbounded Model Checking with Interpolation Takafumi MATSUO Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/06/01 Vol. E92-D No. 6 pp. 1250-1259 Type of Manuscript: PAPER Category: Dependable Computing Keyword: unbounded model checking, interpolation, feature interaction, verification,
	Summary \| Full Text:PDF (209.8KB)

Probabilistic Model Checking of the One-Dimensional Ising Model Toshifusa SEKIZAWA Tatsuhiro TSUCHIYA Koichi TAKAHASHI Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-D No. 5 pp. 1003-1011 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Model Checking Keyword: verification, probabilistic model checking, the Ising model, Discrete Time Markov Chain,
	Summary \| Full Text:PDF (705.5KB)

An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power TheinLai WONG Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2007/03/01 Vol. E90-D No. 3 pp. 680-684 Type of Manuscript: LETTER Category: Networks Keyword: ad hoc network, broadcast, variable-range transmission, energy-efficient,
	Summary \| Full Text:PDF (306.9KB)

Feature Interaction Detection by Bounded Model Checking Tomoyuki YOKOGAWA Tatsuhiro TSUCHIYA Masahide NAKAMURA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/12/01 Vol. E86-D No. 12 pp. 2579-2587 Type of Manuscript: Special Section PAPER (Special Issue on Dependable Computing) Category: Dependable Communication Keyword: bounded model checking, SAT, feature interaction,
	Summary \| Full Text:PDF (589.2KB)

New 2-Factor Covering Designs for Software Testing Noritaka KOBAYASHI Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/12/01 Vol. E85-A No. 12 pp. 2946-2949 Type of Manuscript: LETTER Category: Algorithms and Data Structures Keyword: factor covering design, software testing, finite field,
	Summary \| Full Text:PDF (186KB)

Verifying Fault Tolerance of Concurrent Systems by Model Checking Tomoyuki YOKOGAWA Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/11/01 Vol. E85-A No. 11 pp. 2414-2425 Type of Manuscript: Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems) Category: Keyword: symbolic model checking, fault tolerance, SMV, concurrent system, guarded command,
	Summary \| Full Text:PDF (510.7KB)

Effective Scheduling of Duplicated Tasks for Fault Tolerance in Multiprocessor Systems Koji HASHIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/03/01 Vol. E85-D No. 3 pp. 525-534 Type of Manuscript: PAPER Category: Fault Tolerance Keyword: multiprocessor, fault-tolerant scheduling, task graph, heights, task groups,
	Summary \| Full Text:PDF (737.2KB)

A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources Eun Hye CHOI Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2001/06/01 Vol. E84-D No. 6 pp. 692-699 Type of Manuscript: PAPER Category: Fault Tolerance Keyword: distributed systems, dependability evaluation, replicated resources, Markov model, fault trees,
	Summary \| Full Text:PDF (808.2KB)

Error Models and Fault-Secure Scheduling in Multiprocessor Systems Koji HASHIMOTO Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2001/05/01 Vol. E84-D No. 5 pp. 635-650 Type of Manuscript: PAPER Category: Fault Tolerance Keyword: multiprocessors, fault-secure scheduling, task graphs, error models, tests,
	Summary \| Full Text:PDF (1.9MB)

Computing the Stabilization Times of Self-Stabilizing Systems Tatsuhiro TSUCHIYA Yusuke TOKUDA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/11/20 Vol. E83-A No. 11 pp. 2245-2252 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: self-stabilization, stabilization times, automated analysis, symbolic representation, distributed algorithms,
	Summary \| Full Text:PDF (575.7KB)

New Constructions for Nondominated k-Coteries Eun Hye CHOI Tatsuhiro TSUCHIYA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/07/20 Vol. E83-D No. 7 pp. 1526-1532 Type of Manuscript: PAPER Category: Fault Tolerance Keyword: k-mutual exclusion, distributed systems, k-coteries, nondominated coteries, availability,
	Summary \| Full Text:PDF (417.1KB)

Parallelizing SDP (Sum of Disjoint Products) Algorithms for Fast Reliability Analysis Tatsuhiro TSUCHIYA Tomoya KAJIKAWA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/05/20 Vol. E83-D No. 5 pp. 1183-1186 Type of Manuscript: LETTER Category: Fault Tolerance Keyword: network reliability, networks of workstations, dependability evaluation, parallel processing, coherent systems,
	Summary \| Full Text:PDF (190.3KB)

Three-Mode Failure Model for Reliability Analysis of Distributed Programs Tatsuhiro TSUCHIYA Yoshiaki KAKUDA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/01/20 Vol. E80-D No. 1 pp. 3-9 Type of Manuscript: Special Section PAPER (Special Issue on Fault-Tolerant Computing) Category: Distributed Systems Keyword: distributed system, distributed programs, reliability, 3-mode failure, file spanning tree,
	Summary \| Full Text:PDF (513.5KB)