| 2006 |
|---|
| 4 | EE | Janees Elamkulam,
Ziv Glazberg,
Ishai Rabinovitz,
Gururaja Kowlali,
Satish Chandra Gupta,
Sandeep Kohli,
Sai Dattathrani,
Claudio Paniagua Macia:
Detecting Design Flaws in UML State Charts for Embedded Software.
Haifa Verification Conference 2006: 109-121 |
| 3 | EE | 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 |
| 2 | EE | Hana Chockler,
Eitan Farchi,
Ziv Glazberg,
Benny Godlin,
Yarden Nir-Buchbinder,
Ishai Rabinovitz:
Formal verification of concurrent software: two case studies.
PADTAD 2006: 11-22 |
| 2005 |
|---|
| 1 | EE | Sharon Barner,
Ziv Glazberg,
Ishai Rabinovitz:
Wolf - Bug Hunter for Concurrent Software Using Formal Methods.
CAV 2005: 153-157 |
