The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tal Lev-Ami" ( http://dblp.L3S.de/Authors/Tal_Lev-Ami )

  Author page on DBLP  Author page in RDF  Community of Tal Lev-Ami in ASPL-2

Publication years (Num. hits)
2000-2009 (17)
Publication types (Num. hits)
article(2) inproceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 12 keywords

Results
Found 18 publication records. Showing 17 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh Simulating reachability using first-order logic with applications to verification of linked data structures Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv A combination framework for tracking partition sizes. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds
1Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv Abstract Transformers for Thread Correlation Analysis. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv Proving Conditional Termination. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv Thread Quantification for Concurrent Shape Analysis. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine Heap Decomposition for Concurrent Shape Analysis. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss Customization change impact analysis for erp professionals via program slicing. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF customization change impact analysis
1Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv Revamping TVLA: Making Parametric Shape Analysis Competitive. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv Labelled Clauses. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps Constructing Specialized Shape Analyses for Uniform Change. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Neil Immerman, Shmuel Sagiv Abstraction for Shape Analysis with Fast and Precise Transformers. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh Automatic Verification of Strongly Dynamic Software Systems. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Roman Manevich, Shmuel Sagiv TVLA: A system for generating abstract interpreters. Search on Bibsonomy IFIP Congress Topical Sessions The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Shmuel S. Tyszberowicz Reactive and Real-Time Systems Course: How to Get the Most Out of it. Search on Bibsonomy Real-Time Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reactive real-time systems, course syllabus, scheduling, verification, synchronous languages
1Tal Lev-Ami, Shmuel Sagiv TVLA: A System for Implementing Static Analyses. Search on Bibsonomy SAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Putting static analysis to work for verification: A case study. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license