Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tatsuhiro Tsuchiya
@inproceedings{DBLP:conf/icaart/RenNT24,
author = {Shuaicai Ren and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Harnessing {LLM} Conversations for Goal Model Generation from User
Reviews},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 3, Rome, Italy, February 24-26,
2024},
pages = {385--392},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012352200003636},
doi = {10.5220/0012352200003636},
timestamp = {Thu, 04 Apr 2024 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/icaart/RenNT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/JinST23,
author = {Hao Jin and
Ce Shi and
Tatsuhiro Tsuchiya},
title = {Constrained detecting arrays: Mathematical structures for fault identification
in combinatorial interaction testing},
journal = {Inf. Softw. Technol.},
volume = {153},
pages = {107045},
year = {2023},
url = {https://doi.org/10.1016/j.infsof.2022.107045},
doi = {10.1016/J.INFSOF.2022.107045},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/JinST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AriwakaT23,
author = {Shingo Ariwaka and
Tatsuhiro Tsuchiya},
title = {On Mutation Testing of Graph Database Queries in the Cypher Language},
booktitle = {30th Asia-Pacific Software Engineering Conference, {APSEC} 2023, Seoul,
Republic of Korea, December 4-7, 2023},
pages = {579--583},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/APSEC60848.2023.00074},
doi = {10.1109/APSEC60848.2023.00074},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/AriwakaT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/CaiT23,
author = {Wenxi Cai and
Tatsuhiro Tsuchiya},
title = {Shapley Value-Based Node Assessment in Unreliable Complex Networks:
Initial Research Progress},
booktitle = {{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 2023, Abu Dhabi, United Arab Emirates,
November 14-17, 2023},
pages = {886--890},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy59711.2023.10361329},
doi = {10.1109/DASC/PICOM/CBDCOM/CY59711.2023.10361329},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/CaiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/WatanabeNT23,
author = {Keitaro Watanabe and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Claudenir M. Fonseca and
Jos{\'{e}} Borbinha and
Giancarlo Guizzardi and
David Aveiro and
Sotirios Liaskos and
C. Maria Keet and
Estefan{\'{\i}}a Serral and
Fernanda Bai{\~{a}}o and
Jo{\~{a}}o Ara{\'{u}}jo and
Tiago Prince Sales and
Miguel Mira da Silva and
Sergio de Cesare and
H. Sofia Pinto and
Ladjel Bellatreche and
Simon Hacks},
title = {{KAOS} Modeling Editor: {A} tool for semi-automated goal modeling
(short paper)},
booktitle = {Companion Proceedings of the 42nd International Conference on Conceptual
Modeling: {ER} Forum, 7th SCME, Project Exhibitions, Posters and Demos,
and Doctoral Consortium co-located with {ER} 2023, Lisbon, Portugal,
November 06-09, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3618},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3618/pd\_paper\_6.pdf},
timestamp = {Thu, 18 Jan 2024 15:46:24 +0100},
biburl = {https://dblp.org/rec/conf/er/WatanabeNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/IkedaNT23,
author = {Hikaru Ikeda and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Automatic Facility Layout Design System Using Deep Reinforcement Learning},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 2, Lisbon, Portugal, February
22-24, 2023},
pages = {221--230},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011678500003393},
doi = {10.5220/0011678500003393},
timestamp = {Tue, 09 May 2023 16:56:47 +0200},
biburl = {https://dblp.org/rec/conf/icaart/IkedaNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NoguchiT23,
author = {Yuya Noguchi and
Tatsuhiro Tsuchiya},
editor = {Yamine A{\"{\i}}t{-}Ameur and
Ferhat Khendek and
Dominique M{\'{e}}ry},
title = {Model Checking of Intersection Traffic Control Protocols},
booktitle = {27th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2023, Toulouse, France, June 14-16, 2023},
pages = {99--107},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICECCS59891.2023.00021},
doi = {10.1109/ICECCS59891.2023.00021},
timestamp = {Fri, 15 Dec 2023 07:44:32 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/NoguchiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/QinZT23,
author = {Gang Qin and
Junjun Zheng and
Tatsuhiro Tsuchiya},
title = {Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays
for Combinatorial Interaction Testing},
booktitle = {{IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2023 - Workshops, Dublin, Ireland, April 16-20,
2023},
pages = {190--196},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSTW58534.2023.00043},
doi = {10.1109/ICSTW58534.2023.00043},
timestamp = {Wed, 07 Jun 2023 22:08:04 +0200},
biburl = {https://dblp.org/rec/conf/icst/QinZT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/AsajiT23,
author = {Taito Asaji and
Tatsuhiro Tsuchiya},
title = {Applying metamorphic testing to reliability calculating programs},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {142--149},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00026},
doi = {10.1109/PRDC59308.2023.00026},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/prdc/AsajiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NishiguchiT23,
author = {Naoki Nishiguchi and
Tatsuhiro Tsuchiya},
title = {Formal Verification of Concurrent Algorithms: Case Studies on Mutual
Exclusion},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {236--238},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00036},
doi = {10.1109/PRDC59308.2023.00036},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/NishiguchiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FujimotoNT23,
author = {Masaya Fujimoto and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Shi{-}Kuo Chang},
title = {Expansion Mechanism for Runtime Verification of Self-adaptive Systems},
booktitle = {The 35th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July
1-10, 2023},
pages = {76--81},
publisher = {{KSI} Research Inc.},
year = {2023},
url = {https://doi.org/10.18293/SEKE2023-223},
doi = {10.18293/SEKE2023-223},
timestamp = {Wed, 06 Sep 2023 16:44:18 +0200},
biburl = {https://dblp.org/rec/conf/seke/FujimotoNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/idt/RenNT22,
author = {Shuaicai Ren and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Goal model structuring based on semantic correlation of user reviews},
journal = {Intell. Decis. Technol.},
volume = {16},
number = {4},
pages = {737--748},
year = {2022},
url = {https://doi.org/10.3233/IDT-220269},
doi = {10.3233/IDT-220269},
timestamp = {Fri, 13 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/idt/RenNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ShiCZCZTG22,
author = {Jiuchen Shi and
Xiaoqing Cai and
Wenli Zheng and
Quan Chen and
Deze Zeng and
Tatsuhiro Tsuchiya and
Minyi Guo},
title = {Reliability and Incentive of Performance Assessment for Decentralized
Clouds},
journal = {J. Comput. Sci. Technol.},
volume = {37},
number = {5},
pages = {1176--1199},
year = {2022},
url = {https://doi.org/10.1007/s11390-022-2120-y},
doi = {10.1007/S11390-022-2120-Y},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/ShiCZCZTG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/WatanabeKSYT22,
author = {Keitaro Watanabe and
Hideharu Kojima and
Yuichi Sudo and
Naoto Yanai and
Tatsuhiro Tsuchiya},
title = {Implementation and Evaluation of Leader Election in the Population
Protocol Model Using an Emulation Environment},
booktitle = {{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, Falerna, Italy, September
12-15, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927751},
doi = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927751},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/WatanabeKSYT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/IkedaNT22,
author = {Hikaru Ikeda and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki and
Dominik Slezak},
title = {Towards Automatic Facility Layout Design Using Reinforcement Learning},
booktitle = {Communication Papers of the 17th Conference on Computer Science and
Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7,
2022},
series = {Annals of Computer Science and Information Systems},
volume = {32},
pages = {11--20},
year = {2022},
url = {https://doi.org/10.15439/2022F25},
doi = {10.15439/2022F25},
timestamp = {Wed, 24 Apr 2024 14:55:54 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/IkedaNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/OkanoKYT22,
author = {Takumi Okano and
Hideharu Kojima and
Naoto Yanai and
Tatsuhiro Tsuchiya},
title = {Implementing Access Control in Chaincodes on Hyperledger Fabric with
Attribute-Based Encryption},
booktitle = {{IEEE} 19th International Conference on Software Architecture Companion,
{ICSA} Companion 2022, Honolulu, HI, USA, March 12-15, 2022},
pages = {193--196},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSA-C54293.2022.00044},
doi = {10.1109/ICSA-C54293.2022.00044},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/OkanoKYT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jckbse/RenNT22,
author = {Shuaicai Ren and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Maria Virvou and
Takuya Saruwatari and
Lakhmi C. Jain},
title = {Hierarchical User Review Clustering Based on Multiple Sub-goal Generation},
booktitle = {Knowledge-Based Software Engineering: 2022 - Proceedings of the 14th
International Joint Conference on Knowledge-Based Software Engineering
{(JCKBSE} 2022), Larnaca, Cyprus, August 22-24, 2022},
series = {Learning and Analytics in Intelligent Systems},
volume = {30},
pages = {207--219},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17583-1\_16},
doi = {10.1007/978-3-031-17583-1\_16},
timestamp = {Tue, 21 Feb 2023 13:08:40 +0100},
biburl = {https://dblp.org/rec/conf/jckbse/RenNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SumitaNT22,
author = {Shimon Sumita and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {Optimal Parameter Selection Using Explainable {AI} for Time-Series
Anomaly Detection},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {281--296},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_17},
doi = {10.1007/978-3-031-21203-1\_17},
timestamp = {Thu, 17 Nov 2022 16:10:56 +0100},
biburl = {https://dblp.org/rec/conf/prima/SumitaNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13375,
author = {Hiroyuki Nakagawa and
Shinya Tsuchida and
Emiliano Tramontana and
Andrea Fornaia and
Tatsuhiro Tsuchiya},
title = {Embedded System Evolution in IoT System Development Based on {MAPE-K}
Loop Mechanism},
journal = {CoRR},
volume = {abs/2205.13375},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13375},
doi = {10.48550/ARXIV.2205.13375},
eprinttype = {arXiv},
eprint = {2205.13375},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-05659,
author = {Kyozo Hida and
Tatsuhiro Tsuchiya},
title = {Finding Critical Nodes in Interdependent Networks with {SAT} and {ILP}
Solvers},
journal = {CoRR},
volume = {abs/2211.05659},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.05659},
doi = {10.48550/ARXIV.2211.05659},
eprinttype = {arXiv},
eprint = {2211.05659},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-05659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DialloNT21,
author = {Alhassan Boner Diallo and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Adaptation Space Reduction Using an Explainable Framework},
booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
{COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
pages = {1653--1660},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/COMPSAC51774.2021.00247},
doi = {10.1109/COMPSAC51774.2021.00247},
timestamp = {Thu, 23 Sep 2021 08:33:11 +0200},
biburl = {https://dblp.org/rec/conf/compsac/DialloNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/DialloNT21,
author = {Alhassan Boner Diallo and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Robert Heinrich and
Raffaela Mirandola and
Danny Weyns},
title = {Preemptive Anomaly Prediction in IoT Components (short paper)},
booktitle = {{ECSA} 2021 Companion Volume, Virtual (originally: V{\"{a}}xj{\"{o}},
Sweden), 13-17 September, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2978},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2978/casa-paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/DialloNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AriwakaNT21,
author = {Shingo Ariwaka and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Shi{-}Kuo Chang},
title = {Graph queries for analyzing the coverage of requirements by test cases},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {544--549},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-122},
doi = {10.18293/SEKE2021-122},
timestamp = {Wed, 21 Sep 2022 17:47:55 +0200},
biburl = {https://dblp.org/rec/conf/seke/AriwakaNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-06449,
author = {Hao Jin and
Ce Shi and
Tatsuhiro Tsuchiya},
title = {Constrained Detecting Arrays: Mathematical Structures for Fault Identification
in Combinatorial Interaction Testing},
journal = {CoRR},
volume = {abs/2110.06449},
year = {2021},
url = {https://arxiv.org/abs/2110.06449},
eprinttype = {arXiv},
eprint = {2110.06449},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-06449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KonishiKNT20,
author = {Tatsuya Konishi and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Finding Minimum Locating Arrays Using a {CSP} Solver},
journal = {Fundam. Informaticae},
volume = {174},
number = {1},
pages = {27--42},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1929},
doi = {10.3233/FI-2020-1929},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KonishiKNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/NakagawaST20,
author = {Hiroyuki Nakagawa and
Hironori Shimada and
Tatsuhiro Tsuchiya},
title = {Interactive Goal Model Construction Based on a Flow of Questions},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {103-D},
number = {6},
pages = {1309--1318},
year = {2020},
url = {https://doi.org/10.1587/transinf.2019KBP0015},
doi = {10.1587/TRANSINF.2019KBP0015},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/NakagawaST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/MatsubaraT20,
author = {Masahiro Matsubara and
Tatsuhiro Tsuchiya},
title = {Model Checking of Automotive Control Software: An Industrial Approach},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {103-D},
number = {8},
pages = {1794--1805},
year = {2020},
url = {https://doi.org/10.1587/transinf.2019FOP0002},
doi = {10.1587/TRANSINF.2019FOP0002},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicetd/MatsubaraT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KonishiKNT20,
author = {Tatsuya Konishi and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Using simulated annealing for locating array construction},
journal = {Inf. Softw. Technol.},
volume = {126},
pages = {106346},
year = {2020},
url = {https://doi.org/10.1016/j.infsof.2020.106346},
doi = {10.1016/J.INFSOF.2020.106346},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KonishiKNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/JinT20,
author = {Hao Jin and
Tatsuhiro Tsuchiya},
title = {Constrained locating arrays for combinatorial interaction testing},
journal = {J. Syst. Softw.},
volume = {170},
pages = {110771},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110771},
doi = {10.1016/J.JSS.2020.110771},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/JinT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/DialloNT20,
author = {Alhassan Boner Diallo and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {An Explainable Deep Learning Approach for Adaptation Space Reduction},
booktitle = {2020 {IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Companion Volume, Washington, DC, USA, August
17-21, 2020},
pages = {230--231},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS-C51401.2020.00063},
doi = {10.1109/ACSOS-C51401.2020.00063},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/DialloNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/JinKCT20,
author = {Hao Jin and
Takashi Kitamura and
Eun{-}Hye Choi and
Tatsuhiro Tsuchiya},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {A Comparative Study on Combinatorial and Random Testing for Highly
Configurable Systems},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {302--309},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_20},
doi = {10.1007/978-3-030-64881-7\_20},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/JinKCT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/WangNT20,
author = {Long Wang and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Mehrdad Sabetzadeh and
Andreas Vogelsang and
Sallam Abualhaija and
Markus Borg and
Fabiano Dalpiaz and
Maya Daneva and
Nelly Condori{-}Fern{\'{a}}ndez and
Xavier Franch and
Davide Fucci and
Vincenzo Gervasi and
Eduard C. Groen and
Renata S. S. Guizzardi and
Andrea Herrmann and
Jennifer Horkoff and
Luisa Mich and
Anna Perini and
Angelo Susi},
title = {Opinion Analysis and Organization of Mobile Application User Reviews},
booktitle = {Joint Proceedings of {REFSQ-2020} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 26th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2020), Pisa, Italy, March 24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2584},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2584/NLP4RE-paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/WangNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JinST20,
author = {Hao Jin and
Ce Shi and
Tatsuhiro Tsuchiya},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {Constrained detecting arrays for fault localization in combinatorial
testing},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {1971--1978},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3373952},
doi = {10.1145/3341105.3373952},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/JinST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/NakagawaTR20,
author = {Shuaicai Ren and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {An Automated Goal Labeling Method Based on User Reviews},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {141--146},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-134},
doi = {10.18293/SEKE2020-134},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/NakagawaTR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/JinT20,
author = {Hao Jin and
Tatsuhiro Tsuchiya},
title = {A Two-Step Heuristic Algorithm for Generating Constrained Detecting
Arrays for Combinatorial Interaction Testing},
booktitle = {29th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2020, Virtual Event, France,
September 10-13, 2020},
pages = {219--224},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/WETICE49692.2020.00050},
doi = {10.1109/WETICE49692.2020.00050},
timestamp = {Fri, 12 Feb 2021 11:17:14 +0100},
biburl = {https://dblp.org/rec/conf/wetice/JinT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-11712,
author = {Ce Shi and
Hao Jin and
Tatsuhiro Tsuchiya},
title = {Locating arrays with mixed alphabet sizes},
journal = {CoRR},
volume = {abs/2001.11712},
year = {2020},
url = {https://arxiv.org/abs/2001.11712},
eprinttype = {arXiv},
eprint = {2001.11712},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-11712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NakagawaTT19,
author = {Hiroyuki Nakagawa and
Hiromu Toyama and
Tatsuhiro Tsuchiya},
title = {Expression caching for runtime verification based on parameterized
probabilistic models},
journal = {J. Syst. Softw.},
volume = {156},
pages = {300--311},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.07.007},
doi = {10.1016/J.JSS.2019.07.007},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/NakagawaTT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/HanadaTF19,
author = {Kenta Hanada and
Tatsuhiro Tsuchiya and
Yasumasa Fujisaki},
title = {Satisfiability-Based Analysis of Cascading Failures in Systems of
Interdependent Networks},
booktitle = {24th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2019, Kyoto, Japan, December 1-3, 2019},
pages = {105--113},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PRDC47002.2019.00036},
doi = {10.1109/PRDC47002.2019.00036},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/HanadaTF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/ShimadaNT19,
author = {Hironori Shimada and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {Goal Model Construction Based on User Review Classification},
booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 25th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2019), Essen, Germany, March 18th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376/PT\_paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/ShimadaNT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/ShimizuKYT19,
author = {Shinnosuke Shimizu and
Hideharu Kojima and
Naoto Yanai and
Tatsuhiro Tsuchiya},
title = {Implementation and Evaluation of {ISDSR} in Emulation Environments},
booktitle = {2019 {IEEE} Wireless Communications and Networking Conference, {WCNC}
2019, Marrakesh, Morocco, April 15-18, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WCNC.2019.8885647},
doi = {10.1109/WCNC.2019.8885647},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcnc/ShimizuKYT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07480,
author = {Tatsuya Konishi and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Finding minimum locating arrays using a {CSP} solver},
journal = {CoRR},
volume = {abs/1904.07480},
year = {2019},
url = {http://arxiv.org/abs/1904.07480},
eprinttype = {arXiv},
eprint = {1904.07480},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01779,
author = {Tatsuhiro Tsuchiya},
title = {Using binary decision diagrams for constraint handling in combinatorial
interaction testing},
journal = {CoRR},
volume = {abs/1907.01779},
year = {2019},
url = {http://arxiv.org/abs/1907.01779},
eprinttype = {arXiv},
eprint = {1907.01779},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01779.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13090,
author = {Tatsuya Konishi and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Using simulated annealing for locating array construction},
journal = {CoRR},
volume = {abs/1909.13090},
year = {2019},
url = {http://arxiv.org/abs/1909.13090},
eprinttype = {arXiv},
eprint = {1909.13090},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-13090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Tsuchiya18,
author = {Tatsuhiro Tsuchiya},
title = {Foreword},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {101-D},
number = {6},
pages = {1466},
year = {2018},
url = {https://doi.org/10.1587/transinf.2017FOF0001},
doi = {10.1587/TRANSINF.2017FOF0001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/Tsuchiya18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KojimaTF18,
author = {Hideharu Kojima and
Tatsuhiro Tsuchiya and
Yasumasa Fujisaki},
title = {The Aggregation Point Placement Problem for Power Distribution Systems},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {101-A},
number = {7},
pages = {1074--1082},
year = {2018},
url = {https://doi.org/10.1587/transfun.E101.A.1074},
doi = {10.1587/TRANSFUN.E101.A.1074},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KojimaTF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/FujimotoKT18,
author = {Satoshi Fujimoto and
Hideharu Kojima and
Tatsuhiro Tsuchiya},
title = {Controlling Occurrence Frequencies of Parameter Values in Pair-Wise
Testing},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {28},
number = {7},
pages = {983--1000},
year = {2018},
url = {https://doi.org/10.1142/S0218194018500274},
doi = {10.1142/S0218194018500274},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/FujimotoKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TsuchidaNTFT18,
author = {Shinya Tsuchida and
Hiroyuki Nakagawa and
Emiliano Tramontana and
Andrea Fornaia and
Tatsuhiro Tsuchiya},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {A Framework for Updating Functionalities Based on the {MAPE} Loop
Mechanism},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {38--47},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00014},
doi = {10.1109/COMPSAC.2018.00014},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/TsuchidaNTFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JinKCT18,
author = {Hao Jin and
Takashi Kitamura and
Eun{-}Hye Choi and
Tatsuhiro Tsuchiya},
title = {A Satisfiability-Based Approach to Generation of Constrained Locating
Arrays},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {285--294},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00062},
doi = {10.1109/ICSTW.2018.00062},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JinKCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NagaiT18,
author = {Shu Nagai and
Tatsuhiro Tsuchiya},
title = {Applying Metamorphic Testing to e-Commerce Product Search Engines},
booktitle = {23rd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2018, Taipei, Taiwan, December 4-7, 2018},
pages = {183--184},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PRDC.2018.00030},
doi = {10.1109/PRDC.2018.00030},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/NagaiT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/JinT18,
author = {Hao Jin and
Tatsuhiro Tsuchiya},
title = {Deriving Fault Locating Test Cases from Constrained Covering Arrays},
booktitle = {23rd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2018, Taipei, Taiwan, December 4-7, 2018},
pages = {233--240},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PRDC.2018.00044},
doi = {10.1109/PRDC.2018.00044},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/JinT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HigashiNT18,
author = {Kazuyuki Higashi and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {{\'{O}}scar Mort{\'{a}}gua Pereira},
title = {Improvement of User Review Classification Using Keyword Expansion
{(S)}},
booktitle = {The 30th International Conference on Software Engineering and Knowledge
Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
2018},
pages = {125--124},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2018},
url = {https://doi.org/10.18293/SEKE2018-047},
doi = {10.18293/SEKE2018-047},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/HigashiNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/NakagawaIT18,
author = {Hiroyuki Nakagawa and
Nobukazu Ishii and
Tatsuhiro Tsuchiya},
editor = {{\'{O}}scar Mort{\'{a}}gua Pereira},
title = {A Document-based Parameter Correlation Metric for Test Design {(S)}},
booktitle = {The 30th International Conference on Software Engineering and Knowledge
Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
2018},
pages = {641--640},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2018},
url = {https://doi.org/10.18293/SEKE2018-069},
doi = {10.18293/SEKE2018-069},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/NakagawaIT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-06041,
author = {Hao Jin and
Tatsuhiro Tsuchiya},
title = {Constrained locating arrays for combinatorial interaction testing},
journal = {CoRR},
volume = {abs/1801.06041},
year = {2018},
url = {http://arxiv.org/abs/1801.06041},
eprinttype = {arXiv},
eprint = {1801.06041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-06041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/KawadaYMTF17,
author = {Yohei Kawada and
Kojin Yano and
Yoshihiro Mizuno and
Tatsuhiro Tsuchiya and
Yasumasa Fujisaki},
title = {Data access control for energy-related services in smart public infrastructures},
journal = {Comput. Ind.},
volume = {88},
pages = {35--43},
year = {2017},
url = {https://doi.org/10.1016/j.compind.2017.03.002},
doi = {10.1016/J.COMPIND.2017.03.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cii/KawadaYMTF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/KojimaNT17,
author = {Hideharu Kojima and
Yuta Nagashima and
Tatsuhiro Tsuchiya},
title = {State space reduction techniques for model checking of {MANET} protocols},
journal = {Int. J. Netw. Comput.},
volume = {7},
number = {1},
pages = {29--49},
year = {2017},
url = {http://www.ijnc.org/index.php/ijnc/article/view/141},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/KojimaNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apres/ShimadaNT17,
author = {Hironori Shimada and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Massila Kamalrudin and
Sabrina Ahmad and
Naveed Ikram},
title = {Constructing a Goal Model from Requirements Descriptions Based on
Extraction Rules},
booktitle = {Requirements Engineering for Internet of Things - 4th Asia-Pacific
Symposium, {APRES} 2017, Melaka, Malaysia, November 9-10, 2017, Proceedings},
series = {Communications in Computer and Information Science},
volume = {809},
pages = {175--188},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-981-10-7796-8\_14},
doi = {10.1007/978-981-10-7796-8\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apres/ShimadaNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaMT17,
author = {Hiroyuki Nakagawa and
Shori Matsui and
Tatsuhiro Tsuchiya},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {A visualization of specification coverage based on document similarity},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {136--138},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.117},
doi = {10.1109/ICSE-C.2017.117},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NakagawaMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KonishiKNT17,
author = {Tatsuya Konishi and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Finding Minimum Locating Arrays Using a {SAT} Solver},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {276--277},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.49},
doi = {10.1109/ICSTW.2017.49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/KonishiKNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NakagawaHMT17,
author = {Hiroyuki Nakagawa and
Toshinobu Hasegawa and
Shori Matsui and
Tatsuhiro Tsuchiya},
title = {Visualization of Specification Coverage: {A} Case Study of a Web Application
Development in Industry},
booktitle = {2017 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
pages = {77--80},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSREW.2017.19},
doi = {10.1109/ISSREW.2017.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/NakagawaHMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/OhashiT17,
author = {Teru Ohashi and
Tatsuhiro Tsuchiya},
editor = {Dong Seong Kim and
Masato Kitakami and
Vijay Varadharajan},
title = {Generating High Strength Test Suites for Combinatorial Interaction
Testing Using ZDD-Based Graph Algorithms},
booktitle = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PRDC.2017.19},
doi = {10.1109/PRDC.2017.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/OhashiT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NakanoT17,
author = {Shinya Nakano and
Tatsuhiro Tsuchiya},
editor = {Dong Seong Kim and
Masato Kitakami and
Vijay Varadharajan},
title = {Method and Case Study of Model Checking Concurrent Systems That Use
Unbounded Timestamps},
booktitle = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017},
pages = {261--266},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PRDC.2017.50},
doi = {10.1109/PRDC.2017.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/NakanoT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NakagawaT16,
author = {Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {A Search-Based Constraint Elicitation in Test Design},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {99-D},
number = {9},
pages = {2229--2238},
year = {2016},
url = {https://doi.org/10.1587/transinf.2015KBP0010},
doi = {10.1587/TRANSINF.2015KBP0010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/NakagawaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KojimaNT16,
author = {Hideharu Kojima and
Yuta Nagashima and
Tatsuhiro Tsuchiya},
title = {Model Checking Techniques for State Space Reduction in {MANET} Protocol
Verification},
booktitle = {2016 {IEEE} International Parallel and Distributed Processing Symposium
Workshops, {IPDPS} Workshops 2016, Chicago, IL, USA, May 23-27, 2016},
pages = {509--516},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/IPDPSW.2016.122},
doi = {10.1109/IPDPSW.2016.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KojimaNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NakagawaOT16,
author = {Hiroyuki Nakagawa and
Kento Ogawa and
Tatsuhiro Tsuchiya},
editor = {Sebastian G{\"{o}}tz and
Nelly Bencomo and
Kirstie L. Bellman and
Gordon S. Blair},
title = {Caching Strategies for Run-time Probabilistic Model Checking},
booktitle = {Proceedings of the 11th International Workshop on Models@run.time
co-located with 19th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2016), Saint Malo, France, October
4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1742},
pages = {18--25},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1742/MRT16\_paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/NakagawaOT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/TsudaNT16,
author = {Hiroki Tsuda and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Sameh Elnikety and
Peter R. Lewis and
Christian M{\"{u}}ller{-}Schloer},
title = {A Dynamic Verification Mechanism for Real-Time Self-Adaptive Systems},
booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
pages = {265--266},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FAS-W.2016.62},
doi = {10.1109/FAS-W.2016.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/TsudaNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaT15,
author = {Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Elizabeth Bjarnason and
Markus Borg and
Mirko Morandini},
title = {Towards Automatic Constraints Elicitation in Pair-Wise Testing Based
on a Linguistic Approach: Elicitation Support Using Coupling Strength},
booktitle = {2nd {IEEE/ACM} International Workshop on Requirements Engineering
and Testing, {RET} 2015, Florence, Italy, May 18, 2015},
pages = {34--36},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RET.2015.14},
doi = {10.1109/RET.2015.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NakagawaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NakagawaT15,
author = {Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Towards Automatic Constraint Elicitation in Test Design: Preliminary
Evaluation Based on Collective Intelligence},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2015, Lincoln, NE, USA, November 9-13,
2015},
pages = {58--61},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASEW.2015.13},
doi = {10.1109/ASEW.2015.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NakagawaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/TsudaNT15,
author = {Hiroki Tsuda and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Towards Self-Adaptation on Real-World Hardware: {A} Preliminary Lightweight
Programming Framework},
booktitle = {2015 {IEEE} 9th International Conference on Self-Adaptive and Self-Organizing
Systems, Cambridge, MA, USA, September 21-25, 2015},
pages = {176--177},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASO.2015.33},
doi = {10.1109/SASO.2015.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/TsudaNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OgawaNT15,
author = {Kento Ogawa and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {An Experimental Evaluation on Runtime Verification of Self-adaptive
Systems in the Presence of Uncertain Transition Probabilities},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {253--265},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_21},
doi = {10.1007/978-3-662-49224-6\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/OgawaNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/TakahashiNT15,
author = {Hitoshi Takahashi and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
editor = {Haiping Xu},
title = {Towards Automatic Requirements Elicitation from Feedback Comments:
Extracting Requirements Topics Using {LDA}},
booktitle = {The 27th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2015, Wyndham Pittsburgh University Center, Pittsburgh,
PA, USA, July 6-8, 2015},
pages = {489--494},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2015},
url = {https://doi.org/10.18293/SEKE2015-103},
doi = {10.18293/SEKE2015-103},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/TakahashiNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prdc/2015,
editor = {Guojun Wang and
Tatsuhiro Tsuchiya and
Dong Xiang},
title = {21st {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2015, Zhangjiajie, China, November 18-20, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7371417/proceeding},
isbn = {978-1-4673-9376-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SakuraiMT14,
author = {Kohei Sakurai and
Masahiro Matsubara and
Tatsuhiro Tsuchiya},
title = {Voting Sharing: An Approach to Reducing Computation Time for Fault
Diagnosis in Time-Triggered Systems},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {97-D},
number = {2},
pages = {344--348},
year = {2014},
url = {https://doi.org/10.1587/transinf.E97.D.344},
doi = {10.1587/TRANSINF.E97.D.344},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/SakuraiMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MatsuiKT14,
author = {Yuki Matsui and
Hideharu Kojima and
Tatsuhiro Tsuchiya},
title = {Modeling the Interaction of Power Line and {SCADA} Networks},
booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014},
pages = {261--262},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HASE.2014.49},
doi = {10.1109/HASE.2014.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MatsuiKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/CarvalhoT14,
author = {Cassia de Souza Carvalho and
Tatsuhiro Tsuchiya},
title = {Coverage Criteria for State Transition Testing and Model Checker-Based
Test Case Generation},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {596--598},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.111},
doi = {10.1109/CANDAR.2014.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/CarvalhoT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FujimotoKNT14,
author = {Satoshi Fujimoto and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Applying Parameter Value Weighting to a Practical Application},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {130--131},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.63},
doi = {10.1109/ISSREW.2014.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/FujimotoKNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NagamotoKNT14,
author = {Takahiro Nagamoto and
Hideharu Kojima and
Hiroyuki Nakagawa and
Tatsuhiro Tsuchiya},
title = {Locating a Faulty Interaction in Pair-wise Testing},
booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2014, Singapore, November 18-21, 2014},
pages = {155--156},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PRDC.2014.26},
doi = {10.1109/PRDC.2014.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/NagamotoKNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HirasakiKT14,
author = {Yasuhiro Hirasaki and
Hideharu Kojima and
Tatsuhiro Tsuchiya},
editor = {Marek Z. Reformat},
title = {Applying Random Testing to Constrained Interaction Testing},
booktitle = {The 26th International Conference on Software Engineering and Knowledge
Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
pages = {193--198},
publisher = {Knowledge Systems Institute Graduate School},
year = {2014},
timestamp = {Thu, 06 Oct 2022 12:30:17 +0200},
biburl = {https://dblp.org/rec/conf/seke/HirasakiKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/FujimotoKT13,
author = {Satoshi Fujimoto and
Hideharu Kojima and
Tatsuhiro Tsuchiya},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {A Value Weighting Method for Pair-wise Testing},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {99--105},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.24},
doi = {10.1109/APSEC.2013.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/FujimotoKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/TeradaSTK13,
author = {Hirofumi Terada and
Yutaka Sato and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Software reconstruction and module management for distributed processing
of train control},
booktitle = {11th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2013, Mexico City, Mexico, 6-8 March 2013},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISADS.2013.6513407},
doi = {10.1109/ISADS.2013.6513407},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/TeradaSTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/TeradaOT13,
author = {Hirofumi Terada and
Tsukasa Onishi and
Tatsuhiro Tsuchiya},
title = {A monitoring point selection approach for power distribution systems},
booktitle = {8th International Conference on System of Systems Engineering, SoSE
2013, Maui, Hawaii, USA, 2-6 June, 2013},
pages = {190--195},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SYSoSE.2013.6575265},
doi = {10.1109/SYSOSE.2013.6575265},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/TeradaOT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NanbaTK12,
author = {Toru Nanba and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Using Satisfiability Solving for Pairwise Testing in the Presence
of Constraints},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {9},
pages = {1501--1505},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1501},
doi = {10.1587/TRANSFUN.E95.A.1501},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/NanbaTK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MatsuiKT12,
author = {Yuki Matsui and
Hideharu Kojima and
Tatsuhiro Tsuchiya},
title = {Maximizing Availability of Consistent Data in Unreliable Networks},
booktitle = {18th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2012, Singapore, December 17-19, 2012},
pages = {117--123},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICPADS.2012.26},
doi = {10.1109/ICPADS.2012.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/MatsuiKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NoguchiTK12,
author = {Tatsuya Noguchi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Safety Verification of Asynchronous Consensus Algorithms with Model
Checking},
booktitle = {{IEEE} 18th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2012, Niigata, Japan, November 18-19, 2012},
pages = {80--88},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/PRDC.2012.24},
doi = {10.1109/PRDC.2012.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/NoguchiTK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Tsuchiya12,
author = {Tatsuhiro Tsuchiya},
title = {A BDD-Based Approach to Reliability Optimal Module Allocation in Networks},
booktitle = {{IEEE} 18th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2012, Niigata, Japan, November 18-19, 2012},
pages = {121--126},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/PRDC.2012.21},
doi = {10.1109/PRDC.2012.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/Tsuchiya12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/Tsuchiya12,
author = {Tatsuhiro Tsuchiya},
editor = {Bernady O. Apduhan and
Ching{-}Hsien Hsu and
Tadashi Dohi and
Kenji Ishida and
Laurence Tianruo Yang and
Jianhua Ma},
title = {Achieving High Availability of Consistent Data in the Presence of
Network Partitions},
booktitle = {9th International Conference on Ubiquitous Intelligence and Computing
and 9th International Conference on Autonomic and Trusted Computing,
{UIC/ATC} 2012, Fukuoka, Japan, September 4-7, 2012},
pages = {618--620},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/UIC-ATC.2012.127},
doi = {10.1109/UIC-ATC.2012.127},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/uic/Tsuchiya12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/TsuchiyaS11,
author = {Tatsuhiro Tsuchiya and
Andr{\'{e}} Schiper},
title = {Verification of consensus algorithms using satisfiability solving},
journal = {Distributed Comput.},
volume = {23},
number = {5-6},
pages = {341--358},
year = {2011},
url = {https://doi.org/10.1007/s00446-010-0123-3},
doi = {10.1007/S00446-010-0123-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/TsuchiyaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/InoueTK11,
author = {Hiroyuki Inoue and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Bounded Model Checking of Concurrent Systems with Unbounded Integer
Variables},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {261--265},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.47},
doi = {10.1109/ICNC.2011.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/InoueTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/NanbaTK11,
author = {Toru Nanba and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Constructing Test Sets for Pairwise Testing: {A} SAT-Based Approach},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {271--274},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.49},
doi = {10.1109/ICNC.2011.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/NanbaTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TokuyamaTK11,
author = {Shun Tokuyama and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Gossiping with Network Coding},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {63--70},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.17},
doi = {10.1109/PRDC.2011.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TokuyamaTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MakikawaTK10,
author = {Fuminori Makikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Constructing Overlay Networks with Short Paths and Low Communication
Cost},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {6},
pages = {1540--1548},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.1540},
doi = {10.1587/TRANSINF.E93.D.1540},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/MakikawaTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KimotoTK10,
author = {Masahiro Kimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching
Algorithm},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {10},
pages = {2850--2853},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.2850},
doi = {10.1587/TRANSINF.E93.D.2850},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KimotoTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/MakikawaTK10,
author = {Fuminori Makikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Balance and Proximity-Aware Skip Graph Construction},
booktitle = {First International Conference on Networking and Computing, {ICNC}
2010, Higashi Hiroshima, Japan, November 17-19, 2010. Proceedings},
pages = {268--271},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/IC-NC.2010.59},
doi = {10.1109/IC-NC.2010.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/MakikawaTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/HamamatsuTK10,
author = {Masashi Hamamatsu and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Yutaka Ishikawa and
Dong Tang and
Hiroshi Nakamura},
title = {On the Reliability of Cascaded {TMR} Systems},
booktitle = {16th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2010, Tokyo, Japan, December 13-15, 2010},
pages = {184--190},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PRDC.2010.45},
doi = {10.1109/PRDC.2010.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/HamamatsuTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SekizawaTTK09,
author = {Toshifusa Sekizawa and
Tatsuhiro Tsuchiya and
Koichi Takahashi and
Tohru Kikuno},
title = {Probabilistic Model Checking of the One-Dimensional Ising Model},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {5},
pages = {1003--1011},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1003},
doi = {10.1587/TRANSINF.E92.D.1003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/SekizawaTTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MatsuoTK09,
author = {Takafumi Matsuo and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Feature Interaction Verification Using Unbounded Model Checking with
Interpolation},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {6},
pages = {1250--1259},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1250},
doi = {10.1587/TRANSINF.E92.D.1250},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/MatsuoTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KimotoTK09,
author = {Masahiro Kimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On the Time Complexity of Dijkstra's Three-State Mutual Exclusion
Algorithm},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {8},
pages = {1570--1573},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1570},
doi = {10.1587/TRANSINF.E92.D.1570},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KimotoTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MinamikawaTK09,
author = {Takahiro Minamikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Shahida Sulaiman and
Noor Maizura Mohamad Noor},
title = {Towards Automated Verification of Distributed Consensus Protocols},
booktitle = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3
December 2009, Batu Ferringhi, Penang, Malaysia},
pages = {499--506},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/APSEC.2009.23},
doi = {10.1109/APSEC.2009.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MinamikawaTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KadonoTK09,
author = {Masaya Kadono and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Using the NuSMV Model Checker for Test Generation from Statecharts},
booktitle = {2009 15th {IEEE} Pacific Rim International Symposium on Dependable
Computing, {PRDC} 2009, Shanghai, China, 16-18 November 2009},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PRDC.2009.15},
doi = {10.1109/PRDC.2009.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KadonoTK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwmc/WongTK08,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A self-organising algorithm for sensor placement in wireless mobile
microsensor networks},
journal = {Int. J. Wirel. Mob. Comput.},
volume = {3},
number = {1/2},
pages = {69--78},
year = {2008},
url = {https://doi.org/10.1504/IJWMC.2008.019719},
doi = {10.1504/IJWMC.2008.019719},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwmc/WongTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MinamikawaTK08,
author = {Takahiro Minamikawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Language and Tool Support for Model Checking of Fault-Tolerant Distributed
Algorithms},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {40--47},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.13},
doi = {10.1109/PRDC.2008.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MinamikawaTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/HamamatsuTK08,
author = {Masashi Hamamatsu and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Finding the Optimal Configuration of a Cascading {TMR} System},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {349--350},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.12},
doi = {10.1109/PRDC.2008.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/HamamatsuTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/LeelapruteMTK08,
author = {Pattara Leelaprute and
Takafumi Matsuo and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Detecting Feature Interactions in Home Appliance Networks},
booktitle = {Ninth {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2008, In conjunction with Second International Workshop on Advanced
Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand},
pages = {895--903},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SNPD.2008.158},
doi = {10.1109/SNPD.2008.158},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/LeelapruteMTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KimotoTK08,
author = {Shin Kimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Pairwise Testing in the Presence of Configuration Change Cost},
booktitle = {Second International Conference on Secure System Integration and Reliability
Improvement, {SSIRI} 2008, July 14-17, 2008, Yokohama, Japan},
pages = {32--38},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SSIRI.2008.27},
doi = {10.1109/SSIRI.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KimotoTK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/TsuchiyaS08,
author = {Tatsuhiro Tsuchiya and
Andr{\'{e}} Schiper},
editor = {Gadi Taubenfeld},
title = {Using Bounded Model Checking to Verify Consensus Algorithms},
booktitle = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
Arcachon, France, September 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5218},
pages = {466--480},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87779-0\_32},
doi = {10.1007/978-3-540-87779-0\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/TsuchiyaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WongTK07,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc
Networks Using Variable-Range Transmission Power},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {90-D},
number = {3},
pages = {680--684},
year = {2007},
url = {https://doi.org/10.1093/ietisy/e90-d.3.680},
doi = {10.1093/IETISY/E90-D.3.680},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/WongTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/MakikawaMTK07,
author = {Fuminori Makikawa and
Takafumi Matsuo and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Constructing Overlay Networks with Low Link Costs and Short Paths},
booktitle = {Sixth {IEEE} International Symposium on Network Computing and Applications
{(NCA} 2007), 12 - 14 July 2007, Cambridge, MA, {USA}},
pages = {299--304},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/NCA.2007.13},
doi = {10.1109/NCA.2007.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/MakikawaMTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcn/WongTK07,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Helmar Burkhart},
title = {A localized broadcast scheme for minimizing power consumption in wireless
mobile ad hoc networks},
booktitle = {Proceedings of the {IASTED} International Conference on Parallel and
Distributed Computing and Networks, as part of the 25th {IASTED} International
Multi-Conference on Applied Informatics, February 13-15 2007, Innsbruck,
Austria},
pages = {7--12},
publisher = {{IASTED/ACTA} Press},
year = {2007},
timestamp = {Thu, 25 Oct 2007 15:04:30 +0200},
biburl = {https://dblp.org/rec/conf/pdcn/WongTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsuchiyaS07,
author = {Tatsuhiro Tsuchiya and
Andr{\'{e}} Schiper},
title = {An Automatic Real-Time Analysis of the Time to Reach Consensus},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {53--60},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.10},
doi = {10.1109/PRDC.2007.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TsuchiyaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/TsuchiyaS07,
author = {Tatsuhiro Tsuchiya and
Andr{\'{e}} Schiper},
title = {Model Checking of Consensus Algorit},
booktitle = {26th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2007),
Beijing, China, October 10-12, 2007},
pages = {137--148},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SRDS.2007.20},
doi = {10.1109/SRDS.2007.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/TsuchiyaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/TsuchiyaIK06,
author = {Tatsuhiro Tsuchiya and
Shinichi Ikeda and
Tohru Kikuno},
title = {Counter-based reliability optimization for gossip-based broadcasting},
journal = {Comput. Commun.},
volume = {29},
number = {9},
pages = {1516--1521},
year = {2006},
url = {https://doi.org/10.1016/j.comcom.2005.09.018},
doi = {10.1016/J.COMCOM.2005.09.018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/TsuchiyaIK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bioadit/OkuyamaTK06,
author = {Takuya Okuyama and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Auke Jan Ijspeert and
Toshimitsu Masuzawa and
Shinji Kusumoto},
title = {Improving the Robustness of Epidemic Communication in Scale-Free Networks},
booktitle = {Biologically Inspired Approaches to Advanced Information Technology,
Second International Workshop, BioADIT 2006, Osaka, Japan, January
26-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3853},
pages = {294--305},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11613022\_24},
doi = {10.1007/11613022\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bioadit/OkuyamaTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/IkedaTK06,
author = {Shinichi Ikeda and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Ilyoung Chong and
Kenji Kawahara},
title = {A Decentralized Scheme for Network-Aware Reliable Overlay Construction},
booktitle = {Information Networking, Advances in Data Communications and Wireless
Networks, International Conference, {ICOIN} 2006, Sendai, Japan, January
16-19, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3961},
pages = {955--964},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11919568\_95},
doi = {10.1007/11919568\_95},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icoin/IkedaTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LeelapruteTKNM05,
author = {Pattara Leelaprute and
Tatsuhiro Tsuchiya and
Tohru Kikuno and
Masahide Nakamura and
Ken{-}ichi Matsumoto},
title = {Describing and Verifying Integrated Services of Home Network Systems},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {549--560},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.59},
doi = {10.1109/APSEC.2005.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LeelapruteTKNM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/IgarashiTK05,
author = {Daisuke Igarashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Overlay Network Topologies for Gossip-Based Multicast},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {2--7},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.214},
doi = {10.1109/ICPADS.2005.214},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/IgarashiTK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/WongTK04,
author = {TheinLai Wong and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor
Networks},
booktitle = {18th International Conference on Advanced Information Networking and
Applications {(AINA} 2004), 29-31 March 2004, Fukuoka, Japan},
pages = {78--83},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/AINA.2004.1283891},
doi = {10.1109/AINA.2004.1283891},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/WongTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/OgataTK04,
author = {Shougo Ogata and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Farn Wang},
title = {SAT-Based Verification of Safe Petri Nets},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {79--92},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_11},
doi = {10.1007/978-3-540-30476-0\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/OgataTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bioadit/TsuchiyaK04,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Auke Jan Ijspeert and
Masayuki Murata and
Naoki Wakamiya},
title = {An Adaptive Mechanism for Epidemic Communication},
booktitle = {Biologically Inspired Approaches to Advanced Information Technology,
First International Workshop, BioADIT 2004, Lausanne, Switzerland,
January 29-30, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3141},
pages = {306--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27835-1\_23},
doi = {10.1007/978-3-540-27835-1\_23},
timestamp = {Fri, 30 Dec 2022 14:18:14 +0100},
biburl = {https://dblp.org/rec/conf/bioadit/TsuchiyaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShibaTK04,
author = {Toshiaki Shiba and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Using Artificial Life Techniques to Generate Test Cases for Combinatorial
Testing},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC}
2004), Design and Assessment of Trustworthy Software-Based Systems,
27-30 September 2004, Hong Kong, China, Proceedings},
pages = {72--77},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CMPSAC.2004.1342808},
doi = {10.1109/CMPSAC.2004.1342808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ShibaTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsuchiyaK04,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based
Multicast},
booktitle = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2004), 3-5 March 2004, Papeete, Tahiti},
pages = {76--83},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/PRDC.2004.1276555},
doi = {10.1109/PRDC.2004.1276555},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TsuchiyaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/YokogawaTK02,
author = {Tomoyuki Yokogawa and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Verifying Fault Tolerance of Concurrent Systems by Model Checking},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {11},
pages = {2414--2425},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_11\_2414},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/YokogawaTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/KobayashiTK02,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {New 2-Factor Covering Designs for Software Testing},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {12},
pages = {2946--2949},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_12\_2946},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/KobayashiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KobayashiTK02,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Non-specification-based approaches to logic testing for software},
journal = {Inf. Softw. Technol.},
volume = {44},
number = {2},
pages = {113--121},
year = {2002},
url = {https://doi.org/10.1016/S0950-5849(01)00222-1},
doi = {10.1016/S0950-5849(01)00222-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/KobayashiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KobayashiTK02,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A new method for constructing pair-wise covering designs for software
testing},
journal = {Inf. Process. Lett.},
volume = {81},
number = {2},
pages = {85--91},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(01)00195-8},
doi = {10.1016/S0020-0190(01)00195-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/KobayashiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TsuchiyaK02,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Byzantine quorum systems with maximum availability},
journal = {Inf. Process. Lett.},
volume = {83},
number = {2},
pages = {71--77},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(01)00311-8},
doi = {10.1016/S0020-0190(01)00311-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/TsuchiyaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/TsuchiyaK02,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On fault classes and error detection capability of specification-based
testing},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {11},
number = {1},
pages = {58--62},
year = {2002},
url = {https://doi.org/10.1145/504087.504089},
doi = {10.1145/504087.504089},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/TsuchiyaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/ChoiTK02,
author = {Eun Hye Choi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
editor = {Ilyoung Chong},
title = {Optimal k-Coteries That Maximize Availability in General Networks},
booktitle = {Information Networking, Wireless Communications Technologies and Network
Applications, International Conference, {ICOIN} 2002, Cheju Island,
Korea, January 30 - February 1, 2002, Revised Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2344},
pages = {596--608},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45801-8\_57},
doi = {10.1007/3-540-45801-8\_57},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icoin/ChoiTK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/HamadaTNK02,
author = {Takayuki Hamada and
Tatsuhiro Tsuchiya and
Masahide Nakamura and
Tohru Kikuno},
editor = {Ilyoung Chong},
title = {Using Symbolic Model Checking to Detect Service Interactions in Telecommunication
Services},
booktitle = {Information Networking, Wireless Communications Technologies and Network
Applications, International Conference, {ICOIN} 2002, Cheju Island,
Korea, January 30 - February 1, 2002, Revised Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2343},
pages = {641--651},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45803-4\_58},
doi = {10.1007/3-540-45803-4\_58},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icoin/HamadaTNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsuchiyaNK02,
author = {Tatsuhiro Tsuchiya and
Masahide Nakamura and
Tohru Kikuno},
title = {Detecting Feature Interactions in Telecommunication Services with
a {SAT} Solver},
booktitle = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
pages = {131--136},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/PRDC.2002.1185629},
doi = {10.1109/PRDC.2002.1185629},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/TsuchiyaNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KobayashiTK01,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Minimizing the mean delay of quorum-based mutual exclusion schemes},
journal = {J. Syst. Softw.},
volume = {58},
number = {1},
pages = {1--9},
year = {2001},
url = {https://doi.org/10.1016/S0164-1212(01)00023-1},
doi = {10.1016/S0164-1212(01)00023-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KobayashiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/TsuchiyaNPK01,
author = {Tatsuhiro Tsuchiya and
Shin'ichi Nagano and
Rohayu Bt Paidi and
Tohru Kikuno},
title = {Symbolic Model Checking for Self-Stabilizing Algorithms},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {12},
number = {1},
pages = {81--95},
year = {2001},
url = {https://doi.org/10.1109/71.899941},
doi = {10.1109/71.899941},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/TsuchiyaNPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KobayashiTK01,
author = {Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Applicability of Non-Specification-Based Approaches to Logic Testing
for Software},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941418},
doi = {10.1109/DSN.2001.941418},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/KobayashiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/YokogawaTK01,
author = {Tomoyuki Yokogawa and
Tatsuhiro Tsuchiya and
Tsuchiya Kikuno},
title = {Automatic Verification of Fault Tolerance Using Model Checking},
booktitle = {8th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2001), 17-19 December 2001, Seoul, Korea},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PRDC.2001.992685},
doi = {10.1109/PRDC.2001.992685},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/YokogawaTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HashimotoTK00,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A new approach to fault-tolerant scheduling using task duplication
in multiprocessor systems},
journal = {J. Syst. Softw.},
volume = {53},
number = {2},
pages = {159--171},
year = {2000},
url = {https://doi.org/10.1016/S0164-1212(99)00105-3},
doi = {10.1016/S0164-1212(99)00105-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/HashimotoTK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HashimotoTK00,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor
Systems},
booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
NY, {USA}},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDSN.2000.857536},
doi = {10.1109/ICDSN.2000.857536},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/HashimotoTK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TsuchiyaK99,
author = {Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in
General Topology Networks},
journal = {Comput. J.},
volume = {42},
number = {7},
pages = {613--622},
year = {1999},
url = {https://doi.org/10.1093/comjnl/42.7.613},
doi = {10.1093/COMJNL/42.7.613},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/TsuchiyaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TsuchiyaIK99,
author = {Tatsuhiro Tsuchiya and
Nobuhiko Ido and
Tohru Kikuno},
title = {Constructing Byzantine Quorum Systems from Combinatorial Designs},
journal = {Inf. Process. Lett.},
volume = {71},
number = {1},
pages = {35--42},
year = {1999},
url = {https://doi.org/10.1016/S0020-0190(99)00075-7},
doi = {10.1016/S0020-0190(99)00075-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/TsuchiyaIK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/TsuchiyaYK99,
author = {Tatsuhiro Tsuchiya and
Masatoshi Yamaguchi and
Tohru Kikuno},
title = {Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based
Mutual Exclusion Schemes},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {10},
number = {4},
pages = {337--345},
year = {1999},
url = {https://doi.org/10.1109/71.762814},
doi = {10.1109/71.762814},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/TsuchiyaYK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ChoiTK99,
author = {Eun Hye Choi and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {On the availability of k-coteries in networks with unreliable nodes
and links},
booktitle = {Fourth International Workshop on Object-Oriented Real-Time Dependable
Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings},
pages = {148--155},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WORDS.1999.806573},
doi = {10.1109/WORDS.1999.806573},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/ChoiTK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TsuchiyaOK98,
author = {Tatsuhiro Tsuchiya and
Tetsuya Osada and
Tohru Kikuno},
title = {Genetics-based multiprocessor scheduling using task duplication},
journal = {Microprocess. Microsystems},
volume = {22},
number = {3-4},
pages = {197--207},
year = {1998},
url = {https://doi.org/10.1016/S0141-9331(98)00079-9},
doi = {10.1016/S0141-9331(98)00079-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/TsuchiyaOK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HashimotoTK98,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance},
booktitle = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
pages = {186--194},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RELDIS.1998.740493},
doi = {10.1109/RELDIS.1998.740493},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HashimotoTK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TsuchiyaTKKK97a,
author = {Tatsuhiro Tsuchiya and
Hirofumi Terada and
Shinji Kusumoto and
Tohru Kikuno and
Eun Mi Kim},
title = {Derivation of Safety Requirements for Safety Analysis of Object-Oriented
Design Documents},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {252--255},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624809},
doi = {10.1109/CMPSAC.1997.624809},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/TsuchiyaTKKK97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/HashimotoTK97,
author = {Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling
by Exploiting Implicit Redundancy},
booktitle = {Digest of Papers: FTCS-27, The Twenty-Seventh Annual International
Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June
24-27, 1997},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/FTCS.1997.614090},
doi = {10.1109/FTCS.1997.614090},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/HashimotoTK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/KimKTK97,
author = {Eun Mi Kim and
Shinji Kusumoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno},
title = {An approach to safety verification of object-oriented design specification
for an elevator control system},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
'97), 5-7 February 1997, Newport Beach, CA, {USA}},
pages = {256--263},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WORDS.1997.609965},
doi = {10.1109/WORDS.1997.609965},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/KimKTK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/TsuchiyaKK96,
author = {Tatsuhiro Tsuchiya and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {Modeling and evaluation of responsive multiprocessor systems},
journal = {Syst. Comput. Jpn.},
volume = {27},
number = {14},
pages = {20--28},
year = {1996},
url = {https://doi.org/10.1002/scj.4690271403},
doi = {10.1002/SCJ.4690271403},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/TsuchiyaKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/TsuchiyaKK95,
author = {Tatsuhiro Tsuchiya and
Yoshiaki Kakuda and
Tohru Kikuno},
title = {A new fault-tolerant scheduling technique for real-time multiprocessor
systems},
booktitle = {2nd International Workshop on Real-Time Computing Systems and Applications,
October 25 - 27, 1995, Tokyo, Japan},
pages = {197--202},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/RTCSA.1995.528772},
doi = {10.1109/RTCSA.1995.528772},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/TsuchiyaKK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
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:
