dblp.uni-trier.dewww.uni-trier.de

Laurent Mauborgne Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
16EEPatrick 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
15EEXavier Rival, Laurent Mauborgne: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5): (2007)
14EEBruno 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
13EEPatrick 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
12EEPatrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
11EELaurent 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
9EEBruno 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
8EELaurent Mauborgne: Infinitary relations and their representation. Sci. Comput. Program. 47(2-3): 121-144 (2003)
2002
7EEBruno 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
6EELaurent 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
3EELaurent 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)