Blockchain-Based Key State Management for IoT Devices in Post-Quantum Era

Vincent Lew Kok Seng, Au Thien Wan, S. H. Shah Newaz, Tatsuhiro Tsuchiya

2024 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia)　p. 1-4　2024/11/03　Research paper (international conference proceedings)

Initial Attempt at Automated Vulnerability Fixing of Obfuscated Smart Contracts Using a Large Language Model

Chihiro Kado, Tatsuhiro Tsuchiya

2024 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia)　p. 1-3　2024/11/03　Research paper (international conference proceedings)

Sequential programming for distributed algorithm verification.

Tatsuhiro Tsuchiya

29th IEEE Pacific Rim International Symposium on Dependable Computing　p. 224-226　2024/11　Research paper (international conference proceedings)

Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis.

Koki Matsui, Tatsuhiro Tsuchiya

29th IEEE Pacific Rim International Symposium on Dependable Computing　p. 197-198　2024/11　Research paper (international conference proceedings)

Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages.

Aoi Ono, Tatsuhiro Tsuchiya

29th IEEE Pacific Rim International Symposium on Dependable Computing　p. 195-196　2024/11　Research paper (international conference proceedings)

Review-Based Bot Smell Classification in Robotic Process Automation.

Hiroyuki Nakagawa, Soshi Nitta, Tatsuhiro Tsuchiya

KES　p. 381-390　2024/09　Research paper (international conference proceedings)

Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty.

Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

COMPSAC　p. 2165-2170　2024/07　Research paper (international conference proceedings)

Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation.

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

COMPSAC　p. 1376-1381　2024/07　Research paper (international conference proceedings)

Use of binary decision diagrams to handle constraints in combinatorial interaction testing.

Tatsuhiro Tsuchiya

IEEE International Conference on Software Testing, Verification and Validation(ICSTW)　p. 211-214　2024/05　Research paper (international conference proceedings)

Two-Phase Approach to Finding the Most Critical Entities in Interdependent Systems

Daichi Minamide, Tatsuhiro Tsuchiya

IEICE Transactions on Fundamentals　Vol. E107-A　No. 5　p. 786-792　2024/05　Research paper (scientific journal)

Harnessing LLM Conversations for Goal Model Generation from User Reviews.

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

ICAART (3)　p. 385-392　2024/02　Research paper (international conference proceedings)

Automatic Facility Layout Design Using Reinforcement Learning and a Analytic Hierarchy Process

Journal of Japan Industrial Management Association　Vol. 74　No. 3　p. 142-152　2023/10　Research paper (scientific journal)

Model Checking of Intersection Traffic Control Protocols

Yuya Noguchi, Tatsuhiro Tsuchiya

Proc. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)　p. 99-107　2023/06　Research paper (international conference proceedings)

KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper).

Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc.42nd International Conference on Conceptual Modeling (ER) (Companion)　2023/05　Research paper (international conference proceedings)

Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing.

Gang Qin, Junjun Zheng, Tatsuhiro Tsuchiya

IEEE International Conference on Software Testing, Verification and Validation(ICSTW)　p. 190-196　2023/04　Research paper (international conference proceedings)

Automatic Facility Layout Design System Using Deep Reinforcement Learning.

Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the 15th International Conference on Agents and Artificial Intelligence　p. 221-230　2023/02　Research paper (international conference proceedings)

Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion.

Naoki Nishiguchi, Tatsuhiro Tsuchiya

Proc. 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023　p. 236-238　2023　Research paper (international conference proceedings)

Applying metamorphic testing to reliability calculating programs.

Taito Asaji, Tatsuhiro Tsuchiya

Proc. 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023　p. 142-149　2023　Research paper (international conference proceedings)

Shapley Value-Based Node Assessment in Unreliable Complex Networks: Initial Research Progress.

Wenxi Cai, Tatsuhiro Tsuchiya

DASC/PiCom/CBDCom/CyberSciTech　p. 886-890　2023　Research paper (international conference proceedings)

On Mutation Testing of Graph Database Queries in the Cypher Language.

Shingo Ariwaka, Tatsuhiro Tsuchiya

APSEC　p. 579-583　2023　Research paper (international conference proceedings)

Defect classification in robotic process automation

Soshi Nitta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Vol. 40　No. 1　p. 11-23　2023/01　Research paper (scientific journal)

Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing

