Tatsuhiro Tsuchiya

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 66

Top Venues

CoRR

PRDC

SEKE

IEICE Trans. Inf. Syst.

Publications

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) (2024)
Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Harnessing LLM Conversations for Goal Model Generation from User Reviews. ICAART (3) (2024)
Shingo Ariwaka, Tatsuhiro Tsuchiya
On Mutation Testing of Graph Database Queries in the Cypher Language. APSEC (2023)
Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Expansion Mechanism for Runtime Verification of Self-adaptive Systems. SEKE (2023)
Taito Asaji, Tatsuhiro Tsuchiya
Applying metamorphic testing to reliability calculating programs. PRDC (2023)
Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing. Inf. Softw. Technol. 153 (2023)
Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya
Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing. ICSTW (2023)
Wenxi Cai, Tatsuhiro Tsuchiya
Shapley Value-Based Node Assessment in Unreliable Complex Networks: Initial Research Progress. DASC/PiCom/CBDCom/CyberSciTech (2023)
Naoki Nishiguchi, Tatsuhiro Tsuchiya
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. PRDC (2023)
Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Automatic Facility Layout Design System Using Deep Reinforcement Learning. ICAART (2) (2023)
Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper). ER (Companion) (2023)
Yuya Noguchi, Tatsuhiro Tsuchiya
Model Checking of Intersection Traffic Control Protocols. ICECCS (2023)
Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya
Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment. DASC/PiCom/CBDCom/CyberSciTech (2022)
Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection. PRIMA (2022)
Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Hierarchical User Review Clustering Based on Multiple Sub-goal Generation. JCKBSE (2022)
Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption. ICSA Companion (2022)
Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Goal model structuring based on semantic correlation of user reviews. Intell. Decis. Technol. 16 (4) (2022)
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) (2022)
Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism. CoRR (2022)
Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Towards Automatic Facility Layout Design Using Reinforcement Learning. FedCSIS (Communication Papers) (2022)
Kyozo Hida, Tatsuhiro Tsuchiya
Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers. CoRR (2022)
Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Graph queries for analyzing the coverage of requirements by test cases. SEKE (2021)
Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Preemptive Anomaly Prediction in IoT Components (short paper). ECSA (Companion) (2021)
Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Adaptation Space Reduction Using an Explainable Framework. COMPSAC (2021)
Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing. CoRR (2021)
Hao Jin, Tatsuhiro Tsuchiya
A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing. WETICE (2020)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Using simulated annealing for locating array construction. Inf. Softw. Technol. 126 (2020)
Masahiro Matsubara, Tatsuhiro Tsuchiya
Model Checking of Automotive Control Software: An Industrial Approach. IEICE Trans. Inf. Syst. (8) (2020)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Finding Minimum Locating Arrays Using a CSP Solver. Fundam. Informaticae 174 (1) (2020)
Hao Jin, Tatsuhiro Tsuchiya
Constrained locating arrays for combinatorial interaction testing. J. Syst. Softw. 170 (2020)
Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
An Explainable Deep Learning Approach for Adaptation Space Reduction. ACSOS Companion (2020)
Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
An Automated Goal Labeling Method Based on User Reviews. SEKE (2020)
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ICTSS (2020)
Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Opinion Analysis and Organization of Mobile Application User Reviews. REFSQ Workshops (2020)
Ce Shi, Hao Jin, Tatsuhiro Tsuchiya
Locating arrays with mixed alphabet sizes. CoRR (2020)
Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya
Interactive Goal Model Construction Based on a Flow of Questions. IEICE Trans. Inf. Syst. (6) (2020)
Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
Constrained detecting arrays for fault localization in combinatorial testing. SAC (2020)
Tatsuhiro Tsuchiya
Using binary decision diagrams for constraint handling in combinatorial interaction testing. CoRR (2019)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Finding minimum locating arrays using a CSP solver. CoRR (2019)
Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
Expression caching for runtime verification based on parameterized probabilistic models. J. Syst. Softw. 156 (2019)
Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya
Implementation and Evaluation of ISDSR in Emulation Environments. WCNC (2019)
Kenta Hanada, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks. PRDC (2019)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Using simulated annealing for locating array construction. CoRR (2019)
Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Goal Model Construction Based on User Review Classification. REFSQ Workshops (2019)
Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
A Framework for Updating Functionalities Based on the MAPE Loop Mechanism. COMPSAC (1) (2018)
Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing. Int. J. Softw. Eng. Knowl. Eng. 28 (7) (2018)
Hao Jin, Tatsuhiro Tsuchiya
Deriving Fault Locating Test Cases from Constrained Covering Arrays. PRDC (2018)
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops (2018)
Hao Jin, Tatsuhiro Tsuchiya
Constrained locating arrays for combinatorial interaction testing. CoRR (2018)
Tatsuhiro Tsuchiya
Foreword. IEICE Trans. Inf. Syst. (6) (2018)
Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Improvement of User Review Classification Using Keyword Expansion (S). SEKE (2018)
Shu Nagai, Tatsuhiro Tsuchiya
Applying Metamorphic Testing to e-Commerce Product Search Engines. PRDC (2018)
Hideharu Kojima, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
The Aggregation Point Placement Problem for Power Distribution Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2018)
Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya
A Document-based Parameter Correlation Metric for Test Design (S). SEKE (2018)
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Finding Minimum Locating Arrays Using a SAT Solver. ICST Workshops (2017)
Yohei Kawada, Kojin Yano, Yoshihiro Mizuno, Tatsuhiro Tsuchiya, Yasumasa Fujisaki
Data access control for energy-related services in smart public infrastructures. Comput. Ind. 88 (2017)
Shinya Nakano, Tatsuhiro Tsuchiya
Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. PRDC (2017)
Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules. APRES (2017)
Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya
State space reduction techniques for model checking of MANET protocols. Int. J. Netw. Comput. 7 (1) (2017)
Teru Ohashi, Tatsuhiro Tsuchiya
Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. PRDC (2017)
Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya
Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry. ISSRE Workshops (2017)
Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya
A visualization of specification coverage based on document similarity. ICSE (Companion Volume) (2017)
Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya
Caching Strategies for Run-time Probabilistic Model Checking. Models@run.time (2016)
Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
A Search-Based Constraint Elicitation in Test Design. IEICE Trans. Inf. Syst. (9) (2016)
Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya
Model Checking Techniques for State Space Reduction in MANET Protocol Verification. IPDPS Workshops (2016)
Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
A Dynamic Verification Mechanism for Real-Time Self-Adaptive Systems. FAS*W@SASO/ICCAC (2016)
Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Towards Automatic Constraints Elicitation in Pair-Wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength. RET@ICSE (2015)
Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. SEFM Workshops (2015)
Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence. ASE Workshops (2015)
Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. SEKE (2015)
Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework. SASO (2015)
Cassia de Souza Carvalho, Tatsuhiro Tsuchiya
Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. CANDAR (2014)
Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya
Applying Random Testing to Constrained Interaction Testing. SEKE (2014)
Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Applying Parameter Value Weighting to a Practical Application. ISSRE Workshops (2014)
Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Locating a Faulty Interaction in Pair-wise Testing. PRDC (2014)
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. (2) (2014)
Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya
Modeling the Interaction of Power Line and SCADA Networks. HASE (2014)
Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno
Software reconstruction and module management for distributed processing of train control. ISADS (2013)
Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
A Value Weighting Method for Pair-wise Testing. APSEC (1) (2013)
Hirofumi Terada, Tsukasa Onishi, Tatsuhiro Tsuchiya
A monitoring point selection approach for power distribution systems. SoSE (2013)
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2012)
Tatsuhiro Tsuchiya
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. PRDC (2012)
Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC (2012)
Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya
Maximizing Availability of Consistent Data in Unreliable Networks. ICPADS (2012)
Tatsuhiro Tsuchiya
Achieving High Availability of Consistent Data in the Presence of Network Partitions. UIC/ATC (2012)
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC (2011)
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC (2011)
Tatsuhiro Tsuchiya, André Schiper
Verification of consensus algorithms using satisfiability solving. Distributed Comput. 23 (5-6) (2011)
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
Gossiping with Network Coding. PRDC (2011)
Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
On the Reliability of Cascaded TMR Systems. PRDC (2010)
Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Trans. Inf. Syst. (6) (2010)
Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Trans. Inf. Syst. (10) (2010)
Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Balance and Proximity-Aware Skip Graph Construction. ICNC (2010)
Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno
Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC (2009)
Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Trans. Inf. Syst. (8) (2009)
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. (6) (2009)
Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Towards Automated Verification of Distributed Consensus Protocols. APSEC (2009)
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. (5) (2009)
Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
Finding the Optimal Configuration of a Cascading TMR System. PRDC (2008)
Tatsuhiro Tsuchiya, André Schiper
Using Bounded Model Checking to Verify Consensus Algorithms. DISC (2008)

Tatsuhiro Tsuchiya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tatsuhiro Tsuchiya