Wolf - Bug Hunter for Concurrent Software Using Formal Methods. - Sharon Barner; Ziv Glazberg; Ishai Rabinovitz (CAV, 2005)

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. - Sharon Barner; Cindy Eisner; Ziv Glazberg; Daniel Kroening; Ishai Rabinovitz (Haifa Verification Conference, 2006)

Detecting Design Flaws in UML State Charts for Embedded Software. - Janees Elamkulam; Ziv Glazberg; Ishai Rabinovitz; Gururaja Kowlali; Satish Chandra Gupta; Sandeep Kohli; Sai Dattathrani; Claudio Paniagua Macia (Haifa Verification Conference, 2006)

Formal verification of concurrent software: two case studies. - Hana Chockler; Eitan Farchi; Ziv Glazberg; Benny Godlin; Yarden Nir-Buchbinder; Ishai Rabinovitz (PADTAD, 2006)