| 2006 |
|---|
| 6 | 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 |
| 5 | 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 |
| 4 | EE | Daniel Geist,
Mark Ginzburg,
Yoad Lustig,
Ishai Rabinovitz,
Ohad Shacham,
Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models.
Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006) |
| 2005 |
|---|
| 3 | EE | Sharon Barner,
Ziv Glazberg,
Ishai Rabinovitz:
Wolf - Bug Hunter for Concurrent Software Using Formal Methods.
CAV 2005: 153-157 |
| 2 | EE | Ishai Rabinovitz,
Orna Grumberg:
Bounded Model Checking of Concurrent Programs.
CAV 2005: 82-97 |
| 2003 |
|---|
| 1 | EE | Sharon Barner,
Ishai Rabinovitz:
Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.
CHARME 2003: 35-50 |
