Yoshinori Tanabe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
2005–2019
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ENASE | Model-based Network Fault Injection for IoT Protocols. | Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya |
| 2017 | ICST | 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 |
| 2016 | RV | Runtime Monitoring for Concurrent Systems. | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | ECSA | Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project. | Graham Collins, Hugh Varilly, Yoshinori Tanabe |
| 2015 | FM | Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. | Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe |
| 2015 | ICSE | GRT at the SBST 2015 Tool Competition. | Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | SETTA | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2011 | SEFM | Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
| 2010 | WoLLIC | Decidability and Undecidability Results on the Modal | Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
| 2009 | ICSE | Verifying networked programs using a model checker extension. | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2008 | AiML | A decision procedure for alternation-free modal -calculi. | Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
| 2008 | SNPD | Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2008 | SNPD | Tools and Techniques for Model Checking Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2005 | TABLEAUX | A Decision Procedure for the Alternation-Free Two-Way Modal -Calculus. | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |