Xavier Rival

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival: Reduced Product Combination of Abstract Domains for Shapes. VMCAI 2013: 375-395

Pascal Sotin, Xavier Rival: Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. APLAS 2012: 131-147

Tie Cheng, Xavier Rival: An Abstract Domain to Infer Types over Zones in Spreadsheets. SAS 2012: 94-110

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)

Xavier Rival: Analyse statique par interprétation abstraite. Technique et Science Informatiques 30(4): 371-380 (2011)

Xavier Rival, Bor-Yuh Evan Chang: Calling context abstraction with shapes. POPL 2011: 173-186

Pascal Sotin, Bertrand Jeannet, Xavier Rival: Concrete Memory Models for Shape Analysis. Electr. Notes Theor. Comput. Sci. 267(1): 139-150 (2010)

David Delmas, Xavier Rival: Preface. Electr. Notes Theor. Comput. Sci. 267(2): 1 (2010)

Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival: Separating Shape Graphs. ESOP 2010: 387-406

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)

Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims: Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009)

Bor-Yuh Evan Chang, Xavier Rival: Relational inductive shape analysis. POPL 2008: 247-260

Xavier Rival, Laurent Mauborgne: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5) (2007)

Bor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401

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

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)

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

Xavier Rival: Abstract Dependences for Alarm Diagnosis. APLAS 2005: 347-363

Laurent Mauborgne, Xavier Rival: Trace Partitioning in Abstract Interpretation Based Static Analyzers. ESOP 2005: 5-20

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. ESOP 2005: 21-30

Xavier Rival: Understanding the Origin of Alarms in Astrée. SAS 2005: 303-319

Xavier Rival: Certification of compiled assembly code by invariant translation. STTT 6(1): 15-37 (2004)

Xavier Rival: Symbolic transfer function-based approaches to certified compilation. POPL 2004: 1-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. PLDI 2003: 196-207

Xavier Rival: Abstract Interpretation-Based Certification of Assembly Code. VMCAI 2003: 41-55

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

Harry G. Mairson, Xavier Rival: Proofnets and Context Semantics for the Additives. CSL 2002: 151-166

Xavier Rival, Jean Goubault-Larrecq: Experiments with Finite Tree Automata in Coq. TPHOLs 2001: 362-377