Hao Jin, Ce Shi, Tatsuhiro Tsuchiya

Information and Software Technology　Vol. 153　p. 215-216　2023/01　Research paper (scientific journal)

Goal model structuring based on semantic correlation of user reviews

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Intelligent Decision Technologies　Vol. 16　No. 4　p. 737-748　2022/12/20　Research paper (scientific journal)

Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment

Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya

2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)　2022/09/12　Research paper (international conference proceedings)

Towards Automatic Facility Layout Design Using Reinforcement Learning.

Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

FedCSIS (Communication Papers)　p. 11-20　2022　Research paper (international conference proceedings)

Reliability and Incentive of Performance Assessment for Decentralized Clouds

Jiuchen Shi, Xiaoqing Cai, Wenli Zheng, Quan Chen 0002, Deze Zeng, Tatsuhiro Tsuchiya, Minyi Guo

Journal of Computer Science and Technology　Vol. 37　No. 5　p. 1176-1199　2022　Research paper (scientific journal)

Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption.

Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya

ICSA Companion　p. 193-196　2022　Research paper (international conference proceedings)

Graph queries for analyzing the coverage of requirements by test cases

Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering　p. 544-549　2021/07/09　Research paper (international conference proceedings)

Adaptation Space Reduction Using an Explainable Framework

Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC)　2021/07　Research paper (international conference proceedings)

Preemptive anomaly prediction in IoT components

Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

CEUR Workshop Proceedings　Vol. 2978　2021　Research paper (international conference proceedings)

A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems

Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya

Proc 32nd IFIP International Conference on Testing Software and Systems (ICTSS 2020)　p. 302-309　2020/12　Research paper (international conference proceedings)

Constrained locating arrays for combinatorial interaction testing

Hao Jin, Tatsuhiro Tsuchiya

Journal of Systems and Software　Vol. 170　p. 110771-110771　2020/12　Research paper (scientific journal)

A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing

Hao Jin, Tatsuhiro Tsuchiya

Proc. 29th IEEE International Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE 2020)　2020/10　Research paper (international conference proceedings)

Using simulated annealing for locating array construction

Konishi, T., Kojima, H., Nakagawa, H., Tsuchiya, T.

Information and Software Technology　Vol. 126　p. 106346-106346　2020/10　Research paper (scientific journal)

An Explainable Deep Learning Approach for Adaptation Space Reduction

Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)　2020/08　Research paper (international conference proceedings)

Model Checking of Automotive Control Software: An Industrial Approach

Masahiro MATSUBARA, Tatsuhiro TSUCHIYA

IEICE Transactions on Information and Systems　Vol. E103.D　No. 8　p. 1794-1805　2020/08/01　Research paper (scientific journal)

An Automated Goal Labeling Method Based on User Reviews

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)　2020/07　Research paper (international conference proceedings)

Interactive goal model construction based on a flow of questions

Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya

IEICE Transactions on Information and Systems　Vol. 103　No. 6　p. 1309-1318　2020/06　Research paper (scientific journal)

Locating Arrays with Mixed Alphabet Sizes

Ce Shi, Hao Jin, Tatsuhiro Tsuchiya

Mathematics　Vol. 8　No. 5　p. 831-831　2020/05/20　Research paper (scientific journal)

Finding Minimum Locating Arrays Using a CSP Solver

Konishi, T., Kojima, H., Nakagawa, H., Tsuchiya, T.

Fundamenta Informaticae　Vol. 174　No. 1　p. 27-42　2020/05/12　Research paper (scientific journal)

Constrained detecting arrays for fault localization in combinatorial testing

Hao Jin, Ce Shi, Tatsuhiro Tsuchiya

Proceedings of the ACM Symposium on Applied Computing　p. 1971-1978　2020/03/30

Opinion analysis and organization of mobile application user reviews

Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

CEUR Workshop Proceedings　Vol. 2584　2020　Research paper (international conference proceedings)

Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks

Kenta Hanada, Tatsuhiro Tsuchiya, Yasumasa Fujisaki

2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC)　p. 105-113　2019/12　Research paper (international conference proceedings)

A method of refining topic models based on term and document frequencies

Higashi, K., Takahashi, H., Nakagawa, H., Tsuchiya, T.

Computer Software　Vol. 36　No. 4　p. 25-31　2019/11　Research paper (scientific journal)

