|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 12 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.  |
SEFM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model checking distributed systems by combining caching and process checkpointing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model Checking of Concurrent Algorithms: From Java to C. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi |
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. |
IEICE Transactions |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
networking, caching, software verification, Software model checking, input/output |
| 1 | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Verifying networked programs using a model checker extension. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
A decision procedure for alternation-free modal µ-calculi. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Efficient Model Checking of Networked Applications. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
caching, software testing, Software model checking, network communication |
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
optimization, model checking, centralization, Software model checking, partial-order reduction |
| 1 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Tools and Techniques for Model Checking Networked Programs. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
networking, software verification, Software model checking, inter-process communication |
| 1 | Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi |
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")