Antoine Miné

	2012
29		Antoine Miné: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs Logical Methods in Computer Science 8(1): (2012)
	2011
28		Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Linear Absolute Value Relation Analysis. ESOP 2011: 156-175
27		Antoine Miné: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. ESOP 2011: 398-418
26		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
25		Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128
24		Antoine Miné, Enric Rodríguez-Carbonell: Preface. Electr. Notes Theor. Comput. Sci. 267(1): 1-2 (2010)
	2009
23		Bertrand Jeannet, Antoine Miné: Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV 2009: 661-667
22		Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325
21		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)
	2008
20		Liqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18
	2007
19		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
18		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)
17		Antoine Miné: A New Numerical Abstract Domain Based on Difference-Bound Matrices CoRR abs/cs/0703073: (2007)
16		Antoine Miné: Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics CoRR abs/cs/0703074: (2007)
15		Antoine Miné: A Few Graph-Based Relational Numerical Abstract Domains CoRR abs/cs/0703075: (2007)
14		Antoine Miné: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains CoRR abs/cs/0703076: (2007)
13		Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors CoRR abs/cs/0703077: (2007)
12		Antoine Miné: The Octagon Abstract Domain CoRR abs/cs/0703084: (2007)
	2006
11		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
10		Antoine Miné: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. LCTES 2006: 54-63
9		Antoine Miné: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. VMCAI 2006: 348-363
8		Antoine Miné: The octagon abstract domain. Higher-Order and Symbolic Computation 19(1): 31-100 (2006)
	2005
7		Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
	2004
6		Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. ESOP 2004: 3-17
	2003
5		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
	2002
4		Antoine Miné: A Few Graph-Based Relational Numerical Abstract Domains. SAS 2002: 117-132
3		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
	2001
2		Antoine Miné: A New Numerical Abstract Domain Based on Difference-Bound Matrices. PADO 2001: 155-172
1		Antoine Miné: The Octagon Abstract Domain. WCRE 2001: 310-

Coauthor Index

1	Julien Bertrane	[26]
2	Bruno Blanchet	[3] [5] [18]
3	Liqian Chen	[20] [22] [25] [28]
4	Patrick Cousot	[3] [5] [7] [11] [18] [19] [20] [21] [22] [25] [26] [28]
5	Radhia Cousot	[3] [5] [7] [11] [18] [19] [21] [26]
6	Jérôme Feret	[3] [5] [7] [11] [18] [19] [21] [26]
7	Bertrand Jeannet	[23]
8	Laurent Mauborgne	[3] [5] [7] [11] [18] [19] [21] [26]
9	David Monniaux	[3] [5] [7] [11] [18] [19]
10	Xavier Rival	[3] [5] [7] [11] [18] [19] [21] [26]
11	Enric Rodríguez-Carbonell	[24]
12	Ji Wang	[22] [25] [28]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page