default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYoshinori Tanabe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c30]Yoshinori Tanabe, Masami Hagiya:
Automatic Scoring in Programming Examinations for Beginners. JCKBSE 2022: 127-139- 2021
- [j9]Yoshinori Tanabe
, Takayuki Ishida:
Development of a Quantitative Method Based on the Hill-Shading Technique for Assessing Morphological Changes in the Bone During Image-Guided Radiotherapy for Bone Metastasis. J. Medical Imaging Health Informatics 11(8): 2173-2177 (2021) - 2020
- [j8]Yoshinori Tanabe, Takayuki Ishida:
Automated Detection of Respiratory Movements for Image Quality Assurance. J. Medical Imaging Health Informatics 10(7): 1473-1478 (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) - [c29]Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya:
Model-Based Testing for MQTT Applications. JCKBSE 2020: 47-59
2010 – 2019
- 2019
- [c28]Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya:
Model-based Network Fault Injection for IoT Protocols. ENASE 2019: 201-209 - [c27]Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito:
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. SUZA 2019: 89-98 - 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) - [c24]Graham Collins, Hugh Varilly, Yoshinori Tanabe:
Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project. ECSA Workshops 2015: 32:1-32:6 - [c23]Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe:
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. FMSEE&T@FM 2015: 35-42 - [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 - [c17]Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden:
Automated verification of pattern-based interaction invariants in Ajax applications. ASE 2013: 158-168 - [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 - [c14]Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya:
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM 2011: 350-365 - 2010
- [j2]Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya:
Modal μ-calculus on Min-plus Algebra N∞. Inf. Media Technol. 5(4): 1178-1192 (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 - [c12]Alexis Goyet, Masami Hagiya, Yoshinori Tanabe:
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. WoLLIC 2010: 148-160
2000 – 2009
- 2009
- [j1]Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi:
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. 92-D(5): 995-1002 (2009) - [c11]Yoshinori Tanabe, Masami Hagiya:
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS 2009: 108-115 - [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
- [c7]Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362 - [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 - [c3]Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi:
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129 - 2005
- [c2]Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya:
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291 - [c1]Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527
Coauthor Index
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 2025-01-21 00:07 CET 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:
