( en | de | ru )

 

Disambiguation of "Lev-Ami, Tal"

Author of the publication

copydeleteadd this publication to your clipboard
Putting static analysis to work for verification: A case study.

, , , and . ISSTA, page 26-38. ACM, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ami Bachar

Ladislav Lev

Lev Stimmer

Tal Pery

Lev Baron

 

Other publications of authors with the same name

Reactive and Real-Time Systems Course: How to Get the Most Out of it., and . Real Time Syst., 25 (2-3): 231-253 (2003)Abstract Transformers for Thread Correlation Analysis., , , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 30-46. Springer, (2009)TVLA: A System for Implementing Static Analyses., and . SAS, volume 1824 of Lecture Notes in Computer Science, page 280-301. Springer, (2000)Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures., , , , , and . CADE, volume 3632 of Lecture Notes in Computer Science, page 99-115. Springer, (2005)TVLA: A system for generating abstract interpreters., , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 367-375. Kluwer/Springer, (2004)A combination framework for tracking partition sizes., , and . POPL, page 239-251. ACM, (2009)Revamping TVLA: Making Parametric Shape Analysis Competitive., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 221-225. Springer, (2007)Thread Quantification for Concurrent Shape Analysis., , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 399-413. Springer, (2008)Abstraction for Shape Analysis with Fast and Precise Transformers., , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 547-561. Springer, (2006)Constructing Specialized Shape Analyses for Uniform Change., , , and . VMCAI, volume 4349 of Lecture Notes in Computer Science, page 215-233. Springer, (2007)