Tatsuhiro TSUCHIYA


The Aggregation Point Placement Problem for Power Distribution Systems
Hideharu KOJIMA Tatsuhiro TSUCHIYA Yasumasa FUJISAKI 
Publication:   
Publication Date: 2018/07/01
Vol. E101-A  No. 7  pp. 1074-1082
Type of Manuscript:  PAPER
Category: Graphs and Networks
Keyword: 
power distribution systemsSCADA networkaggregation point
 Summary | Full Text:PDF(1.3MB)

FOREWORD
Tatsuhiro TSUCHIYA 
Publication:   
Publication Date: 2018/06/01
Vol. E101-D  No. 6  pp. 1466-1466
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(78.3KB)

A Search-Based Constraint Elicitation in Test Design
Hiroyuki NAKAGAWA Tatsuhiro TSUCHIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/09/01
Vol. E99-D  No. 9  pp. 2229-2238
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
pair-wise testingconstraintslinguistic approachcollective intelligence
 Summary | Full Text:PDF(394.4KB)

Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems
Kohei SAKURAI Masahiro MATSUBARA Tatsuhiro TSUCHIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/02/01
Vol. E97-D  No. 2  pp. 344-348
Type of Manuscript:  LETTER
Category: Information Network
Keyword: 
time-triggered systemsfaultsmembership
 Summary | Full Text:PDF(158.3KB)

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: 
SATsoftware testingpairwise testingtest set generationconstraints
 Summary | Full Text:PDF(86.8KB)

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-stabilizationmaximal matchingtime complexitystabilization timedistributed computing
 Summary | Full Text:PDF(77.3KB)

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 applicationoverlay networkproximitydistributed algorithm
 Summary | Full Text:PDF(543.9KB)

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 algorithmsdistributed computingself-stabilizationstabilization time
 Summary | Full Text:PDF(78.7KB)

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 checkinginterpolationfeature interactionverification
 Summary | Full Text:PDF(210.9KB)

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: 
verificationprobabilistic model checkingthe Ising modelDiscrete Time Markov Chain
 Summary | Full Text:PDF(706.6KB)

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 networkbroadcastvariable-range transmissionenergy-efficient
 Summary | Full Text:PDF(305.6KB)

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 checkingSATfeature interaction
 Summary | Full Text:PDF(590.3KB)

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 designsoftware testingfinite field
 Summary | Full Text:PDF(183.5KB)

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 checkingfault toleranceSMVconcurrent systemguarded command
 Summary | Full Text:PDF(506.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: 
multiprocessorfault-tolerant schedulingtask graphheightstask groups
 Summary | Full Text:PDF(733.8KB)

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 systemsdependability evaluationreplicated resourcesMarkov modelfault trees
 Summary | Full Text:PDF(806.3KB)

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: 
multiprocessorsfault-secure schedulingtask graphserror modelstests
 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/25
Vol. E83-A  No. 11  pp. 2245-2252
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
self-stabilizationstabilization timesautomated analysissymbolic representationdistributed algorithms
 Summary | Full Text:PDF(573.4KB)

New Constructions for Nondominated k-Coteries
Eun Hye CHOI Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/07/25
Vol. E83-D  No. 7  pp. 1526-1532
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
k-mutual exclusiondistributed systemsk-coteriesnondominated coteriesavailability
 Summary | Full Text:PDF(414KB)

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/25
Vol. E83-D  No. 5  pp. 1183-1186
Type of Manuscript:  LETTER
Category: Fault Tolerance
Keyword: 
network reliabilitynetworks of workstationsdependability evaluationparallel processingcoherent systems
 Summary | Full Text:PDF(187.9KB)

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/25
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 systemdistributed programsreliability3-mode failurefile spanning tree
 Summary | Full Text:PDF(512.3KB)