( en | de | ru )

 

Disambiguation of "Mauborgne, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
The Reduced Product of Abstract Domains and the Combination of Decision Procedures.

, , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 456-472. Springer, (2011)

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.

Pierre Mauborgne

Laurent Ntahuga

Laurent Bartholdi

Thomas Laurent

Thomas Laurent

 

Other publications of authors with the same name

A Static Analyzer for Large Safety-Critical Software, , , , , , , and . ACM SIGPLAN PLDI'03, 548030, page 196--207. ACM Press, (June 2003)A Scalable Segmented Decision Tree Abstract Domain., , and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 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., , and . J. ACM, 59 (6): 31:1-31:56 (2012)The Reduced Product of Abstract Domains and the Combination of Decision Procedures., , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 456-472. Springer, (2011)Leakage Resilience against Concurrent Cache Attacks., , , and . POST, volume 8414 of Lecture Notes in Computer Science, page 140-158. Springer, (2014)Astrée: verification of absence of run-time error.. IFIP Congress Topical Sessions, volume 156 of IFIP, page 385-392. Kluwer/Springer, (2004)Logical Abstract Domains and Interpretations., , and . The Future of Software Engineering, page 48-71. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.Abstract Interpretation Using TDGs.. SAS, volume 864 of Lecture Notes in Computer Science, page 363-379. Springer, (1994)An Incremental Unique Representation for Regular Trees.. Nord. J. Comput., 7 (4): 290-311 (2000)