Search the dblp DataBase

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]