| * | 2009 |
|---|
| 9 | EE | Watcharin Leungwattanakit,
Cyrille Artho,
Masami Hagiya,
Yoshinori Tanabe,
Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension.
ICSE Companion 2009: 409-410 |
| 8 | EE | Yoshinori Tanabe,
Toshifusa Sekizawa,
Yoshifumi Yuasa,
Koichi Takahashi:
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.
IEICE Transactions 92-D(5): 995-1002 (2009) |
| 2008 |
|---|
| 7 | EE | Yoshinori Tanabe,
Koichi Takahashi,
Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi.
Advances in Modal Logic 2008: 341-362 |
| 6 | EE | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
SNPD 2008: 807-813 |
| 5 | EE | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Tools and Techniques for Model Checking Networked Programs.
SNPD 2008: 852-857 |
| 4 | EE | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Efficient Model Checking of Networked Applications.
TOOLS (46) 2008: 22-40 |
| 3 | EE | Yoshifumi Yuasa,
Yoshinori Tanabe,
Toshifusa Sekizawa,
Koichi Takahashi:
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.
VSTTE 2008: 115-129 |
| 2005 |
|---|
| 2 | EE | 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 |
| 1 | EE | Mitsuharu Yamamoto,
Yoshinori Tanabe,
Koichi Takahashi,
Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.
VSTTE 2005: 518-527 |
