Laurent Mauborgne

2007
16	EE	Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival: Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20
15	EE	Xavier Rival, Laurent Mauborgne: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5): (2007)
14	EE	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: A Static Analyzer for Large Safety-Critical Software CoRR abs/cs/0701193: (2007)
2006
13	EE	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300
2005
12	EE	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
11	EE	Laurent Mauborgne, Xavier Rival: Trace Partitioning in Abstract Interpretation Based Static Analyzers. ESOP 2005: 5-20
2004
10		Laurent Mauborgne: Astrée: verification of absence of run-time error. IFIP Congress Topical Sessions 2004: 385-392
2003
9	EE	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: A static analyzer for large safety-critical software. PLDI 2003: 196-207
8	EE	Laurent Mauborgne: Infinitary relations and their representation. Sci. Comput. Program. 47(2-3): 121-144 (2003)
2002
7	EE	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108
2000
6	EE	Laurent Mauborgne: Improving the Representation of Infinite Trees to Deal with Sets of Trees. ESOP 2000: 275-289
5		Laurent Mauborgne: Tree Schemata and Fair Termination. SAS 2000: 302-321
4		Laurent Mauborgne: An Incremental Unique Representation for Regular Trees. Nord. J. Comput. 7(4): 290-311 (2000)
1999
3	EE	Laurent Mauborgne: Binary Decision Graphs. SAS 1999: 101-116
1998
2		Laurent Mauborgne: Abstract Interpretation Using Typed Decision Graphs. Sci. Comput. Program. 31(1): 91-112 (1998)
1994
1		Laurent Mauborgne: Abstract Interpretation Using TDGs. SAS 1994: 363-379

Coauthor Index

1	Bruno Blanchet	[7] [9] [14]
2	Patrick Cousot	[7] [9] [12] [13] [14] [16]
3	Radhia Cousot	[7] [9] [12] [13] [14] [16]
4	Jérôme Feret	[7] [9] [12] [13] [14] [16]
5	Antoine Miné	[7] [9] [12] [13] [14] [16]
6	David Monniaux	[7] [9] [12] [13] [14] [16]
7	Xavier Rival	[7] [9] [11] [12] [13] [14] [15] [16]