default search action
Tatsuhiro Tsuchiya
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
- [j41]Daichi Minamide, Tatsuhiro Tsuchiya:
Two-Phase Approach to Finding the Most Critical Entities in Interdependent Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(5): 786-792 (2024) - 2023
- [j40]Hao Jin
, Ce Shi
Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing. Inf. Softw. Technol. 153: 107045 (2023) - 2022
- [j39]Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Goal model structuring based on semantic correlation of user reviews. Intell. Decis. Technol. 16(4): 737-748 (2022) - [j38]Jiuchen Shi, Xiaoqing Cai, Wenli Zheng, Quan Chen, Deze Zeng, Tatsuhiro Tsuchiya, Minyi Guo:
Reliability and Incentive of Performance Assessment for Decentralized Clouds. J. Comput. Sci. Technol. 37(5): 1176-1199 (2022) - 2020
- [j37]Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa
Finding Minimum Locating Arrays Using a CSP Solver. Fundam. Informaticae 174(1): 27-42 (2020) - [j36]Hiroyuki Nakagawa
Interactive Goal Model Construction Based on a Flow of Questions. IEICE Trans. Inf. Syst. 103-D(6): 1309-1318 (2020) - [j35]Masahiro Matsubara, Tatsuhiro Tsuchiya:
Model Checking of Automotive Control Software: An Industrial Approach. IEICE Trans. Inf. Syst. 103-D(8): 1794-1805 (2020) - [j34]Tatsuya Konishi, Hideharu Kojima
Using simulated annealing for locating array construction. Inf. Softw. Technol. 126: 106346 (2020) - [j33]Hao Jin, Tatsuhiro Tsuchiya:
Constrained locating arrays for combinatorial interaction testing. J. Syst. Softw. 170: 110771 (2020) - 2019
- [j32]Hiroyuki Nakagawa
Expression caching for runtime verification based on parameterized probabilistic models. J. Syst. Softw. 156: 300-311 (2019) - 2018
- [j31]Tatsuhiro Tsuchiya
Foreword. IEICE Trans. Inf. Syst. 101-D(6): 1466 (2018) - [j30]Hideharu Kojima
The Aggregation Point Placement Problem for Power Distribution Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(7): 1074-1082 (2018) - [j29]Satoshi Fujimoto, Hideharu Kojima
Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing. Int. J. Softw. Eng. Knowl. Eng. 28(7): 983-1000 (2018) - 2017
- [j28]Yohei Kawada, Kojin Yano, Yoshihiro Mizuno, Tatsuhiro Tsuchiya
Data access control for energy-related services in smart public infrastructures. Comput. Ind. 88: 35-43 (2017) - [j27]Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya:
State space reduction techniques for model checking of MANET protocols. Int. J. Netw. Comput. 7(1): 29-49 (2017) - 2016
- [j26]Hiroyuki Nakagawa
A Search-Based Constraint Elicitation in Test Design. IEICE Trans. Inf. Syst. 99-D(9): 2229-2238 (2016) - 2014
- [j25]Kohei Sakurai, Masahiro Matsubara, Tatsuhiro Tsuchiya
Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems. IEICE Trans. Inf. Syst. 97-D(2): 344-348 (2014) - 2012
- [j24]Toru Nanba, Tatsuhiro Tsuchiya
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(9): 1501-1505 (2012) - 2011
- [j23]Tatsuhiro Tsuchiya
Verification of consensus algorithms using satisfiability solving. Distributed Comput. 23(5-6): 341-358 (2011) - 2010
- [j22]Fuminori Makikawa, Tatsuhiro Tsuchiya
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
The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Trans. Inf. Syst. 93-D(10): 2850-2853 (2010) - 2009
- [j20]Toshifusa Sekizawa, Tatsuhiro Tsuchiya
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. 92-D(5): 1003-1011 (2009) - [j19]Takafumi Matsuo, Tatsuhiro Tsuchiya
Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. 92-D(6): 1250-1259 (2009) - [j18]Masahiro Kimoto, Tatsuhiro Tsuchiya
On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Trans. Inf. Syst. 92-D(8): 1570-1573 (2009) - 2008
- [j17]TheinLai Wong
A self-organising algorithm for sensor placement in wireless mobile microsensor networks. Int. J. Wirel. Mob. Comput. 3(1/2): 69-78 (2008) - 2007
- [j16]TheinLai Wong
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) - 2006
- [j15]Tatsuhiro Tsuchiya
Counter-based reliability optimization for gossip-based broadcasting. Comput. Commun. 29(9): 1516-1521 (2006) - 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
Non-specification-based approaches to logic testing for software. Inf. Softw. Technol. 44(2): 113-121 (2002) - [j11]Noritaka Kobayashi, Tatsuhiro Tsuchiya
A new method for constructing pair-wise covering designs for software testing. Inf. Process. Lett. 81(2): 85-91 (2002) - [j10]Tatsuhiro Tsuchiya
Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83(2): 71-77 (2002) - [j9]Tatsuhiro Tsuchiya
On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11(1): 58-62 (2002) - 2001
- [j8]Noritaka Kobayashi, Tatsuhiro Tsuchiya
Minimizing the mean delay of quorum-based mutual exclusion schemes. J. Syst. Softw. 58(1): 1-9 (2001) - [j7]Tatsuhiro Tsuchiya
Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distributed Syst. 12(1): 81-95 (2001) - 2000
- [j6]Koji Hashimoto, Tatsuhiro Tsuchiya
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. J. Syst. Softw. 53(2): 159-171 (2000) - 1999
- [j5]Tatsuhiro Tsuchiya
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42(7): 613-622 (1999) - [j4]Tatsuhiro Tsuchiya
Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. 71(1): 35-42 (1999) - [j3]Tatsuhiro Tsuchiya
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distributed Syst. 10(4): 337-345 (1999) - 1998
- [j2]Tatsuhiro Tsuchiya
Genetics-based multiprocessor scheduling using task duplication. Microprocess. Microsystems 22(3-4): 197-207 (1998) - 1996
- [j1]Tatsuhiro Tsuchiya
Modeling and evaluation of responsive multiprocessor systems. Syst. Comput. Jpn. 27(14): 20-28 (1996)
Conference and Workshop Papers
- 2024
- [c100]Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation. COMPSAC 2024: 1376-1381 - [c99]Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty. COMPSAC 2024: 2165-2170 - [c98]Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Harnessing LLM Conversations for Goal Model Generation from User Reviews. ICAART (3) 2024: 385-392 - [c97]Tatsuhiro Tsuchiya:
Use of binary decision diagrams to handle constraints in combinatorial interaction testing. ICSTW 2024: 211-214 - [c96]Hao Jin, Ce Shi, Tatsuhiro Tsuchiya:
Summary of Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. ICSTW 2024: 215-216 - 2023
- [c95]Shingo Ariwaka, Tatsuhiro Tsuchiya
On Mutation Testing of Graph Database Queries in the Cypher Language. APSEC 2023: 579-583 - [c94]Wenxi Cai, Tatsuhiro Tsuchiya
Shapley Value-Based Node Assessment in Unreliable Complex Networks: Initial Research Progress. DASC/PiCom/CBDCom/CyberSciTech 2023: 886-890 - [c93]Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper). ER (Companion) 2023 - [c92]Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Automatic Facility Layout Design System Using Deep Reinforcement Learning. ICAART (2) 2023: 221-230 - [c91]Yuya Noguchi, Tatsuhiro Tsuchiya:
Model Checking of Intersection Traffic Control Protocols. ICECCS 2023: 99-107 - [c90]Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya:
Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing. ICSTW 2023: 190-196 - [c89]Taito Asaji, Tatsuhiro Tsuchiya:
Applying metamorphic testing to reliability calculating programs. PRDC 2023: 142-149 - [c88]Naoki Nishiguchi, Tatsuhiro Tsuchiya:
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. PRDC 2023: 236-238 - [c87]Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Expansion Mechanism for Runtime Verification of Self-adaptive Systems. SEKE 2023: 76-81 - 2022
- [c86]Keitaro Watanabe, Hideharu Kojima
Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c85]Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Towards Automatic Facility Layout Design Using Reinforcement Learning. FedCSIS (Communication Papers) 2022: 11-20 - [c84]Takumi Okano, Hideharu Kojima
Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. ICSA Companion 2022: 193-196 - [c83]Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Hierarchical User Review Clustering Based on Multiple Sub-goal Generation. JCKBSE 2022: 207-219 - [c82]Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection. PRIMA 2022: 281-296 - 2021
- [c81]Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Adaptation Space Reduction Using an Explainable Framework. COMPSAC 2021: 1653-1660 - [c80]Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Preemptive Anomaly Prediction in IoT Components (short paper). ECSA (Companion) 2021 - [c79]Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Graph queries for analyzing the coverage of requirements by test cases. SEKE 2021: 544-549 - 2020
- [c78]Alhassan Boner Diallo, Hiroyuki Nakagawa
An Explainable Deep Learning Approach for Adaptation Space Reduction. ACSOS Companion 2020: 230-231 - [c77]Hao Jin
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ICTSS 2020: 302-309 - [c76]Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Opinion Analysis and Organization of Mobile Application User Reviews. REFSQ Workshops 2020 - [c75]Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
Constrained detecting arrays for fault localization in combinatorial testing. SAC 2020: 1971-1978 - [c74]Shuaicai Ren, Hiroyuki Nakagawa
An Automated Goal Labeling Method Based on User Reviews. SEKE 2020: 141-146 - [c73]Hao Jin, Tatsuhiro Tsuchiya:
A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing. WETICE 2020: 219-224 - 2019
- [c72]Kenta Hanada, Tatsuhiro Tsuchiya
Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks. PRDC 2019: 105-113 - [c71]Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya:
Goal Model Construction Based on User Review Classification. REFSQ Workshops 2019 - [c70]Shinnosuke Shimizu, Hideharu Kojima
Implementation and Evaluation of ISDSR in Emulation Environments. WCNC 2019: 1-6 - 2018
- [c69]Shinya Tsuchida, Hiroyuki Nakagawa
A Framework for Updating Functionalities Based on the MAPE Loop Mechanism. COMPSAC (1) 2018: 38-47 - [c68]Hao Jin, Takashi Kitamura
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops 2018: 285-294 - [c67]Shu Nagai, Tatsuhiro Tsuchiya
Applying Metamorphic Testing to e-Commerce Product Search Engines. PRDC 2018: 183-184 - [c66]Hao Jin, Tatsuhiro Tsuchiya
Deriving Fault Locating Test Cases from Constrained Covering Arrays. PRDC 2018: 233-240 - [c65]Kazuyuki Higashi, Hiroyuki Nakagawa
Improvement of User Review Classification Using Keyword Expansion (S). SEKE 2018: 125-124 - [c64]Hiroyuki Nakagawa
A Document-based Parameter Correlation Metric for Test Design (S). SEKE 2018: 641-640 - 2017
- [c63]Hironori Shimada, Hiroyuki Nakagawa
Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules. APRES 2017: 175-188 - [c62]Hiroyuki Nakagawa
A visualization of specification coverage based on document similarity. ICSE (Companion Volume) 2017: 136-138 - [c61]Tatsuya Konishi, Hideharu Kojima
Finding Minimum Locating Arrays Using a SAT Solver. ICST Workshops 2017: 276-277 - [c60]Hiroyuki Nakagawa
Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry. ISSRE Workshops 2017: 77-80 - [c59]Teru Ohashi, Tatsuhiro Tsuchiya
Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. PRDC 2017: 78-85 - [c58]Shinya Nakano, Tatsuhiro Tsuchiya
Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. PRDC 2017: 261-266 - 2016
- [c57]Hideharu Kojima
Model Checking Techniques for State Space Reduction in MANET Protocol Verification. IPDPS Workshops 2016: 509-516 - [c56]Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya:
Caching Strategies for Run-time Probabilistic Model Checking. Models@run.time 2016: 18-25 - [c55]Hiroki Tsuda, Hiroyuki Nakagawa
A Dynamic Verification Mechanism for Real-Time Self-Adaptive Systems. FAS*W@SASO/ICCAC 2016: 265-266 - 2015
- [c54]Hiroyuki Nakagawa
Towards Automatic Constraints Elicitation in Pair-Wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength. RET@ICSE 2015: 34-36 - [c53]Hiroyuki Nakagawa
Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence. ASE Workshops 2015: 58-61 - [c52]Hiroki Tsuda, Hiroyuki Nakagawa
Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework. SASO 2015: 176-177 - [c51]Kento Ogawa, Hiroyuki Nakagawa
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. SEFM Workshops 2015: 253-265 - [c50]Hitoshi Takahashi, Hiroyuki Nakagawa
Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. SEKE 2015: 489-494 - 2014
- [c49]Yuki Matsui, Hideharu Kojima
Modeling the Interaction of Power Line and SCADA Networks. HASE 2014: 261-262 - [c48]Cassia de Souza Carvalho, Tatsuhiro Tsuchiya
Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. CANDAR 2014: 596-598 - [c47]Satoshi Fujimoto, Hideharu Kojima
Applying Parameter Value Weighting to a Practical Application. ISSRE Workshops 2014: 130-131 - [c46]Takahiro Nagamoto, Hideharu Kojima
Locating a Faulty Interaction in Pair-wise Testing. PRDC 2014: 155-156 - [c45]Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya:
Applying Random Testing to Constrained Interaction Testing. SEKE 2014: 193-198 - 2013
- [c44]Satoshi Fujimoto, Hideharu Kojima
A Value Weighting Method for Pair-wise Testing. APSEC (1) 2013: 99-105 - [c43]Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya
Software reconstruction and module management for distributed processing of train control. ISADS 2013: 1-6 - [c42]Hirofumi Terada, Tsukasa Onishi, Tatsuhiro Tsuchiya
A monitoring point selection approach for power distribution systems. SoSE 2013: 190-195 - 2012
- [c41]Yuki Matsui, Hideharu Kojima
Maximizing Availability of Consistent Data in Unreliable Networks. ICPADS 2012: 117-123 - [c40]Tatsuya Noguchi, Tatsuhiro Tsuchiya
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC 2012: 80-88 - [c39]Tatsuhiro Tsuchiya
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. PRDC 2012: 121-126 - [c38]Tatsuhiro Tsuchiya
Achieving High Availability of Consistent Data in the Presence of Network Partitions. UIC/ATC 2012: 618-620 - 2011
- [c37]Hiroyuki Inoue, Tatsuhiro Tsuchiya
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC 2011: 261-265 - [c36]Toru Nanba, Tatsuhiro Tsuchiya
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC 2011: 271-274 - [c35]Shun Tokuyama, Tatsuhiro Tsuchiya
Gossiping with Network Coding. PRDC 2011: 63-70 - 2010
- [c34]Fuminori Makikawa, Tatsuhiro Tsuchiya
Balance and Proximity-Aware Skip Graph Construction. ICNC 2010: 268-271 - [c33]Masashi Hamamatsu, Tatsuhiro Tsuchiya
On the Reliability of Cascaded TMR Systems. PRDC 2010: 184-190 - 2009
- [c32]Takahiro Minamikawa, Tatsuhiro Tsuchiya
Towards Automated Verification of Distributed Consensus Protocols. APSEC 2009: 499-506 - [c31]Masaya Kadono, Tatsuhiro Tsuchiya
Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC 2009: 37-42 - 2008
- [c30]Takahiro Minamikawa, Tatsuhiro Tsuchiya
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47 - [c29]Masashi Hamamatsu, Tatsuhiro Tsuchiya
Finding the Optimal Configuration of a Cascading TMR System. PRDC 2008: 349-350 - [c28]Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya
Detecting Feature Interactions in Home Appliance Networks. SNPD 2008: 895-903 - [c27]Shin Kimoto, Tatsuhiro Tsuchiya
Pairwise Testing in the Presence of Configuration Change Cost. SSIRI 2008: 32-38 - [c26]Tatsuhiro Tsuchiya
Using Bounded Model Checking to Verify Consensus Algorithms. DISC 2008: 466-480 - 2007
- [c25]Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya
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 - [c23]Tatsuhiro Tsuchiya, André Schiper:
An Automatic Real-Time Analysis of the Time to Reach Consensus. PRDC 2007: 53-60 - [c22]Tatsuhiro Tsuchiya, André Schiper:
Model Checking of Consensus Algorit. SRDS 2007: 137-148 - 2006
- [c21]Takuya Okuyama, Tatsuhiro Tsuchiya
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
Describing and Verifying Integrated Services of Home Network Systems. APSEC 2005: 549-560 - [c18]Daisuke Igarashi, Tatsuhiro Tsuchiya
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
SAT-Based Verification of Safe Petri Nets. ATVA 2004: 79-92 - [c15]Tatsuhiro Tsuchiya
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
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC 2004: 76-83 - 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
Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC 2002: 131-136 - 2001
- [c9]Noritaka Kobayashi, Tatsuhiro Tsuchiya
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN 2001: 337-346 - [c8]Tomoyuki Yokogawa, Tatsuhiro Tsuchiya
Automatic Verification of Fault Tolerance Using Model Checking. PRDC 2001: 95-102 - 2000
- [c7]Koji Hashimoto, Tatsuhiro Tsuchiya
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN 2000: 203-212 - 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
- [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
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 - 1995
- [c1]Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno:
A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA 1995: 197-202
Editorship
- 2015
- [e1]Guojun Wang, Tatsuhiro Tsuchiya, Dong Xiang:
21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9376-8 [contents]
Informal and Other Publications
- 2022
- [i8]Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya:
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism. CoRR abs/2205.13375 (2022) - [i7]Kyozo Hida, Tatsuhiro Tsuchiya:
Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers. CoRR abs/2211.05659 (2022) - 2021
- [i6]Hao Jin, Ce Shi, Tatsuhiro Tsuchiya:
Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. CoRR abs/2110.06449 (2021) - 2020
- [i5]Ce Shi, Hao Jin, Tatsuhiro Tsuchiya:
Locating arrays with mixed alphabet sizes. CoRR abs/2001.11712 (2020) - 2019
- [i4]Tatsuya Konishi, Hideharu Kojima
Finding minimum locating arrays using a CSP solver. CoRR abs/1904.07480 (2019) - [i3]Tatsuhiro Tsuchiya:
Using binary decision diagrams for constraint handling in combinatorial interaction testing. CoRR abs/1907.01779 (2019) - [i2]Tatsuya Konishi, Hideharu Kojima
Using simulated annealing for locating array construction. CoRR abs/1909.13090 (2019) - 2018
- [i1]Hao Jin, Tatsuhiro Tsuchiya:
Constrained locating arrays for combinatorial interaction testing. CoRR abs/1801.06041 (2018)
Coauthor Index
[j24] [j22] [j21] [j20] [j19] [j18] [j17] [j16] [j15] [j14] [j13] [j12] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [j3] [j2] [j1] [c43] [c40] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c25] [c24] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
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-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: