Searching for authors named "Sharon Shoham" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Static Specification Mining Using Automata-Based Abstractions
- …Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel…
- Cited by 7 (0 self) – Add To MetaCart
-
Verification; F.4.1 [Logics and Meanings of Programs]: Mathematical Logic—Temporal Logic
- …A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement SHARON SHOHAM…
- Add To MetaCart
-
3-valued abstraction: More precision at less cost
- …3-Valued Abstraction: More Precision at Less Cost Sharon Shoham Orna Grumberg Computer Science…
- Cited by 6 (2 self) – Add To MetaCart
-
Monotonic abstraction-refinement for CTL
- …Monotonic Abstraction-Refinement for CTL Sharon Shoham and Orna Grumberg Computer Science…
- Cited by 17 (2 self) – Add To MetaCart
-
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
- …A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement ⋆ Sharon Shoham…
- Cited by 17 (7 self) – Add To MetaCart
-
Multi-valued model checking games
- …Multi-Valued Model Checking Games Sharon Shoham and Orna Grumberg Computer Science Department…
- Cited by 2 (0 self) – Add To MetaCart
-
Don’t know in the µ-calculus
- …Don’t Know in the µ-Calculus Orna Grumberg 1 , Martin Lange 2 , Martin Leucker 3, , and Sharon…
- Cited by 10 (6 self) – Add To MetaCart
-
Don't Know in the -Calculus
- …Don’t Know in the µ-Calculus Orna Grumberg 1 , Martin Lange 2 , Martin Leucker 3, , and Sharon…
- Add To MetaCart
Showing 1 through 8.
