Yoshinori Tanabe

40 papers A* 4A 1B 5C 3Misc 1Journal 9Unranked 17

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A System for Programming Examinations with Block Components. OCCE Yoshinori Tanabe
2022	—	`conf`	Automatic Scoring in Programming Examinations for Beginners. JCKBSE Yoshinori Tanabe, Masami Hagiya
2021	J	`jnl`	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 Yoshinori Tanabe, Takayuki Ishida
2020	J	`jnl`	Automated Detection of Respiratory Movements for Image Quality Assurance. J. Medical Imaging Health Informatics Yoshinori Tanabe, Takayuki Ishida
2020	—	`conf`	Model-Based Testing for MQTT Applications. JCKBSE Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
2020	J	`jnl`	Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2019	—	`conf`	Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. SUZA Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito
2019	B	`conf`	Model-based Network Fault Injection for IoT Protocols. ENASE Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
2017	A	`conf`	Model-Based API Testing of Apache ZooKeeper. ICST Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2016	J	`jnl`	Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
2016	B	`conf`	Runtime Monitoring for Concurrent Systems. RV Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
2015	Misc	`conf`	Cardinality of UDP Transmission Outcomes. SETTA Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
2015	—	`conf`	GRT at the SBST 2015 Tool Competition. SBST@ICSE Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2015	—	`conf`	Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. FMSEE&T@FM Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe
2015	—	`conf`	Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project. ECSA Workshops Graham Collins, Hugh Varilly, Yoshinori Tanabe
2015	J	`jnl`	Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
2015	J	`jnl`	Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2014	J	`jnl`	Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
2014	—	`conf`	Software Model Checking of UDP-based Distributed Applications. CANDAR Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2014	—	`conf`	Using Checkpointing and Virtualization for Fault Injection. CANDAR Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2013	A*	`conf`	Automated verification of pattern-based interaction invariants in Ajax applications. ASE Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden
2013	—	`conf`	Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
2013	A*	`conf`	Software model checking for distributed systems with selector-based, non-blocking communication. ASE Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2011	A*	`conf`	Model checking distributed systems by combining caching and process checkpointing. ASE Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2011	B	`conf`	Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
2010	C	`conf`	Decidability and Undecidability Results on the Modal WoLLIC Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
2010	J	`jnl`	Modal μ-calculus on Min-plus Algebra N Inf. Media Technol. Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya
2010	—	`conf`	Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
2009	A*	`conf`	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2009	—	`conf`	Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS Yoshinori Tanabe, Masami Hagiya
2009	—	`conf`	Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2009	J	`jnl`	Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
2009	—	`conf`	Verifying networked programs using a model checker extension. ICSE Companion Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2008	B	`conf`	A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2008	C	`conf`	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008	—	`conf`	Efficient Model Checking of Networked Applications. TOOLS (46) Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008	C	`conf`	Tools and Techniques for Model Checking Networked Programs. SNPD Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008	—	`conf`	Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
2005	B	`conf`	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
2005	—	`conf`	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya