Ittai Balaban

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