 | 2011 |
|---|
| 8 |       | Sharon Barner,
Ian G. Harris,
Daniel Kroening,
Orna Raz:
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Springer 2011 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page