 | 2007 |
|---|
| 8 |       | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Shape Analysis of Single-Parent Heaps.
VMCAI 2007: 91-105 |
| 7 | | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Modular Ranking Abstraction.
Int. J. Found. Comput. Sci. 18(1): 5-44 (2007) |
| 2006 |
|---|
| 6 | | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Invisible Safety of Distributed Protocols.
ICALP (2) 2006: 528-539 |
| 5 | | Ittai Balaban,
Ariel Cohen,
Amir Pnueli:
Ranking Abstraction of Recursive Programs.
VMCAI 2006: 267-281 |
| 2005 |
|---|
| 4 | | Ittai Balaban,
Yi Fang,
Amir Pnueli,
Lenore D. Zuck:
IIV: An Invisible Invariant Verifier.
CAV 2005: 408-412 |
| 3 | | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Ranking Abstraction as Companion to Predicate Abstraction.
FORTE 2005: 1-12 |
| 2 | | Ittai Balaban,
Frank Tip,
Robert M. Fuhrer:
Refactoring support for class library migration.
OOPSLA 2005: 265-279 |
| 1 | | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Shape Analysis by Predicate Abstraction.
VMCAI 2005: 164-180 |
