The SCEAS System
Navigation Menu

Search the dblp DataBase


Ittai Balaban: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
    IIV: An Invisible Invariant Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:408-412 [Conf]
  2. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Ranking Abstraction as Companion to Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:1-12 [Conf]
  3. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Invisible Safety of Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:528-539 [Conf]
  4. Ittai Balaban, Frank Tip, Robert M. Fuhrer
    Refactoring support for class library migration. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:265-279 [Conf]
  5. Ittai Balaban, Ariel Cohen 0002, Amir Pnueli
    Ranking Abstraction of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:267-281 [Conf]
  6. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Shape Analysis by Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:164-180 [Conf]
  7. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Modular Ranking Abstraction. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:5-44 [Journal]

  8. Proving the Refuted: Symbolic Model Checkers as Proof Generators. [Citation Graph (, )][DBLP]

  9. Shape Analysis of Single-Parent Heaps. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002