- P. Cousot, R. Cousot, and L. Mauborgne.
The Reduced Product of Abstract Domains and the Combination of Decision Procedures.
In Foundations of Software Science and Computational Structures,
FOSSACS'11, volume 6604 of Lecture Notes in Computer
Science, pages 456-472, 2011. (© Springer-Verlag)
- J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné,
and X.Rival.
Static Analysis by Abstract Interpretation of Embedded Critical Software.
In ACM Software Engineering Notes, 36(1):1-8, 2011.
- P. Cousot, R. Cousot, and L. Mauborgne.
Logical Abstract Domains and Interpretations.
In The Future of Software Engineering, pages 48-71, 2011. (© Springer-Verlag)
- P. Cousot, R. Cousot, and L. Mauborgne.
A Scalable Segmented Decision Tree Abstract Domain.
In Pnueli Festschrift,
volume 6200 of
Lecture Notes in Computer
Science, 2010. (© Springer-Verlag)
- J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné
and X. Rival. Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
In American Institute of Aeronautics and Astronautics (AIAA) Infotech@Aeropsace, paper 2010-3385, 2010.
- 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 - ERTSS 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.