Ittai Balaban

According to our database, Ittai Balaban authored at least 12 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Verification of multi-linked heaps.

Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck

J. Comput. Syst. Sci., 2012

2011

Refactoring using type constraints.

Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter

ACM Trans. Program. Lang. Syst., 2011

2010

Proving the Refuted: Symbolic Model Checkers as Proof Generators.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Concurrency, 2010

2007

Shape Analysis by Abstraction, Augmentation, and Transformation.

Ittai Balaban

PhD thesis, 2007

Modular Ranking Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Int. J. Found. Comput. Sci., 2007

Shape Analysis of Single-Parent Heaps.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Verification, 2007

2006

Ranking Abstraction of Recursive Programs.

Ittai Balaban, Ariel Cohen, Amir Pnueli

Proceedings of the Verification, 2006

Invisible Safety of Distributed Protocols.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Shape Analysis by Predicate Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Verification, 2005

Refactoring support for class library migration.

Ittai Balaban, Frank Tip, Robert M. Fuhrer

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Ranking Abstraction as Companion to Predicate Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

IIV: An Invisible Invariant Verifier.

Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005