( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Putting static analysis to work for verification: A case study.

, , , и . ISSTA, стр. 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.

Ami Bachar

Ladislav Lev

Lev Stimmer

Lev Baron

Lev Baron

 

Другие публикации лиц с тем же именем

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