Sharon Shoham (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

15		Yael Meller, Orna Grumberg, Sharon Shoham: A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. ATVA 2009: 271-288
12		Sharon Shoham, Orna Grumberg: 3-Valued abstraction: More precision at less cost. Inf. Comput. 206(11): 1313-1333 (2008)
9		Sharon Shoham, Orna Grumberg: Compositional Verification and 3-Valued Abstractions Join Forces. SAS 2007: 69-86
7		Sharon Shoham, Orna Grumberg: A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. ACM Trans. Comput. Log. 9(1): (2007)
6		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)
5		Sharon Shoham, Orna Grumberg: 3-Valued Abstraction: More Precision at Less Cost. LICS 2006: 399-410
4		Sharon Shoham, Orna Grumberg: Multi-valued Model Checking Games. ATVA 2005: 354-369
3		Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: Don't Know in the µ-Calculus. VMCAI 2005: 233-249
2		Sharon Shoham, Orna Grumberg: Monotonic Abstraction-Refinement for CTL. TACAS 2004: 546-560
1		Sharon Shoham, Orna Grumberg: A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. CAV 2003: 275-287

Selection of 10 from 15 records - Sharon Shoham has 9 coauthors