The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tal Lev-Ami: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh
    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:99-115 [Conf]
  2. Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
    Abstraction for Shape Analysis with Fast and Precise Transformers. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:547-561 [Conf]
  3. Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
    TVLA: A system for generating abstract interpreters. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:367-376 [Conf]
  4. Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Putting static analysis to work for verification: A case study. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:26-38 [Conf]
  5. Tal Lev-Ami, Shmuel Sagiv
    TVLA: A System for Implementing Static Analyses. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:280-301 [Conf]
  6. Tal Lev-Ami, Shmuel S. Tyszberowicz
    Reactive and Real-Time Systems Course: How to Get the Most Out of it. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2003, v:25, n:2-3, pp:231-253 [Journal]
  7. Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv
    Labelled Clauses. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:311-327 [Conf]
  8. Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv
    Revamping TVLA: Making Parametric Shape Analysis Competitive. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:221-225 [Conf]

  9. Abstract Transformers for Thread Correlation Analysis. [Citation Graph (, )][DBLP]


  10. Thread Quantification for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]


  11. Proving Conditional Termination. [Citation Graph (, )][DBLP]


  12. Customization change impact analysis for erp professionals via program slicing. [Citation Graph (, )][DBLP]


  13. A combination framework for tracking partition sizes. [Citation Graph (, )][DBLP]


  14. Heap Decomposition for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]


  15. Constructing Specialized Shape Analyses for Uniform Change. [Citation Graph (, )][DBLP]


  16. Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]


  17. Simulating reachability using first-order logic with applications to verification of linked data structures [Citation Graph (, )][DBLP]


Search in 1.342secs, Finished in 1.343secs
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