 | 2006 |
|---|
| 7 |       | Sharon Barner,
Cindy Eisner,
Ziv Glazberg,
Daniel Kroening,
Ishai Rabinovitz:
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.
Haifa Verification Conference 2006: 138-154 |
| 2005 |
|---|
| 6 | | Sharon Barner,
Ziv Glazberg,
Ishai Rabinovitz:
Wolf - Bug Hunter for Concurrent Software Using Formal Methods.
CAV 2005: 153-157 |
| 5 | | Sharon Barner,
Orna Grumberg:
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.
Formal Methods in System Design 27(1-2): 29-66 (2005) |
| 2003 |
|---|
| 4 | | Sharon Barner,
Ishai Rabinovitz:
Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.
CHARME 2003: 35-50 |
| 2002 |
|---|
| 3 | | Sharon Barner,
Daniel Geist,
Anna Gringauze:
Symbolic Localization Reduction with Reconstruction Layering and Backtracking.
CAV 2002: 65-77 |
| 2 | | Sharon Barner,
Orna Grumberg:
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.
CAV 2002: 93-106 |
| 1 | | Sharon Barner,
Shoham Ben-David,
Anna Gringauze,
Baruch Sterin,
Yaron Wolfsthal:
An Algorithmic Approach to Design Exploration.
FME 2002: 146-162 |