Expression caching for runtime verification based on parameterized probabilistic models

Nakagawa, H., Toyama, H., Tsuchiya, T.

Journal of Systems and Software　Vol. 156　p. 300-311　2019/10　Research paper (scientific journal)

Towards Real-time Self-adaptation Using a Verification Mechanism

Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya

Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)　p. 10-12　2019/07　Research paper (international conference proceedings)

Goal Model Construction Based on User Review Classification

Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019)　2019/03　Research paper (international conference proceedings)

Implementation and Evaluation of ISDSR in Emulation Environments.

Shinnosuke Shimizu, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya

p. 1-6　2019　Research paper (international conference proceedings)

Applying metamorphic testing to e-commerce product search engines

Shu Nagai, Tatsuhiro Tsuchiya

Proceedings of 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'18)　p. 183-184　2018/12　Research paper (international conference proceedings)

Deriving Fault Locating Test Cases from Constrained Covering Arrays

Hao Jin, Tatsuhiro Tsuchiya

Proceedings of 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'18)　p. 233-240　2018/12　Research paper (international conference proceedings)

Constructing a Goal Model Based on Application User Reviews

Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2018/11　Research paper (other academic)

ゴールモデルのコンテキストに注目した効率的なモデル検査

本田大雅, 小島英春, 中川博之, 土屋達弘

ソフトウェアエンジニアリングシンポジウム2018論文集　p. 229-235　2018/08

A Document-based Parameter Correlation Metric for Test Design

Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya

Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)　p. 641-640　2018/07　Research paper (international conference proceedings)

Improvement of User Reviews Classification Using Keyword Expansion

Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018)　p. 125-124　2018/07　Research paper (international conference proceedings)

A Framework for Updating Functionalities Based on the MAPE Loop Mechanism

Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya

Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)　p. 38-47　2018/07　Research paper (international conference proceedings)

A satisfiability-based approach to generation of constrained locating arrays

Hao Jin, Takashi Kitamura 0001, Eun-Hye Choi, Tatsuhiro Tsuchiya

11th IEEE International Conference on Software Testing, Verification and Validation Workshops　p. 285-294　2018/04　Research paper (scientific journal)

Boolean logic-based approaches to testing and verification of information systems

Tatsuhiro Tsuchiya

Vol. B5　No. 03　p. 1-3　2018/03　Research paper (conference, symposium, etc.)

A Requirements Coverage Visualization Approach Based on Document Similarities

Shori Matsui, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

JSSST Journal Compupter Software　2018/02　Research paper (scientific journal)

Special section on formal approaches

Tsuchiya, T.

IEICE Transactions on Information and Systems　Vol. E101D　No. 6　p. 1466-1466　2018　Research paper (scientific journal)

Constructing a goal model from requirements descriptions based on extraction rules

Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Communications in Computer and Information Science　Vol. 809　p. 175-188　2018　Research paper (international conference proceedings)

A Satisfiability-Based Approach to Generation of Constrained Locating Arrays.

Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018　p. 285-294　2018　Research paper (international conference proceedings)

Controlling Occurrence Frequencies of Parameter Values in Pair-Wise Testing

Fujimoto, S., Kojima, H., Tsuchiya, T.

International Journal of Software Engineering and Knowledge Engineering　Vol. 28　No. 7　2018　Research paper (scientific journal)

The aggregation point placement problem for power distribution systems

Kojima, H., Tsuchiya, T., Fujisaki, Y.

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E101A　No. 7　p. 1074-1082　2018　Research paper (scientific journal)

A Requirements Coverage Visualization Viewer Based on a Spring Model

Shori Matsui, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2017/11　Research paper (other academic)

Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry

Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya

Proc. of the 28th International Symposium on Software Reliability Engineering (ISSRE 2017)　p. 77-80　2017/10　Research paper (international conference proceedings)

A visualization of specification coverage based on document similarity

Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017　p. 136-138　2017/06/30　Research paper (international conference proceedings)

Data access control for energy-related services in smart public infrastructures

Yohei Kawadaa, Kojin Yanob, Yoshihiro Mizunoa, Tatsuhiro Tsuchiya, Yasumasa Fujisaki

Computers in Industry　Vol. 88　p. 35-43　2017/06　Research paper (scientific journal)

Generating high strength test suites for combinatorial interaction testing using ZDD-based graph algorithms

