Laurent Mauborgne

According to our database, Laurent Mauborgne authored at least 32 papers between 1994 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Safety-Critical Software Development in C++.

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2019

Towards Zero Alarms in Sound Static Analysis of Finite State Machines.

Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

On Software Safety, Security, and Abstract Interpretation.

Daniel Kästner, Laurent Mauborgne, Christian Ferdinand

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2015

CacheAudit: A Tool for the Static Analysis of Cache Side Channels.

Goran Doychev, Boris Köpf, Laurent Mauborgne, Jan Reineke

ACM Trans. Inf. Syst. Secur., 2015

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

2014

Leakage Resilience against Concurrent Cache Attacks.

Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

CacheAudit: A Tool for the Static Analysis of Cache Side Channels.

Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke

IACR Cryptol. ePrint Arch., 2013

2012

Theories, solvers and static analysis by abstract interpretation.

Patrick Cousot, Radhia Cousot, Laurent Mauborgne

J. ACM, 2012

Automatic Quantification of Cache Side-Channels.

Boris Köpf, Laurent Mauborgne, Martín Ochoa

IACR Cryptol. ePrint Arch., 2012

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

Preface.

Damien Massé, Laurent Mauborgne

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

The Reduced Product of Abstract Domains and the Combination of Decision Procedures.

Patrick Cousot, Radhia Cousot, Laurent Mauborgne

Proceedings of the Foundations of Software Science and Computational Structures, 2011

On the Strength of Owicki-Gries for Resources.

Alexander Malkis, Laurent Mauborgne

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Logical Abstract Domains and Interpretations.

Patrick Cousot, Radhia Cousot, Laurent Mauborgne

Proceedings of the Future of Software Engineering., 2010

A Scalable Segmented Decision Tree Abstract Domain.

Patrick Cousot, Radhia Cousot, Laurent Mauborgne

Proceedings of the Time for Verification, 2010

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

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

2007

The trace partitioning abstract domain.

Xavier Rival, Laurent Mauborgne

ACM Trans. Program. Lang. Syst., 2007

Varieties of Static Analyzers: A Comparison with ASTREE.

Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

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

Proceedings of the Advances in Computer Science, 2006

2005

Trace Partitioning in Abstract Interpretation Based Static Analyzers.

Laurent Mauborgne, Xavier Rival

Proceedings of the Programming Languages and Systems, 2005

The ASTREÉ Analyzer.

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival

Proceedings of the Programming Languages and Systems, 2005

2004

Astrée: verification of absence of run-time error.

Laurent Mauborgne

Proceedings of the Building the Information Society, 2004

2003

Infinitary relations and their representation.

Laurent Mauborgne

Sci. Comput. Program., 2003

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

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

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

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2000

An Incremental Unique Representation for Regular Trees.

Laurent Mauborgne

Nord. J. Comput., 2000

Tree Schemata and Fair Termination.

Laurent Mauborgne

Proceedings of the Static Analysis, 7th International Symposium, 2000

Improving the Representation of Infinite Trees to Deal with Sets of Trees.

Laurent Mauborgne

Proceedings of the Programming Languages and Systems, 2000

1999

Binary Decision Graphs.

Laurent Mauborgne

Proceedings of the Static Analysis, 6th International Symposium, 1999

1998

Abstract Interpretation Using Typed Decision Graphs.

Laurent Mauborgne

Sci. Comput. Program., 1998

1994

Abstract Interpretation Using TDGs.

Laurent Mauborgne

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994