Search the dblp DataBase

Publications of Author

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