Sharon Barner (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

6 Sharon Barner, Ziv Glazberg, Ishai Rabinovitz: Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV 2005: 153-157

Selection of 2 from 7 records - Sharon Barner has 10 coauthors

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
6		Sharon Barner, Ziv Glazberg, Ishai Rabinovitz: Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV 2005: 153-157