Search the dblp DataBase

Publications of Author

1. Sharon Shoham, Orna Grumberg
   Multi-valued Model Checking Games. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:354-369 [Conf]
   
2. Sharon Shoham, Orna Grumberg
   A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:275-287 [Conf]
   
3. Sharon Shoham, Orna Grumberg
   3-Valued Abstraction: More Precision at Less Cost. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:399-410 [Conf]
   
4. Sharon Shoham, Orna Grumberg
   Monotonic Abstraction-Refinement for CTL. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:546-560 [Conf]
   
5. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
   Don't Know in the µ-Calculus. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2005, pp:233-249 [Conf]
   
6. Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
   Static specification mining using automata-based abstractions. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2007, pp:174-184 [Conf]
   
7. Sharon Shoham, Orna Grumberg
   Compositional Verification and 3-Valued Abstractions Join Forces. [Citation Graph (0, 0)][DBLP]
   SAS, 2007, pp:69-86 [Conf]
   
8. Harald Fecher, Sharon Shoham
   Local Abstraction-Refinement for the mu-Calculus. [Citation Graph (0, 0)][DBLP]
   SPIN, 2007, pp:4-23 [Conf]
   
9. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
   When not losing is better than winning: Abstraction and refinement for the full mu-calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2007, v:205, n:8, pp:1130-1148 [Journal]
   
10. 
    A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. [Citation Graph (, )][DBLP]
    
    
11. 
    State Focusing: Lazy Abstraction for the Mu-Calculus. [Citation Graph (, )][DBLP]