Laurent Mauborgne

	2012
23		Boris Köpf, Laurent Mauborgne, Martín Ochoa: Automatic Quantification of Cache Side-Channels. IACR Cryptology ePrint Archive 2012: 34 (2012)
	2011
22		Alexander Malkis, Laurent Mauborgne: On the Strength of Owicki-Gries for Resources. APLAS 2011: 172-187
21		Patrick Cousot, Radhia Cousot, Laurent Mauborgne: The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FOSSACS 2011: 456-472
20		Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
	2010
19		Patrick Cousot, Radhia Cousot, Laurent Mauborgne: A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli 2010: 72-95
18		Patrick Cousot, Radhia Cousot, Laurent Mauborgne: Logical Abstract Domains and Interpretations. The Future of Software Engineering 2010: 48-71
	2009
17		Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival: Why does Astrée scale up? Formal Methods in System Design 35(3): 229-264 (2009)
	2007
16		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		Xavier Rival, Laurent Mauborgne: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5): (2007)
14		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		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		Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
11		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		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		Laurent Mauborgne: Infinitary relations and their representation. Sci. Comput. Program. 47(2-3): 121-144 (2003)
	2002
7		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		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		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	Julien Bertrane	[20]
2	Bruno Blanchet	[7] [9] [14]
3	Patrick Cousot	[7] [9] [12] [13] [14] [16] [17] [18] [19] [20] [21]
4	Radhia Cousot	[7] [9] [12] [13] [14] [16] [17] [18] [19] [20] [21]
5	Jérôme Feret	[7] [9] [12] [13] [14] [16] [17] [20]
6	Boris Köpf	[23]
7	Alexander Malkis	[22]
8	Antoine Miné	[7] [9] [12] [13] [14] [16] [17] [20]
9	David Monniaux	[7] [9] [12] [13] [14] [16]
10	Martín Ochoa	[23]
11	Xavier Rival	[7] [9] [11] [12] [13] [14] [15] [16] [17] [20]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page