- A Static Analyzer for Large Safety-Critical Software Bruno Blanchet
- Representation of Sets of Trees for Abstract Interpretation
- A Scalable Segmented Decision Tree Abstract Domain
- The Trace Partitioning Abstract Domain Laurent Mauborgne and Xavier Rival
- Improving the Representation of Infinite Trees to Deal with Sets of Trees
- Infinitary Relations and Their Representation Laurent Mauborgne 1
- Analyse statique et domaines abstraits symboliques
- Abstract Interpretation Using Typed Decision Laurent Mauborgne ?
- Binary Decision Graphs Laurent Mauborgne
- Trace Partitioning in Abstract Interpretation Based Static Analyzers
- Logical Abstract Domains and Interpretations Patrick Cousot 2,3
- Astree: Proving the Absence of Runtime Errors Daniel Kastner1
- Symbolic Abstract Domains Laurent Mauborgne
- Improving the Representation of Infinite Trees to Deal with Sets of Trees
- A Static Analyzer for Large SafetyCritical Software Bruno Blanchet # Patrick Cousot Radhia Cousot # J
- cole Normale Suprieure Anne scolaire 2006/2007 Prdoctorat, spcialit Informatique
- Symbolic Abstract Domains Laurent Mauborgne
- Representation of Sets of Trees for Abstract Interpretation
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation
- Form Methods Syst Des (2009) 35: 229264 DOI 10.1007/s10703-009-0089-6
- Analyse statique et domaines abstraits symboliques
- Trace Partitioning in Abstract Interpretation Based Static Analyzers
- ASTRE: VERIFICATION OF ABSENCE OF RUN-Laurent Mauborgne
- Design and Implementation of a Special-Purpose Static Program Analyzer
- Nordic Journal of Computing An Incremental Unique Representation for Regular Trees
- Binary Decision Graphs Laurent Mauborgne
- Infinitary Relations and Their Representation Laurent Mauborgne 1
- Tree Schemata and Fair Termination Laurent Mauborgne
- The ASTR'EE Analyzer? Patrick Cousot 2, Radhia Cousot 1,3, Jer^ome Feret 2, Laurent Mauborgne 2,
- Improving the Representation of Infinite Trees to Deal with Sets of Trees
- ASTR#E: VERIFICATION OF ABSENCE OF RUN-TIME ERROR*
- Abstract Interpretation Using Typed Decision Graphs
- Analyse statique et domaines abstraits symboliques
- Tree Schemata and Fair Termination Laurent Mauborgne
- Infinitary Relations and Their Representation Laurent Mauborgne 1
- Representation of Sets of Trees for Abstract Interpretation
- Design and Implementation of a SpecialPurpose Static Program Analyzer
- Nordic Journal of Computing 7(2000), --. AN INCREMENTAL UNIQUE REPRESENTATION
- Tree Schemata and Fair Termination Laurent Mauborgne
- ASTRE: VERIFICATION OF ABSENCE OF RUN TIME ERROR #
- Symbolic Abstract Domains Laurent Mauborgne
- Trace Partitioning in Abstract Interpretation Based Static Analyzers
- A Static Analyzer for Large Safety-Critical Software Bruno Blanchet *x Patrick Cousot x Radhia Cousot *{ J'er^ome Fere*
- Design and Implementation of a Special-Purpose Static Program Analyzer
- EE Analyzer # Patrick Cousot 2 , Radhia Cousot 1,3 , Jerome Feret 2 , Laurent Mauborgne 2 ,
- Abstract Interpretation Using TDGs Laurent Mauborgne ?
- Abstract Interpretation Using Typed Decision Laurent Mauborgne
- The Trace Partitioning Abstract Domain Laurent Mauborgne and Xavier Rival
- Nordic Journal of Computing An Incremental Unique Representation for Regular Trees
- Binary Decision Graphs Laurent Mauborgne
