The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002