( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A static analyzer for large safety-critical software.

, , , , , , , и . PLDI, стр. 196-207. ACM, (2003)

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.

Pierre Mauborgne

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

 

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

A Static Analyzer for Large Safety-Critical Software, , , , , , , и . ACM SIGPLAN PLDI'03, 548030, стр. 196--207. ACM Press, (июня 2003)A Scalable Segmented Decision Tree Abstract Domain., , и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 72-95. Springer, (2010)Infinitary relations and their representation.. Sci. Comput. Program., 47 (2-3): 121-144 (2003)Theories, solvers and static analysis by abstract interpretation., , и . J. ACM, 59 (6): 31:1-31:56 (2012)Leakage Resilience against Concurrent Cache Attacks., , , и . POST, том 8414 из Lecture Notes in Computer Science, стр. 140-158. Springer, (2014)The Reduced Product of Abstract Domains and the Combination of Decision Procedures., , и . FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 456-472. Springer, (2011)Astrée: verification of absence of run-time error.. IFIP Congress Topical Sessions, том 156 из IFIP, стр. 385-392. Kluwer/Springer, (2004)Abstract Interpretation Using TDGs.. SAS, том 864 из Lecture Notes in Computer Science, стр. 363-379. Springer, (1994)An Incremental Unique Representation for Regular Trees.. Nord. J. Comput., 7 (4): 290-311 (2000)Logical Abstract Domains and Interpretations., , и . The Future of Software Engineering, стр. 48-71. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.