Yoshinori Tanabe

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 10

Top Topics

Concurrent Systems

Alternating Time Temporal Logic

Top Venues

J. Medical Imaging Health Informatics

Publications

Yoshinori Tanabe, Masami Hagiya
Automatic Scoring in Programming Examinations for Beginners. JCKBSE (2022)
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) (2021)
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)
Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
Model-Based Testing for MQTT Applications. JCKBSE (2020)
Yoshinori Tanabe, Takayuki Ishida
Automated Detection of Respiratory Movements for Image Quality Assurance. J. Medical Imaging Health Informatics 10 (7) (2020)
Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. SUZA (2019)
Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
Model-based Network Fault Injection for IoT Protocols. ENASE (2019)
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)
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
Runtime Monitoring for Concurrent Systems. RV (2016)
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) (2016)
Graham Collins, Hugh Varilly, Yoshinori Tanabe
Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project. ECSA Workshops (2015)
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) (2015)
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) (2015)
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)
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes. SETTA (2015)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
GRT at the SBST 2015 Tool Competition. SBST@ICSE (2015)
Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Software Model Checking of UDP-based Distributed Applications. CANDAR (2014)
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)
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) (2014)
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)
Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden
Automated verification of pattern-based interaction invariants in Ajax applications. ASE (2013)
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)
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM (2011)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model checking distributed systems by combining caching and process checkpointing. ASE (2011)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC (2010)
Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
-Calculus with a Natural Number-Valued Semantics. WoLLIC (2010)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Verifying networked programs using a model checker extension. ICSE Companion (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE (2009)
Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods (2009)
Yoshinori Tanabe, Masami Hagiya
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS (2009)
Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. (5) (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Tools and Techniques for Model Checking Networked Programs. SNPD (2008)
Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE (2008)
Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Efficient Model Checking of Networked Applications. TOOLS (46) (2008)
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX (2005)
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE (2005)