default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYoshinori Tanabe
- > Home > Persons > Yoshinori Tanabe
Publications
- 2020
[j7]Cyrille Artho
, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30(7-8) (2020)- 2019
- [c28]Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya:
Model-based Network Fault Injection for IoT Protocols. ENASE 2019: 201-209 - 2017
- [c26]Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model-Based API Testing of Apache ZooKeeper. ICST 2017: 288-298 - 2016
- [j6]Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe:
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c25]Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto:
Runtime Monitoring for Concurrent Systems. RV 2016: 386-403 - 2015
- [j5]Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. 5(2): 347-372 (2015) - [j4]Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe:
Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. 5(2): 373-402 (2015) - [c22]Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
GRT at the SBST 2015 Tool Competition. SBST@ICSE 2015: 48-51 - [c21]Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto:
Cardinality of UDP Transmission Outcomes. SETTA 2015: 120-134 - 2014
- [j3]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi:
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40(5): 483-501 (2014) - [c20]Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Software Model Checking of UDP-based Distributed Applications. CANDAR 2014: 96-105 - [c19]Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Using Checkpointing and Virtualization for Fault Injection. CANDAR 2014: 144-150 - 2013
- [c18]Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto:
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference 2013: 112-128 - [c16]Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto:
Software model checking for distributed systems with selector-based, non-blocking communication. ASE 2013: 169-179 - 2011
- [c15]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model checking distributed systems by combining caching and process checkpointing. ASE 2011: 103-112 - 2010
- [c13]Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC 2010: 90-101 - 2009
- [c10]Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410 - [c9]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE 2009: 447-458 - [c8]Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods 2009: 106-110 - 2008
- [c6]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813 - [c5]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857 - [c4]Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe:
Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:38 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:
