Xavier Rival

	2011
24		Xavier Rival, Bor-Yuh Evan Chang: Calling context abstraction with shapes. POPL 2011: 173-186
23		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)
22		Xavier Rival: Analyse statique par interprétation abstraite. Technique et Science Informatiques 30(4): 371-380 (2011)
	2010
21		Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival: Separating Shape Graphs. ESOP 2010: 387-406
20		Pascal Sotin, Bertrand Jeannet, Xavier Rival: Concrete Memory Models for Shape Analysis. Electr. Notes Theor. Comput. Sci. 267(1): 139-150 (2010)
19		David Delmas, Xavier Rival: Preface. Electr. Notes Theor. Comput. Sci. 267(2): 1 (2010)
	2009
18		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
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	Julien Bertrane	[23]
2	Bruno Blanchet	[2] [5] [13]
3	Bor-Yuh Evan Chang	[16] [17] [21] [24]
4	Patrick Cousot	[2] [5] [10] [12] [13] [15] [18] [23]
5	Radhia Cousot	[2] [5] [10] [12] [13] [15] [18] [23]
6	David Delmas	[19]
7	Jérôme Feret	[2] [5] [10] [12] [13] [15] [18] [23]
8	Jean Goubault-Larrecq (Jean Goubault)	[1]
9	Bertrand Jeannet	[20]
10	Vincent Laviron	[21]
11	Harry G. Mairson	[3]
12	Laurent Mauborgne	[2] [5] [9] [10] [12] [13] [14] [15] [18] [23]
13	Antoine Miné	[2] [5] [10] [12] [13] [15] [18] [23]
14	David Monniaux	[2] [5] [10] [12] [13] [15]
15	George C. Necula	[16]
16	Pascal Sotin	[20]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page