Sharon Barner

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference (2006)
Sharon Barner, Orna Grumberg
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. Formal Methods Syst. Des. 27 (1-2) (2005)
Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV (2005)
Sharon Barner, Ishai Rabinovitz
Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. CHARME (2003)
Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
An Algorithmic Approach to Design Exploration. FME (2002)
Sharon Barner, Daniel Geist, Anna Gringauze
Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV (2002)
Sharon Barner, Orna Grumberg
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. CAV (2002)