Остановите войну!
for scientists:
default search action
Tatsuhiro Tsuchiya
- > Home > Persons > Tatsuhiro Tsuchiya
Publications
- 2013
- [c43]Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno:
Software reconstruction and module management for distributed processing of train control. ISADS 2013: 1-6 - 2012
- [j24]Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno:
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(9): 1501-1505 (2012) - [c40]Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC 2012: 80-88 - 2011
- [c37]Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno:
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC 2011: 261-265 - [c36]Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno:
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC 2011: 271-274 - [c35]Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno:
Gossiping with Network Coding. PRDC 2011: 63-70 - 2010
- [j22]Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Trans. Inf. Syst. 93-D(6): 1540-1548 (2010) - [j21]Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Trans. Inf. Syst. 93-D(10): 2850-2853 (2010) - [c34]Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Balance and Proximity-Aware Skip Graph Construction. ICNC 2010: 268-271 - [c33]Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Reliability of Cascaded TMR Systems. PRDC 2010: 184-190 - 2009
- [j20]Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno:
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. 92-D(5): 1003-1011 (2009) - [j19]Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno:
Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. 92-D(6): 1250-1259 (2009) - [j18]Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Trans. Inf. Syst. 92-D(8): 1570-1573 (2009) - [c32]Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Towards Automated Verification of Distributed Consensus Protocols. APSEC 2009: 499-506 - [c31]Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno:
Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC 2009: 37-42 - 2008
- [j17]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
A self-organising algorithm for sensor placement in wireless mobile microsensor networks. Int. J. Wirel. Mob. Comput. 3(1/2): 69-78 (2008) - [c30]Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47 - [c29]Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno:
Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350 - [c28]Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno:
Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903 - [c27]Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
Pairwise Testing in the Presence of Configuration Change Cost. SSIRI 2008: 32-38 - 2007
- [j16]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. IEICE Trans. Inf. Syst. 90-D(3): 680-684 (2007) - [c25]Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno:
Constructing Overlay Networks with Low Link Costs and Short Paths. NCA 2007: 299-304 - [c24]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. Parallel and Distributed Computing and Networks 2007: 7-12 - 2006
- [j15]Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno:
Counter-based reliability optimization for gossip-based broadcasting. Comput. Commun. 29(9): 1516-1521 (2006) - [c21]Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno:
Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT 2006: 294-305 - [c20]Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno:
A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN 2006: 955-964 - 2005
- [c19]Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto:
Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560 - [c18]Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) 2005: 2-7 - 2004
- [c17]TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno:
A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) 2004: 78-83 - [c16]Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno:
SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92 - [c15]Tatsuhiro Tsuchiya, Tohru Kikuno:
An Adaptive Mechanism for Epidemic Communication. BioADIT 2004: 306-316 - [c14]Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno:
Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC 2004: 72-77 - [c13]Tatsuhiro Tsuchiya, Tohru Kikuno:
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83 - 2002
- [j14]Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno:
Verifying Fault Tolerance of Concurrent Systems by Model Checking. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2414-2425 (2002) - [j13]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
New 2-Factor Covering Designs for Software Testing. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(12): 2946-2949 (2002) - [j12]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Non-specification-based approaches to logic testing for software. Inf. Softw. Technol. 44(2): 113-121 (2002) - [j11]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
A new method for constructing pair-wise covering designs for software testing. Inf. Process. Lett. 81(2): 85-91 (2002) - [j10]Tatsuhiro Tsuchiya, Tohru Kikuno:
Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83(2): 71-77 (2002) - [j9]Tatsuhiro Tsuchiya, Tohru Kikuno:
On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11(1): 58-62 (2002) - [c12]Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) 2002: 596-608 - [c11]Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno:
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651 - [c10]Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno:
Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136 - 2001
- [j8]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Minimizing the mean delay of quorum-based mutual exclusion schemes. J. Syst. Softw. 58(1): 1-9 (2001) - [j7]Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno:
Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distributed Syst. 12(1): 81-95 (2001) - [c9]Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno:
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346 - 2000
- [j6]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. J. Syst. Softw. 53(2): 159-171 (2000) - [c7]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212 - 1999
- [j5]Tatsuhiro Tsuchiya, Tohru Kikuno:
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42(7): 613-622 (1999) - [j4]Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno:
Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. 71(1): 35-42 (1999) - [j3]Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno:
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distributed Syst. 10(4): 337-345 (1999) - [c6]Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno:
On the availability of k-coteries in networks with unreliable nodes and links. WORDS (Jan.) 1999: 148-155 - 1998
- [j2]Tatsuhiro Tsuchiya, Tetsuya Osada, Tohru Kikuno:
Genetics-based multiprocessor scheduling using task duplication. Microprocess. Microsystems 22(3-4): 197-207 (1998) - [c5]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. SRDS 1998: 186-194 - 1997
- [c4]Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim:
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. COMPSAC 1997: 252-255 - [c3]Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. FTCS 1997: 174-183 - [c2]Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
An approach to safety verification of object-oriented design specification for an elevator control system. WORDS 1997: 256-263 - 1996
- [j1]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno:
Modeling and evaluation of responsive multiprocessor systems. Syst. Comput. Jpn. 27(14): 20-28 (1996) - 1995
- [c1]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno:
A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint