Ittai Balaban
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2005–2007
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | VMCAI | Shape Analysis of Single-Parent Heaps. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2006 | ICALP | Invisible Safety of Distributed Protocols. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2006 | VMCAI | Ranking Abstraction of Recursive Programs. | Ittai Balaban, Ariel Cohen, Amir Pnueli |
| 2005 | CAV | IIV: An Invisible Invariant Verifier. | Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck |
| 2005 | FORTE | Ranking Abstraction as Companion to Predicate Abstraction. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2005 | OOPSLA | Refactoring support for class library migration. | Ittai Balaban, Frank Tip, Robert M. Fuhrer |
| 2005 | VMCAI | Shape Analysis by Predicate Abstraction. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |