- D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret,
L. Mauborgne, A. Miné and X. Rival.
Astrée: Proving the Absence of Runtime Errors.
In Embedded Real Time Software and Systems - ERTS 2010.
- P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux and
X. Rival.
Why does Astrée scale up?
In Formal Methods in System Design (FMSD), 35(3):229-264, 2009.
- O. Bouissou, E. Conquet, P. Cousot, R. Cousot, J. Feret, K. Ghorbal,
E. Goubault, D. Lesens, L. Mauborgne, A. Miné, S. Putot, X. Rival, M. Turin.
Space Software Validation using Abstract
Interpretation. In Proceedings of the International Space System Engineering Conference,
Data Systems in Aerospace (DASIA 2009),
volume SP-669, ESA, 2009.
- Laurent Mauborgne.
Static Analysis and Symbolic Abstract Domains.
Dissertation for an habilitation à diriger des recherches (accreditation to supervise research) of Université Paris IX, 2007.
- Xavier Rival and Laurent Mauborgne.
The Trace Partitioning Abstract Domain.
ACM Transactions on Programming Languages and Systems (TOPLAS),
29(5), 2007.
- P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and
X. Rival.
Varieties of Static Analyzers: A Comparison with
ASTRÉE.
In International Symposium on ``Theoretical Aspects of Software
Engineering'', TASE'07, June 2007, pp. 3-17.
-
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux and
X. Rival.
Combination of Abstractions in the ASTRÉE Static
Analyzer.
In Asian Computing Science Conference (ASIAN 2006).
- Laurent Mauborgne and Xavier Rival.
Trace Partitioning in Abstract Interpretation Based Static
Analyzers.
In European Symposium on Programming,
ESOP 2005,
volume 3444 of
Lecture Notes in Computer
Science, 2005. (© Springer-Verlag)
- P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux and
X. Rival.
The ASTRÉE Analyzer.
In European Symposium on Programming,
ESOP 2005,
volume 3444 of
Lecture Notes in Computer
Science, 2005. (© Springer-Verlag)
-
Laurent Mauborgne.
ASTRÉE: Verification of Absence of Run-Time Error.
In Building the information Society (18th IFIP World Computer
Congress), Kluwer Academic Publishers, 2004.
-
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné,
D. Monniaux and X. Rival.
A Static Analyzer for Large Safety-Critical Software.
In Conference on Programming
Language Design and Implementation (PLDI'03), ACM SIGPLAN
2003, 2003. (© ACM)
-
Laurent Mauborgne.
Infinitary relations and their representation.
Science of Computer Programming, 47:121--144, 2003.
-
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné,
D. Monniaux and X. Rival.
Design and Implementation of a Special-Purpose Static
Program Analyzer for Safety-Critical Real-Time Embedded Software. Chapter
in The Essence of Computation: Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones, volume 2566 of
Lecture Notes in Computer
Science, 2002. (© Springer-Verlag)
-
Laurent Mauborgne.
An incremental unique representation for regular trees.
Nordic Journal of
Computing, 7(4):290--311, 2000.
-
Laurent Mauborgne.
Tree schemata and fair termination.
In Static
Analysis Symposium, SAS'00, volume 1824 of
Lecture Notes in Computer
Science, 2000. (© Springer-Verlag)
-
Laurent Mauborgne.
Improving the representation of infinite trees to deal
with sets of trees.
In European Symposium on Programming,
ESOP 2000,
volume 1782 of
Lecture Notes in Computer
Science, 2000. (© Springer-Verlag)
-
Laurent Mauborgne.
Representation of Sets of Trees for Abstract
Interpretation.
PhD thesis, École Polytechnique,
1999.
-
Laurent Mauborgne.
Binary decision graphs.
In Static Analysis Symposium, SAS'99, volume 1694 of
Lecture Notes in Computer
Science, 1999. (© Springer-Verlag)
-
Laurent Mauborgne.
Abstract interpretation using typed decision graphs.
Science of Computer Programming, 31(1):91--112, may 1998.
-
Laurent Mauborgne.
Abstract interpretation using TDGs.
In Static Analysis Symposium, SAS'94,
volume 864 of Lecture Notes in Computer Science, 1994.