Yoshinori Tanabe

According to our database, Yoshinori Tanabe authored at least 37 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automatic Scoring in Programming Examinations for Beginners.

Yoshinori Tanabe, Masami Hagiya

Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

2021

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.

Yoshinori Tanabe, Takayuki Ishida

J. Medical Imaging Health Informatics, 2021

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Softw. Test. Verification Reliab., 2020

Automated Detection of Respiratory Movements for Image Quality Assurance.

Yoshinori Tanabe, Takayuki Ishida

J. Medical Imaging Health Informatics, 2020

Model-Based Testing for MQTT Applications.

Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya

Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

2019

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants.

Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito

Proceedings of the Sustainable ICT, Education and Learning, 2019

Model-based Network Fault Injection for IoT Protocols.

Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2017

Model-Based API Testing of Apache ZooKeeper.

Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Java Pathfinder on Android Devices.

Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe

ACM SIGSOFT Softw. Eng. Notes, 2016

Runtime Monitoring for Concurrent Systems.

Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Software Model Checking of UDP-based Distributed Applications.

Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe

Int. J. Netw. Comput., 2015

Using Checkpointing and Virtualization for Fault Injection.

Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Int. J. Netw. Comput., 2015

Cardinality of UDP Transmission Outcomes.

Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

GRT at the SBST 2015 Tool Competition.

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program.

Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project.

Graham Collins, Hugh Varilly, Yoshinori Tanabe

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014

Modular Software Model Checking for Distributed Systems.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi

IEEE Trans. Software Eng., 2014

2013

Automated verification of pattern-based interaction invariants in Ajax applications.

Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Software model checking for distributed systems with selector-based, non-blocking communication.

Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modbat: A Model-Based API Tester for Event-Driven Systems.

Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Hardware and Software: Verification and Testing, 2013

2011

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.

Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model checking distributed systems by combining caching and process checkpointing.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Modal μ-calculus on Min-plus Algebra N_∞.

Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya

Inf. Media Technol., 2010

Decidability and Undecidability Results on the Modal <i>µ</i>-Calculus with a Natural Number-Valued Semantics.

Alexis Goyet, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Logic, 2010

Model Checking of Concurrent Algorithms: From Java to C.

Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.

Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi

IEICE Trans. Inf. Syst., 2009

Introduction of Virtualization Technology to Multi-Process Model Checking.

Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 31st International Conference on Software Engineering, 2009

Fixed-Point Computations over Functions on Integers with Operations min, max and plus.

Yoshinori Tanabe, Masami Hagiya

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

2008

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi

Proceedings of the Verified Software: Theories, 2008

Efficient Model Checking of Networked Applications.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Tools and Techniques for Model Checking Networked Programs.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

A decision procedure for alternation-free modal µ-calculi.

Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya

Proceedings of the Advances in Modal Logic 7, 2008

2005

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya

Proceedings of the Verified Software: Theories, 2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005