Sharon Shoham Vis

*	2009
15	EE	Yael Meller, Orna Grumberg, Sharon Shoham: A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. ATVA 2009: 271-288
	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

Coauthor Index

1	Harald Fecher	[8] [14]
2	Stephen J. Fink (Stephen Fink)	[10] [13]
3	Nissim Francez	[11]
4	Orna Grumberg	[1] [2] [3] [4] [5] [6] [7] [9] [12] [15]
5	Martin Lange	[3] [6]
6	Martin Leucker	[3] [6]
7	Yael Meller	[15]
8	Marco Pistoia	[10] [13]
9	Eran Yahav	[10] [13]

Colors in the list of coauthors