Xavier Rival

	2008
17		Bor-Yuh Evan Chang, Xavier Rival: Relational inductive shape analysis. POPL 2008: 247-260
	2007
16		Bor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401
15		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
14		Xavier Rival, Laurent Mauborgne: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5): (2007)
13		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
12		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
11		Xavier Rival: Abstract Dependences for Alarm Diagnosis. APLAS 2005: 347-363
10		Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30
9		Laurent Mauborgne, Xavier Rival: Trace Partitioning in Abstract Interpretation Based Static Analyzers. ESOP 2005: 5-20
8		Xavier Rival: Understanding the Origin of Alarms in Astrée. SAS 2005: 303-319
	2004
7		Xavier Rival: Symbolic transfer function-based approaches to certified compilation. POPL 2004: 1-13
6		Xavier Rival: Certification of compiled assembly code by invariant translation. STTT 6(1): 15-37 (2004)
	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
4		Xavier Rival: Abstract Interpretation-Based Certification of Assembly Code. VMCAI 2003: 41-55
	2002
3		Harry G. Mairson, Xavier Rival: Proofnets and Context Semantics for the Additives. CSL 2002: 151-166
2		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
1		Xavier Rival, Jean Goubault-Larrecq: Experiments with Finite Tree Automata in Coq. TPHOLs 2001: 362-377

Coauthor Index

1	Bruno Blanchet	[2] [5] [13]
2	Bor-Yuh Evan Chang	[16] [17]
3	Patrick Cousot	[2] [5] [10] [12] [13] [15]
4	Radhia Cousot	[2] [5] [10] [12] [13] [15]
5	Jérôme Feret	[2] [5] [10] [12] [13] [15]
6	Jean Goubault-Larrecq (Jean Goubault)	[1]
7	Harry G. Mairson	[3]
8	Laurent Mauborgne	[2] [5] [9] [10] [12] [13] [14] [15]
9	Antoine Miné	[2] [5] [10] [12] [13] [15]
10	David Monniaux	[2] [5] [10] [12] [13] [15]
11	George C. Necula	[16]

Colors in the list of coauthors