Teru Ohashi, Tatsuhiro Tsuchiya

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC　p. 78-85　2017/05/05　Research paper (international conference proceedings)

Method and case study of model checking concurrent systems that use unbounded timestamps

Shinya Nakano, Tatsuhiro Tsuchiya

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC　p. 261-266　2017/05/05　Research paper (international conference proceedings)

Data access control for energy-related services in smart public infrastructures

Yohei Kawada, Kojin Yano, Yoshihiro Mizuno, Tatsuhiro Tsuchiya, Yasumasa Fujisaki

COMPUTERS IN INDUSTRY　Vol. 88　p. 35-43　2017/04　Research paper (scientific journal)

Satisfiability-Based Analysis of Cascading Failures in Power System Networks

Tatsuhiro Tsuchiya, Yasumasa Fujisaki

Proceedings of SICE International Symposium on Control Systems 2017　2017/03　Research paper (international conference proceedings)

Finding Minimum Locating Arrays Using a SAT Solver

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

10th IEEE International Conference on Software Testing, Verification and Validation Workshops　p. 276-277　2017/03　Research paper (scientific journal)

Method and case study of model checking concurrent systems that use unbounded timestamps

Shinya Nakano, Tatsuhiro Tsuchiya

2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017)　p. 261-266　2017/01　Research paper (international conference proceedings)

Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms

Teru Ohashi, Tatsuhiro Tsuchiya

2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017)　p. 78-85　2017/01　Research paper (international conference proceedings)

State space reduction techniques for model checking of MANET protocols.

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya

IJNC　Vol. 7　No. 1　p. 29-49　2017/01　Research paper (scientific journal)

Caching Strategies for Run-time Probabilistic Model Checking

Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya

Proc. of the 11th International Workshop on Models@run.time (MRT 2016)　p. 18-25　2016/10　Research paper (international conference proceedings)

A Dynamic Verification Mechanism for Real-time Self-adaptive Systems

Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016)　p. 265-266　2016/09　Research paper (international conference proceedings)

A Search-based Constraint Elicitation in Test Design

Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

IEICE Transactions on Information and Systems　Vol. E99D　No. 9　p. 2229-2238　2016/09　Research paper (scientific journal)

Model checking techniques for state space reduction in MANET protocol verification

Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya

2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW)　p. 509-516　2016/05　Research paper (international conference proceedings)

A Brief Overview of and Research Trends in Software Testing

Tatsuhiro Tsuchiya

Journal of Reliability Engineering Association of Japan　Vol. 38　No. 2　p. 80-85　2016/03

Verification of a Consensus Algorithm Using Model Checking

Shinya Nakano, Hideharu Kojima, Tatsuhiro Tsuchiya

2015/12

Towards Automatic Constraints Elicitation of Test Cases: Preliminary Evaluation Based on Collective Intelligence

Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 6th International Workshop on Testing Techniques for Event Based Software (TESTBEDS 2015)　2015/11　Research paper (international conference proceedings)

Improving the greedy approach to constructing combinatorial test suites

Teru Ohashi, Tatsuhiro Tsuchiya

IEICE Technical Report　Vol. 115　No. 248　p. 13-15　2015/10　Research paper (other academic)

An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities

Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 2nd Workshop on Formal Verification for Self-* Systems (VERY* 2015)　Vol. 9509　p. 253-265　2015/09　Research paper (international conference proceedings)

Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework

Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2015)　p. 176-177　2015/09　Research paper (international conference proceedings)

Optimization of the number of test case candidates in generating a combinatorial test suite

Teru Ohashi, Tatsuhiro Tsuchiya

2015/08　Research paper (other academic)

Towards Automatic Constraints Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation Support Using Coupling Strength

Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proc. of the 2nd International Workshop on Requirements Engineering and Testing (RET 2015), co-located with ICSE 2015　p. 34-36　2015/05　Research paper (international conference proceedings)

Towards automatic requirements elicitation from feedback comments: Extracting requirements topics using LDA

Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE　Vol. 2015-　p. 489-494　2015　Research paper (international conference proceedings)

Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence

Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)　p. 58-61　2015　Research paper (international conference proceedings)

Locating a faulty interaction in pair-wise testing

Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC　p. 155-156　2014/12/03　Research paper (international conference proceedings)

