Laurent Mauborgne

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