BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × United Kingdom
2 × Germany
3 × USA
Collaborated with:
∅ X.Rival P.Cousot R.Cousot B.Köpf M.Ochoa J.Feret A.Miné D.Monniaux B.Blanchet
Talks about:
abstract (3) analyz (3) tree (3) interpret (2) static (2) decis (2) represent (1) schemata (1) procedur (1) softwar (1)

Person: Laurent Mauborgne

DBLP DBLP: Mauborgne:Laurent

Contributed to:

CAV 20122012
FOSSACS 20112011
ESOP 20052005
PLDI 20032003
ESOP 20002000
SAS 20002000
SAS 19991999
SAS 19941994

Wrote 9 papers:

CAV-2012-KopfMO #automation #quantifier
Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.
FoSSaCS-2011-CousotCM #abstract domain
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
ESOP-2005-CousotCFMMMR
The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
ESOP-2005-MauborgneR #abstract interpretation #clustering
Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
PLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
ESOP-2000-Mauborgne #infinity #representation #set
Improving the Representation of Infinite Trees to Deal with Sets of Trees (LM), pp. 275–289.
SAS-2000-Mauborgne #termination
Tree Schemata and Fair Termination (LM), pp. 302–321.
SAS-1999-Mauborgne #graph
Binary Decision Graphs (LM), pp. 101–116.
SAS-1994-Mauborgne #abstract interpretation #using
Abstract Interpretation Using TDGs (LM), pp. 363–379.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.