Laurent Mauborgne

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 3

Top Topics

Static Analysis

Symbolic Execution

Top Venues

IACR Cryptol. ePrint Arch.

Found. Trends Program. Lang.

USENIX Security Symposium

SAFECOMP Workshops

Publications

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand
Safety-Critical Software Development in C++. SAFECOMP Workshops (2020)
Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand
Towards Zero Alarms in Sound Static Analysis of Finite State Machines. SAFECOMP (2019)
Daniel Kästner, Laurent Mauborgne, Christian Ferdinand
On Software Safety, Security, and Abstract Interpretation. FM (2018)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2 (2-3) (2015)
Goran Doychev, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa
Leakage Resilience against Concurrent Cache Attacks. POST (2014)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. USENIX Security Symposium (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. IACR Cryptol. ePrint Arch. 2013 (2013)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Theories, solvers and static analysis by abstract interpretation. J. ACM 59 (6) (2012)
Damien Massé, Laurent Mauborgne
Preface. Electron. Notes Theor. Comput. Sci. 288 (2012)
Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. CAV (2012)
Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. IACR Cryptol. ePrint Arch. 2012 (2012)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Alexander Malkis, Laurent Mauborgne
On the Strength of Owicki-Gries for Resources. APLAS (2011)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS (2011)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli (2010)
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Logical Abstract Domains and Interpretations. The Future of Software Engineering (2010)
Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Why does Astrée scale up? Formal Methods Syst. Des. 35 (3) (2009)
Xavier Rival, Laurent Mauborgne
The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
A Static Analyzer for Large Safety-Critical Software CoRR (2007)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
Varieties of Static Analyzers: A Comparison with ASTREE. TASE (2007)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN (2006)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. ESOP (2005)
Laurent Mauborgne, Xavier Rival
Trace Partitioning in Abstract Interpretation Based Static Analyzers. ESOP (2005)
Laurent Mauborgne
Astrée: verification of absence of run-time error. IFIP Congress Topical Sessions (2004)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
A static analyzer for large safety-critical software. PLDI (2003)
Laurent Mauborgne
Infinitary relations and their representation. Sci. Comput. Program. 47 (2-3) (2003)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation (2002)
Laurent Mauborgne
An Incremental Unique Representation for Regular Trees. Nord. J. Comput. 7 (4) (2000)
Laurent Mauborgne
Tree Schemata and Fair Termination. SAS (2000)
Laurent Mauborgne
Improving the Representation of Infinite Trees to Deal with Sets of Trees. ESOP (2000)
Laurent Mauborgne
Binary Decision Graphs. SAS (1999)
Laurent Mauborgne
Abstract Interpretation Using Typed Decision Graphs. Sci. Comput. Program. 31 (1) (1998)
Laurent Mauborgne
Abstract Interpretation Using TDGs. SAS (1994)