Ittai Balaban

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Multiresolution

Formal Verification

Top Venues

J. Comput. Syst. Sci.

Publications

Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
Verification of multi-linked heaps. J. Comput. Syst. Sci. 78 (3) (2012)
Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter
Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33 (3) (2011)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Proving the Refuted: Symbolic Model Checkers as Proof Generators. Concurrency, Compositionality, and Correctness (2010)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Modular Ranking Abstraction. Int. J. Found. Comput. Sci. 18 (1) (2007)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Shape Analysis of Single-Parent Heaps. VMCAI (2007)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Invisible Safety of Distributed Protocols. ICALP (2) (2006)
Ittai Balaban, Ariel Cohen, Amir Pnueli
Ranking Abstraction of Recursive Programs. VMCAI (2006)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Ranking Abstraction as Companion to Predicate Abstraction. FORTE (2005)
Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
IIV: An Invisible Invariant Verifier. CAV (2005)
Ittai Balaban, Frank Tip, Robert M. Fuhrer
Refactoring support for class library migration. OOPSLA (2005)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Shape Analysis by Predicate Abstraction. VMCAI (2005)