Ittai Balaban (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

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

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

1 Ittai Balaban, Amir Pnueli, Lenore D. Zuck: Shape Analysis by Predicate Abstraction. VMCAI 2005: 164-180

Selection of 7 from 8 records - Ittai Balaban has 6 coauthors

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)
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
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
1		Ittai Balaban, Amir Pnueli, Lenore D. Zuck: Shape Analysis by Predicate Abstraction. VMCAI 2005: 164-180