Applying Random Testing to Constrained Interaction Testing.

Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya

The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013.　p. 193-198　2014/07　Research paper (international conference proceedings)

Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation

Cassia de Souza Carvalho, Tatsuhiro Tsuchiya

2014 SECOND INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR)　p. 596-598　2014/04　Research paper (international conference proceedings)

Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems

Kohei Sakurai, Masahiro Matsubara, Tatsuhiro Tsuchiya

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. 97-D　No. 2　p. 344-348　2014/02　Research paper (scientific journal)

Special section on mathematical systems science and its applications

Isobe, Y., Ota, A., Kitamura, S., Taoka, S., Tsuchiya, T., Nakamura, M., Miyamoto, T., Yamaguchi, S., Yamasaki, T., Yamane, S.

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E97-A　No. 2　p. 451-451　2014　Research paper (scientific journal)

On the Availability of Replicated Data Managed by Hierarchical Voting

Yuuki Ueda, Hideharu Kojima, Tatsuhiro Tsuchiya

PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING COMPANION (ISCC-C)　p. 313-316　2014　Research paper (international conference proceedings)

Modeling the Interaction of Power Line and SCADA Networks

Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya

2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE)　p. 261-262　2014/01　Research paper (international conference proceedings)

Applying parameter value weighting to a practical application

Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW)　p. 130-131　2014　Research paper (international conference proceedings)

Locating a Faulty Interaction in Pair-Wise Testing

Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014)　p. 155-156　2014　Research paper (international conference proceedings)

Software reconstruction and module management for distributed processing of train control

Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings - 2013 11th International Symposium on Autonomous Decentralized Systems, ISADS 2013　2013　Research paper (international conference proceedings)

A Monitoring Point Selection Approach for Power Distribution Systems

Hirofumi Terada, Tsukasa Onishi, Tatsuhiro Tsuchiya

2013 8TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE)　p. 190-195　2013　Research paper (international conference proceedings)

A value weighting method for pair-wise testing

Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya

Proceedings - Asia-Pacific Software Engineering Conference, APSEC　Vol. 1　p. 99-105　2013　Research paper (international conference proceedings)

Maximizing Availability of Consistent Data in Unreliable Networks

Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya

PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)　p. 117-123　2012/12　Research paper (international conference proceedings)

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints

Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E95A　No. 9　p. 1501-1505　2012/09　Research paper (scientific journal)

Message from the workshop organizers

Yuichi Itoh, Kiyoshi Kiyokawa, Satoshi Kurihara, Hiroyuki Ohsaki, Tatsuhiro Tsuchiya, Naoki Wakamiya, Hideyuki Ando

Proceedings - IEEE Virtual Reality　2012　Research paper (international conference proceedings)

Proposal of environmental adaptation for the next-generation distribution SCADA system

Hirofumi Terada, Tsukasa Onishi, Tatsuhiro Tsuchiya

China International Conference on Electricity Distribution, CICED　2012　Research paper (international conference proceedings)

Safety verification of asynchronous consensus algorithms with model checking

Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC　p. 80-88　2012　Research paper (international conference proceedings)

Achieving High Availability of Consistent Data in the Presence of Network Partitions

Tatsuhiro Tsuchiya

2012 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE & COMPUTING AND 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC & TRUSTED COMPUTING (UIC/ATC)　p. 618-620　2012　Research paper (international conference proceedings)

Verification of consensus algorithms using satisfiability solving

Tatsuhiro Tsuchiya, Andre Schiper

Distributed Computing　Vol. 23　No. 5-6　p. 341-358　2011/04　Research paper (scientific journal)

Constructing test sets for pairwise testing: A SAT-based approach

Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings - 2011 2nd International Conference on Networking and Computing, ICNC 2011　p. 271-274　2011　Research paper (international conference proceedings)

Bounded model checking of concurrent systems with unbounded integer variables

Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings - 2011 2nd International Conference on Networking and Computing, ICNC 2011　p. 261-265　2011　Research paper (international conference proceedings)

Model Checking of Unbounded Rounds of Asynchrnous Consensus Protocols

Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno

CD ROM Proceedings of ICNC'10　2010/11　Research paper (international conference proceedings)

The Time Complexity of Hsu and Huang's Self- Stabilizing Maximal Matching Algorithm

Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE Transactions on Information and Systems　Vol. E93D　No. 10　p. 2850-2853　2010/10　Research paper (scientific journal)

