Tatsuhiro Tsuchiya

169 papers A 3B 18C 41Misc 4Journal 52Unranked 51

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An XAI-based meta-parameter tuning for time-series forecasting. Ann. Math. Artif. Intell. Hiroyuki Nakagawa, Shimon Sumita, Ryuichi Iida, Tatsuhiro Tsuchiya
2026	J	`jnl`	Self-Adaptive Framework for Deploying Machine Learning Systems Without Ground-Truth Data During Operation. IEEE Access Kento Furukawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2025	B	`conf`	A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework. COMPSAC Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2025	C	`conf`	Automated Vulnerability Repair of Obfuscated and Non-Obfuscated Smart Contracts Using Large Language Models. PRDC Chihiro Kado, Tatsuhiro Tsuchiya
2025	J	`jnl`	Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis. CoRR Xiujing Guo, Chen Li, Tatsuhiro Tsuchiya
2025	—	`conf`	Boundary Value Test Input Generation Using a Large Language Model: Fault Detection and Coverage Analysis. ADMA (3) Xiujing Guo, Chen Li, Tatsuhiro Tsuchiya
2025	—	`conf`	Diagnosing and Repairing Field Access Hallucinations in LLM-Based Test Generation. SFPVV Xiujing Guo, Tatsuhiro Tsuchiya
2025	B	`conf`	Exhaustive Model Identification on Process Mining. ENASE Takeharu Mitsuda, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, Sinpei Ogata, Tatsuhiro Tsuchiya
2025	—	`conf`	Facility Layout Generation Using Hierarchical Reinforcement Learning. ICAART (3) Shunsuke Furuta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2025	—	`conf`	Fuzzing the Solidity Compiler Solc with Fuzz4All. SFPVV Haruto Igaki, Tatsuhiro Tsuchiya
2025	B	`conf`	Graph-Centric Approaches for Coverage Optimization in Software Requirement Testing. COMPSAC Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya
2025	C	`conf`	RAG4Test: Retrieving GUI States for Multilingual Bug Report and Test Case Generation via LLMs. APSEC Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya
2025	C	`conf`	Retrieval-Augmented Generation for Software Requirement-Based Test Case Generation. QRS Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya
2025	—	`conf`	Selecting Nodes to Protect in Interdependent Networks using Shapley Value Analysis. DSA Koki Matsui, Tatsuhiro Tsuchiya
2024	B	`conf`	Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation. COMPSAC Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2024	C	`conf`	Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages. PRDC Aoi Ono, Tatsuhiro Tsuchiya
2024	—	`conf`	Harnessing LLM Conversations for Goal Model Generation from User Reviews. ICAART (3) Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2024	B	`conf`	Review-Based Bot Smell Classification in Robotic Process Automation. KES Hiroyuki Nakagawa, Soshi Nitta, Tatsuhiro Tsuchiya
2024	C	`conf`	Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis. PRDC Koki Matsui, Tatsuhiro Tsuchiya
2024	B	`conf`	Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty. COMPSAC Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2024	C	`conf`	Sequential programming for distributed algorithm verification. PRDC Tatsuhiro Tsuchiya
2024	—	`conf`	Summary of Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. ICSTW Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
2024	C	`conf`	Towards Log-based Execution Status Estimation Using Graph Neural Networks. APSEC Shimon Sumita, Hiroyuki Nakagawa, Shinobu Saito, Tatsuhiro Tsuchiya
2024	J	`jnl`	Two-Phase Approach to Finding the Most Critical Entities in Interdependent Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Daichi Minamide, Tatsuhiro Tsuchiya
2024	—	`conf`	Use of binary decision diagrams to handle constraints in combinatorial interaction testing. ICSTW Tatsuhiro Tsuchiya
2023	C	`conf`	Applying metamorphic testing to reliability calculating programs. PRDC Taito Asaji, Tatsuhiro Tsuchiya
2023	—	`conf`	Automatic Facility Layout Design System Using Deep Reinforcement Learning. ICAART (2) Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2023	J	`jnl`	Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing. Inf. Softw. Technol. Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
2023	C	`conf`	Expansion Mechanism for Runtime Verification of Self-adaptive Systems. SEKE Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2023	C	`conf`	Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. PRDC Naoki Nishiguchi, Tatsuhiro Tsuchiya
2023	—	`conf`	KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper). ER (Companion) Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2023	—	`conf`	Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing. ICSTW Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya
2023	B	`conf`	Model Checking of Intersection Traffic Control Protocols. ICECCS Yuya Noguchi, Tatsuhiro Tsuchiya
2023	C	`conf`	On Mutation Testing of Graph Database Queries in the Cypher Language. APSEC Shingo Ariwaka, Tatsuhiro Tsuchiya
2023	—	`conf`	Shapley Value-Based Node Assessment in Unreliable Complex Networks: Initial Research Progress. DASC/PiCom/CBDCom/CyberSciTech Wenxi Cai, Tatsuhiro Tsuchiya
2022	J	`jnl`	Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism. CoRR Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
2022	J	`jnl`	Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers. CoRR Kyozo Hida, Tatsuhiro Tsuchiya
2022	J	`jnl`	Goal model structuring based on semantic correlation of user reviews. Intell. Decis. Technol. Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2022	—	`conf`	Hierarchical User Review Clustering Based on Multiple Sub-goal Generation. JCKBSE Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2022	—	`conf`	Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. DASC/PiCom/CBDCom/CyberSciTech Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya
2022	—	`conf`	Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. ICSA Companion Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
2022	B	`conf`	Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection. PRIMA Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2022	J	`jnl`	Reliability and Incentive of Performance Assessment for Decentralized Clouds. J. Comput. Sci. Technol. Jiuchen Shi, Xiaoqing Cai, Wenli Zheng, Quan Chen, Deze Zeng, Tatsuhiro Tsuchiya, Minyi Guo
2022	—	`conf`	Towards Automatic Facility Layout Design Using Reinforcement Learning. FedCSIS (Communication Papers) Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2021	B	`conf`	Adaptation Space Reduction Using an Explainable Framework. COMPSAC Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2021	J	`jnl`	Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. CoRR Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
2021	C	`conf`	Graph queries for analyzing the coverage of requirements by test cases. SEKE Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2021	—	`conf`	Preemptive Anomaly Prediction in IoT Components (short paper). ECSA (Companion) Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2020	C	`conf`	A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ICTSS Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
2020	C	`conf`	A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing. WETICE Hao Jin, Tatsuhiro Tsuchiya
2020	C	`conf`	An Automated Goal Labeling Method Based on User Reviews. SEKE Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2020	—	`conf`	An Explainable Deep Learning Approach for Adaptation Space Reduction. ACSOS Companion Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2020	Misc	`conf`	Constrained detecting arrays for fault localization in combinatorial testing. SAC Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
2020	J	`jnl`	Constrained locating arrays for combinatorial interaction testing. J. Syst. Softw. Hao Jin, Tatsuhiro Tsuchiya
2020	J	`jnl`	Finding Minimum Locating Arrays Using a CSP Solver. Fundam. Informaticae Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2020	J	`jnl`	Interactive Goal Model Construction Based on a Flow of Questions. IEICE Trans. Inf. Syst. Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya
2020	J	`jnl`	Locating arrays with mixed alphabet sizes. CoRR Ce Shi, Hao Jin, Tatsuhiro Tsuchiya
2020	J	`jnl`	Model Checking of Automotive Control Software: An Industrial Approach. IEICE Trans. Inf. Syst. Masahiro Matsubara, Tatsuhiro Tsuchiya
2020	—	`conf`	Opinion Analysis and Organization of Mobile Application User Reviews. REFSQ Workshops Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2020	J	`jnl`	Using simulated annealing for locating array construction. Inf. Softw. Technol. Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2019	J	`jnl`	Expression caching for runtime verification based on parameterized probabilistic models. J. Syst. Softw. Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
2019	J	`jnl`	Finding minimum locating arrays using a CSP solver. CoRR Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2019	—	`conf`	Goal Model Construction Based on User Review Classification. REFSQ Workshops Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2019	B	`conf`	Implementation and Evaluation of ISDSR in Emulation Environments. WCNC Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
2019	C	`conf`	Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks. PRDC Kenta Hanada, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
2019	J	`jnl`	Using binary decision diagrams for constraint handling in combinatorial interaction testing. CoRR Tatsuhiro Tsuchiya
2019	J	`jnl`	Using simulated annealing for locating array construction. CoRR Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2018	C	`conf`	A Document-based Parameter Correlation Metric for Test Design (S). SEKE Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya
2018	—	`conf`	A Framework for Updating Functionalities Based on the MAPE Loop Mechanism. COMPSAC (1) Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
2018	—	`conf`	A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
2018	C	`conf`	Applying Metamorphic Testing to e-Commerce Product Search Engines. PRDC Shu Nagai, Tatsuhiro Tsuchiya
2018	J	`jnl`	Constrained locating arrays for combinatorial interaction testing. CoRR Hao Jin, Tatsuhiro Tsuchiya
2018	J	`jnl`	Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing. Int. J. Softw. Eng. Knowl. Eng. Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
2018	C	`conf`	Deriving Fault Locating Test Cases from Constrained Covering Arrays. PRDC Hao Jin, Tatsuhiro Tsuchiya
2018	J	`jnl`	Foreword. IEICE Trans. Inf. Syst. Tatsuhiro Tsuchiya
2018	C	`conf`	Improvement of User Review Classification Using Keyword Expansion (S). SEKE Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2018	J	`jnl`	The Aggregation Point Placement Problem for Power Distribution Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Hideharu Kojima, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
2017	—	`conf`	A visualization of specification coverage based on document similarity. ICSE (Companion Volume) Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya
2017	—	`conf`	Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules. APRES Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2017	J	`jnl`	Data access control for energy-related services in smart public infrastructures. Comput. Ind. Yohei Kawada, Kojin Yano, Yoshihiro Mizuno, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
2017	—	`conf`	Finding Minimum Locating Arrays Using a SAT Solver. ICST Workshops Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2017	C	`conf`	Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. PRDC Teru Ohashi, Tatsuhiro Tsuchiya
2017	C	`conf`	Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. PRDC Shinya Nakano, Tatsuhiro Tsuchiya
2017	J	`jnl`	State space reduction techniques for model checking of MANET protocols. Int. J. Netw. Comput. Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya
2017	—	`conf`	Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry. ISSRE Workshops Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya
2016	—	`conf`	A Dynamic Verification Mechanism for Real-Time Self-Adaptive Systems. FAS*W@SASO/ICCAC Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2016	J	`jnl`	A Search-Based Constraint Elicitation in Test Design. IEICE Trans. Inf. Syst. Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2016	—	`conf`	Caching Strategies for Run-time Probabilistic Model Checking. [email protected] Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya
2016	—	`conf`	Model Checking Techniques for State Space Reduction in MANET Protocol Verification. IPDPS Workshops Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya
2015	C	`ed.`	21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015 PRDC Guojun Wang, Tatsuhiro Tsuchiya, Dong Xiang
2015	—	`conf`	An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. SEFM Workshops Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2015	—	`conf`	Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence. ASE Workshops Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2015	—	`conf`	Towards Automatic Constraints Elicitation in Pair-Wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength. RET@ICSE Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2015	C	`conf`	Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. SEKE Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2015	—	`conf`	Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework. SASO Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2014	—	`conf`	Applying Parameter Value Weighting to a Practical Application. ISSRE Workshops Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2014	C	`conf`	Applying Random Testing to Constrained Interaction Testing. SEKE Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya
2014	—	`conf`	Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. CANDAR Cassia de Souza Carvalho, Tatsuhiro Tsuchiya
2014	C	`conf`	Locating a Faulty Interaction in Pair-wise Testing. PRDC Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2014	—	`conf`	Modeling the Interaction of Power Line and SCADA Networks. HASE Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya
2014	J	`jnl`	Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems. IEICE Trans. Inf. Syst. Kohei Sakurai, Masahiro Matsubara, Tatsuhiro Tsuchiya
2013	—	`conf`	A Value Weighting Method for Pair-wise Testing. APSEC (1) Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
2013	—	`conf`	A monitoring point selection approach for power distribution systems. SoSE Hirofumi Terada, Tsukasa Onishi, Tatsuhiro Tsuchiya
2013	C	`conf`	Software reconstruction and module management for distributed processing of train control. ISADS Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno
2012	C	`conf`	A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. PRDC Tatsuhiro Tsuchiya
2012	—	`conf`	Achieving High Availability of Consistent Data in the Presence of Network Partitions. UIC/ATC Tatsuhiro Tsuchiya
2012	B	`conf`	Maximizing Availability of Consistent Data in Unreliable Networks. ICPADS Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya
2012	C	`conf`	Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
2012	J	`jnl`	Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
2011	Misc	`conf`	Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno
2011	Misc	`conf`	Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
2011	C	`conf`	Gossiping with Network Coding. PRDC Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
2011	J	`jnl`	Verification of consensus algorithms using satisfiability solving. Distributed Comput. Tatsuhiro Tsuchiya, André Schiper
2010	Misc	`conf`	Balance and Proximity-Aware Skip Graph Construction. ICNC Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2010	J	`jnl`	Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Trans. Inf. Syst. Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2010	C	`conf`	On the Reliability of Cascaded TMR Systems. PRDC Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
2010	J	`jnl`	The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Trans. Inf. Syst. Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2009	J	`jnl`	Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
2009	J	`jnl`	On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Trans. Inf. Syst. Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2009	J	`jnl`	Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
2009	C	`conf`	Towards Automated Verification of Distributed Consensus Protocols. APSEC Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2009	C	`conf`	Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno
2008	J	`jnl`	A self-organising algorithm for sensor placement in wireless mobile microsensor networks. Int. J. Wirel. Mob. Comput. TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2008	C	`conf`	Detecting Feature Interactions in Home Appliance Networks. SNPD Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
2008	C	`conf`	Finding the Optimal Configuration of a Cascading TMR System. PRDC Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
2008	C	`conf`	Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2008	—	`conf`	Pairwise Testing in the Presence of Configuration Change Cost. SSIRI Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2008	A	`conf`	Using Bounded Model Checking to Verify Consensus Algorithms. DISC Tatsuhiro Tsuchiya, André Schiper
2007	—	`conf`	A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. Parallel and Distributed Computing and Networks TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2007	C	`conf`	An Automatic Real-Time Analysis of the Time to Reach Consensus. PRDC Tatsuhiro Tsuchiya, André Schiper
2007	J	`jnl`	An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. IEICE Trans. Inf. Syst. TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2007	B	`conf`	Constructing Overlay Networks with Low Link Costs and Short Paths. NCA Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
2007	B	`conf`	Model Checking of Consensus Algorit. SRDS Tatsuhiro Tsuchiya, André Schiper
2006	—	`conf`	A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno
2006	J	`jnl`	Counter-based reliability optimization for gossip-based broadcasting. Comput. Commun. Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno
2006	—	`conf`	Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
2005	C	`conf`	Describing and Verifying Integrated Services of Home Network Systems. APSEC Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
2005	—	`conf`	Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2004	—	`conf`	A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2004	—	`conf`	An Adaptive Mechanism for Epidemic Communication. BioADIT Tatsuhiro Tsuchiya, Tohru Kikuno
2004	C	`conf`	On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC Tatsuhiro Tsuchiya, Tohru Kikuno
2004	B	`conf`	SAT-Based Verification of Safe Petri Nets. ATVA Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno
2004	B	`conf`	Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno
2002	J	`jnl`	A new method for constructing pair-wise covering designs for software testing. Inf. Process. Lett. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002	J	`jnl`	Byzantine quorum systems with maximum availability. Inf. Process. Lett. Tatsuhiro Tsuchiya, Tohru Kikuno
2002	C	`conf`	Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
2002	J	`jnl`	New 2-Factor Covering Designs for Software Testing. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002	J	`jnl`	Non-specification-based approaches to logic testing for software. Inf. Softw. Technol. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002	J	`jnl`	On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. Tatsuhiro Tsuchiya, Tohru Kikuno
2002	—	`conf`	Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002	—	`conf`	Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
2002	J	`jnl`	Verifying Fault Tolerance of Concurrent Systems by Model Checking. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2001	A	`conf`	Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2001	C	`conf`	Automatic Verification of Fault Tolerance Using Model Checking. PRDC Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno
2001	J	`jnl`	Minimizing the mean delay of quorum-based mutual exclusion schemes. J. Syst. Softw. Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2001	J	`jnl`	Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distributed Syst. Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno
2000	J	`jnl`	A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. J. Syst. Softw. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2000	A	`conf`	Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1999	J	`jnl`	Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. Tatsuhiro Tsuchiya, Tohru Kikuno
1999	J	`jnl`	Constructing Byzantine Quorum Systems from Combinatorial Designs. Inf. Process. Lett. Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno
1999	J	`jnl`	Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distributed Syst. Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno
1999	—	`conf`	On the availability of k-coteries in networks with unreliable nodes and links. WORDS (Jan.) Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
1998	B	`conf`	A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. SRDS Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1998	J	`jnl`	Genetics-based multiprocessor scheduling using task duplication. Microprocess. Microsystems Tatsuhiro Tsuchiya, Tetsuya Osada, Tohru Kikuno
1997	—	`conf`	A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. FTCS Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1997	—	`conf`	An approach to safety verification of object-oriented design specification for an elevator control system. WORDS Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1997	B	`conf`	Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. COMPSAC Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim
1996	J	`jnl`	Modeling and evaluation of responsive multiprocessor systems. Syst. Comput. Jpn. Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno
1995	B	`conf`	A new fault-tolerant scheduling technique for real-time multiprocessor systems. RTCSA Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno