Abstract Interpretation Using TDGs. - Laurent Mauborgne (SAS, 1994)

Abstract Interpretation Using Typed Decision Graphs. - Laurent Mauborgne (Sci. Comput. Program., 1998)

Binary Decision Graphs. - Laurent Mauborgne (SAS, 1999)

Improving the Representation of Infinite Trees to Deal with Sets of Trees. - Laurent Mauborgne (ESOP, 2000)

Tree Schemata and Fair Termination. - Laurent Mauborgne (SAS, 2000)

An Incremental Unique Representation for Regular Trees. - Laurent Mauborgne (Nord. J. Comput., 2000)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (The Essence of Computation, 2002)

A static analyzer for large safety-critical software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (PLDI, 2003)

Infinitary relations and their representation. - Laurent Mauborgne (Sci. Comput. Program., 2003)

Astrée: verification of absence of run-time error. - Laurent Mauborgne (IFIP Congress Topical Sessions, 2004)

The ASTREÉ Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ESOP, 2005)

Trace Partitioning in Abstract Interpretation Based Static Analyzers. - Laurent Mauborgne; Xavier Rival (ESOP, 2005)

Combination of Abstractions in the ASTRÉE Static Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ASIAN, 2006)

Varieties of Static Analyzers: A Comparison with ASTREE. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Antoine Miné; Laurent Mauborgne; David Monniaux; Xavier Rival (TASE, 2007)

The trace partitioning abstract domain. - Xavier Rival; Laurent Mauborgne (ACM Trans. Program. Lang. Syst., 2007)

Why does Astrée scale up? - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Formal Methods Syst. Des., 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - 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 (Softwaretechnik-Trends, 2009)

A Scalable Segmented Decision Tree Abstract Domain. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (Essays in Memory of Amir Pnueli, 2010)

Logical Abstract Domains and Interpretations. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (The Future of Software Engineering, 2010)

On the Strength of Owicki-Gries for Resources. - Alexander Malkis; Laurent Mauborgne (APLAS, 2011)

The Reduced Product of Abstract Domains and the Combination of Decision Procedures. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (FoSSaCS, 2011)

Preface. - Damien Massé; Laurent Mauborgne (NSAD@SAS, 2011)

Static analysis by abstract interpretation of embedded critical software. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (ACM SIGSOFT Softw. Eng. Notes, 2011)

Automatic Quantification of Cache Side-Channels. - Boris Köpf; Laurent Mauborgne; Martín Ochoa (IACR Cryptol. ePrint Arch., 2012)

Theories, solvers and static analysis by abstract interpretation. - Patrick Cousot; Radhia Cousot; Laurent Mauborgne (J. ACM, 2012)

CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Dominik Feld; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (IACR Cryptol. ePrint Arch., 2013)

Leakage Resilience against Concurrent Cache Attacks. - Gilles Barthe; Boris Köpf; Laurent Mauborgne; Martín Ochoa (POST, 2014)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Found. Trends Program. Lang., 2015)

CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (ACM Trans. Inf. Syst. Secur., 2015)

On Software Safety, Security, and Abstract Interpretation. - Daniel Kästner; Laurent Mauborgne; Christian Ferdinand (FM, 2018)

Towards Zero Alarms in Sound Static Analysis of Finite State Machines. - Josselin Giet; Laurent Mauborgne; Daniel Kästner; Christian Ferdinand (SAFECOMP, 2019)

Safety-Critical Software Development in C++. - Daniel Kästner; Christoph Cullmann; Gernot Gebhard; Sebastian Hahn 001; Thomas Karos; Laurent Mauborgne; Stephan Wilhelm; Christian Ferdinand (SAFECOMP Workshops, 2020)

Sound Non-interference Analysis for C/C++. - Daniel Kästner; Laurent Mauborgne; Sebastian Hahn 001; Stephan Wilhelm; Jörg Herter; Christoph Cullmann; Christian Ferdinand (SAFECOMP, 2024)