Constructing Overlay Networks with Short Paths and Low Communication Cost

Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE Transactions on Information and Systems　Vol. 93　No. 6　p. 1540-1548　2010/06　Research paper (scientific journal)

Balance and proximity-aware skip graph construction

Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings - 2010 1st International Conference on Networking and Computing, ICNC 2010　p. 268-271　2010　Research paper (international conference proceedings)

On the reliability of cascaded TMR systems

Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010　p. 184-190　2010　Research paper (international conference proceedings)

Converting Consensus Algorithms from a Round Model into a Conventional Distributed System Model

Kazuyuki Aka, Tatsuhiro Tsuchiya, Tohru Kikuno

Proc. of 2nd International Workshop on Reliability, Availability, and Security (WRAS)　2009/12

Towards Automated Verification of Distributed Consensus Protocols

Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009)　p. 499-506　2009/12　Research paper (international conference proceedings)

Using the NuSMV Model Checker for Test Generation from Statecharts

Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of 15th Pacific Rim International Symposium on Depdnable Computing (PRDC 2009)　p. 37-42　2009/11　Research paper (international conference proceedings)

Evaluating the Usefulness of the Metropolis Algorithm for Overlay Network Optimization

Tatsushi Takamura, Tatsuhiro Tsuchiya, Tohru Kikuno

Proc. of 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009)　2009/10　Research paper (international conference proceedings)

Epidemic Communication Using an Erasure Code

Masaki Terasawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Proc. of 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009)　2009/10　Research paper (international conference proceedings)

On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm

Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE Transactions on Information and Systems　Vol. E92D　No. 8　p. 1570-1573　2009/08　Research paper (scientific journal)

SAT and SMT Based Model Checking of Concurrent Systems

Tatsuhiro Tsuchiya, Tohru Kikuno

Vol. 109　No. 73　p. 19-23　2009/06

Feature Interaction Verification Using Unbounded Model Checking with Interpolation

Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE Transactions on Information and Systems　Vol. 92　No. 6　p. 1250-1259　2009/06　Research paper (scientific journal)

Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, Tohru Kikuno

FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS　p. 138-142　2009　Research paper (international conference proceedings)

A self-organising algorithm for sensor placement in wireless mobile microsensor networks

TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno

International Journal of Wireless and Mobile Computing　Vol. 3　No. 1-2　p. 69-78　2008/07　Research paper (scientific journal)

Analyzing the One Dimensional Ising Model by Probabilistic Model Checking

Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Tohru Kikuno, Koichi Takahashi

Proceedings of the IASTED Asian Conference on Modelling and Simulation　2007/10　Research paper (scientific journal)

Model Checking of Consensus Algorithms

Tatsuhiro Tsuchiya, Andre Schiper

Proc. 26th IEEE International Symposium on Reliable Distributed Systems　p. 137-+　2007/10　Research paper (scientific journal)

Constructing Overlay Networks with Low Link Costs and Short Paths

Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno

Proc. 6th International Symposium on Network Computing and Applications　p. 299-+　2007/07　Research paper (scientific journal)

An energy-efficient broadcast scheme for multihop wireless ad hoc networks using variable-range transmission power

TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. 90　No. 3　p. 680-684　2007/03　Research paper (scientific journal)

A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks

TheirLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno

PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS　p. 6-+　2007　Research paper (international conference proceedings)

Model Checking Active Database Rules under Various Rule Processing Strategies

Choi Eun-Hye, Tsuchiya Tatsuhiro, Kikuno Tohru

ipsjdc　Vol. 47　No. 19　p. 14-27　2006/12　Research paper (scientific journal)

Automatically Verifying Integrated Services in Home Network Systems

Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, Ken-ichi Matsumoto

International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006)　Vol. II　p. 173-176　2006/07　Research paper (international conference proceedings)

A Self-Organizing Algorithm for Sensor Placement in Wireless Mobile Micro-Sensor Networks

TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno

Journal of Wireless and Mobile Computing　2005/04　Research paper (scientific journal)

Overlay network topologies for gossip-based multicast

Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS　Vol. 1　p. 2-7　2005　Research paper (international conference proceedings)

Describing and verifying integrated services of home network systems

P Leelaprute, M Nakamura, T Tsuchiya, K Matsumoto, T Kikuno

