|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sharon Shoham, Orna Grumberg |
Multi-valued model checking games.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Sharon Shoham |
Local abstraction-refinement for the μ-calculus. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
Compositional verification and 3-valued abstractions join forces. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yael Meller, Orna Grumberg, Sharon Shoham |
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia |
Static Specification Mining Using Automata-Based Abstractions. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
3-Valued abstraction: More precision at less cost. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Nissim Francez |
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
Game semantics, Lambek calculus |
| 1 | Harald Fecher, Sharon Shoham |
State Focusing: Lazy Abstraction for the Mu-Calculus. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham |
When not losing is better than winning: Abstraction and refinement for the full mu-calculus. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement |
| 1 | Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
Static specification mining using automata-based abstractions. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, typestate, specification mining |
| 1 | Harald Fecher, Sharon Shoham |
Local Abstraction-Refinement for the mu-Calculus. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
Compositional Verification and 3-Valued Abstractions Join Forces. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
3-Valued Abstraction: More Precision at Less Cost. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
Multi-valued Model Checking Games. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham |
Don't Know in the µ-Calculus. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
Monotonic Abstraction-Refinement for CTL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Shoham, Orna Grumberg |
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")