| 2008 |
|---|
| 14 | EE | Harald Fecher,
Sharon Shoham:
State Focusing: Lazy Abstraction for the Mu-Calculus.
SPIN 2008: 95-113 |
| 13 | EE | Sharon Shoham,
Eran Yahav,
Stephen J. Fink,
Marco Pistoia:
Static Specification Mining Using Automata-Based Abstractions.
IEEE Trans. Software Eng. 34(5): 651-666 (2008) |
| 12 | EE | Sharon Shoham,
Orna Grumberg:
3-Valued abstraction: More precision at less cost.
Inf. Comput. 206(11): 1313-1333 (2008) |
| 11 | EE | Sharon Shoham,
Nissim Francez:
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.
Studia Logica 90(2): 161-188 (2008) |
| 2007 |
|---|
| 10 | EE | Sharon Shoham,
Eran Yahav,
Stephen Fink,
Marco Pistoia:
Static specification mining using automata-based abstractions.
ISSTA 2007: 174-184 |
| 9 | EE | Sharon Shoham,
Orna Grumberg:
Compositional Verification and 3-Valued Abstractions Join Forces.
SAS 2007: 69-86 |
| 8 | EE | Harald Fecher,
Sharon Shoham:
Local Abstraction-Refinement for the mu-Calculus.
SPIN 2007: 4-23 |
| 7 | EE | Sharon Shoham,
Orna Grumberg:
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
ACM Trans. Comput. Log. 9(1): (2007) |
| 6 | EE | 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. 205(8): 1130-1148 (2007) |
| 2006 |
|---|
| 5 | EE | Sharon Shoham,
Orna Grumberg:
3-Valued Abstraction: More Precision at Less Cost.
LICS 2006: 399-410 |
| 2005 |
|---|
| 4 | EE | Sharon Shoham,
Orna Grumberg:
Multi-valued Model Checking Games.
ATVA 2005: 354-369 |
| 3 | EE | Orna Grumberg,
Martin Lange,
Martin Leucker,
Sharon Shoham:
Don't Know in the µ-Calculus.
VMCAI 2005: 233-249 |
| 2004 |
|---|
| 2 | EE | Sharon Shoham,
Orna Grumberg:
Monotonic Abstraction-Refinement for CTL.
TACAS 2004: 546-560 |
| 2003 |
|---|
| 1 | EE | Sharon Shoham,
Orna Grumberg:
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement.
CAV 2003: 275-287 |
