Ittai Balaban

	2012
11		Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck: Verification of multi-linked heaps. J. Comput. Syst. Sci. 78(3): 853-876 (2012)
	2011
10		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): 9 (2011)
	2010
9		Ittai Balaban, Amir Pnueli, Lenore D. Zuck: Proving the Refuted: Symbolic Model Checkers as Proof Generators. Concurrency, Compositionality, and Correctness 2010: 221-236
	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

Coauthor Index

1	Ariel Cohen	[5]
2	Michael D. Ernst	[10]
3	Yi Fang	[4]
4	Robert M. Fuhrer	[2] [10]
5	Adam Kiezun	[10]
6	Amir Pnueli	[1] [3] [4] [5] [6] [7] [8] [9] [11]
7	Yaniv Sa'ar	[11]
8	Bjorn De Sutter	[10]
9	Frank Tip	[2] [10]
10	Lenore D. Zuck	[1] [3] [4] [6] [7] [8] [9] [11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page