12th Asia-Pacific Software Engineering Conference, Proceedings　p. 549-558　2005　Research paper (international conference proceedings)

SAT-Based Verification of Safe Petri Nets

Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004)　Vol. 3299　p. 79-92　2004/11　Research paper (scientific journal)

Using artificial life techniques to generate test cases for combinatorial testing

SHIBA Toshiaki

Proceedings of 28th Annual International Computer Software and Applications Conference (COMPSAC '04)　2004/09　Research paper (scientific journal)

Feature Interaction Detection by Bounded Model Checking

Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. 86　No. 12　p. 2579-2587　2003/11　Research paper (scientific journal)

Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking

Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

Proc. 2003 International Technical Conference on Circuits/Systems　Vol. Computers and Communications (ITC-CSCC2003)　No. 3　p. 1807-1810　2003/07　Research paper (international conference proceedings)

Detecting Feature Interactions in Telecommunication Services with a SAT Solver

Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS　p. 131-134　2002/12　Research paper (international conference proceedings)

Verifying Fault Tolerance of Concurrent Systems by Model Checking

Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. 85　No. 11　p. 2414-2425　2002/11　Research paper (scientific journal)

Symbolic Approaches to Feature Interaction Detection

Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

In Proc. IEEE Conference on Dependable Systems and Networks (ICDSN-2002)　Vol. 2　No. Fast Abstract　p. B46-B47-B46-B47　2002/06　Research paper (international conference proceedings)

Byzantine Quorum Systems with Maximum Availability

Tatsuhiro Tsuchiya, Tohru Kikuno

INFORMATION PROCESSING LETTERS　Vol. 83　No. 2　p. 71-77　2002/05　Research paper (scientific journal)

Effective Scheduling of Duplicated Tasks for Fault-Tolerance in Multiprocessor Systems

Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. 85　No. 3　p. 525-534　2002/03　Research paper (scientific journal)

Non-specification-based approaches to logic testing for software

Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno

INFORMATION AND SOFTWARE TECHNOLOGY　Vol. 44　No. 2　p. 113-121　2002/02　Research paper (scientific journal)

Optimal k-coteries that maximize availability in general networks

Choi, E.H., Tsuchiya, T., Kikuno, T.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 2344　2002　Research paper (scientific journal)

Using symbolic model checking to detect service interactions in telecommunication services

Hamada, T., Tsuchiya, T., Nakamura, M., Kikuno, T.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 2343　2002　Research paper (scientific journal)

Detecting feature interactions in telecommunication systems by symbolic model checking

Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

16th International Conference on Information Networking (ICOIN-16)　p. 8B2.1-2.11　2002/01　Research paper (international conference proceedings)

Minimizing the mean delay of quorum-based mutual exclusion schemes

Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno

JOURNAL OF SYSTEMS AND SOFTWARE　Vol. 58　No. 1　p. 1-9　2001/08　Research paper (scientific journal)

Hierarchical Dependability Modeling of Distributed Systems with Replicated Resources

Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno

2001/06　Research paper (scientific journal)

A hierarchical approach to dependability evaluation of distributed systems with replicated resources

EH Choi, T Tsuchiya, T Kikuno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E84D　No. 6　p. 692-699　2001/06　Research paper (scientific journal)

Experimental Evaluation of Fault-Secure Scheduling under Different Error Models in Multiprocessor Systems

Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno

IEICE Trans. Inf. & Syst.　Vol. 84　No. 5　p. 635-650　2001/05　Research paper (scientific journal)

Error models and fault-secure scheduling in multiprocessor systems

K Hashimoto, T Tsuchiya, T Kikuno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E84D　No. 5　p. 635-650　2001/05　Research paper (scientific journal)

Applicability of non-specification-based approaches to logic testing for software

N Kobayashi, T Tsuchiya, T Kikuno

INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS　p. 337-346　2001　Research paper (international conference proceedings)

Automatic verification of fault tolerance using model checking

T Yokogawa, T Tsuchiya, T Kikuno

2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS　p. 95-102　2001　Research paper (international conference proceedings)

Realizing fault-tolerant scheduling using replicated tasks in multiprocessor systems

Koji Hashimoto, Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno

Proc. 1996 International Workshop on Dependability in Advanced Computing Paradigms (DACP-96)　p. 87-92　1996/06　Research paper (international conference proceedings)