Xavier Rival

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