2013

• Antoine Toubhans, Bor-Yuh Evan Chang and Xavier Rival. Reduced Product Combination of Abstract Domains for Shapes. In Verification, Model Checking and Abstract Interpretation 2013 (VMCAI'13). [.pdf]

2012

• Hierarchical Abstraction of Dynamic Structures. Pascal Sotin and Xavier Rival. In Asian Conference on Programming Languages And Software 2012. [.pdf]
• An Abstract Domain to Infer Types over Zones in Spreadsheets. Tie Cheng and Xavier Rival. In Static Analysis Symposium (SAS'12). [.pdf]

2011

• Xavier Rival and Bor-Yuh Evan Chang. Abstracting Calling Contexts with Shapes. In Principles Of Programming Languages 2011 (POPL'11). [.pdf]

2010

• Pascal Sotin, Bertrand Jeannet, and Xavier Rival. Concrete Memory Models for Shape Analysis. In The Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010), ENTCS. September 2010. To appear. [.pdf]
• Daniel Kaestner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné and Xavier Rival. Astrée: Proving the Absence of Runtime Errors. In Embedded Real Time Software and Systems (ERTS 2010). [.pdf]
• Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné and Xavier Rival. Static Analysis and Verification of Aerospace Software by Abstract Interpretation. In American Institute of Aeronautics and Astronautics(AIAA 2010). Copyright AIAA.
• Xavier Rival. Analyse Statique par Interprétation Abstraite In Technique des Sciences Informatiques. To appear. [.pdf]
• Vincent Laviron, Bor-Yuh Evan Chang and Xavier Rival. Separating Shape Graphs. In European Symposium On Programming 2010 (ESOP'10). [.pdf]

2009

• Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Eric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival and Michel Turin. Space Software Validation using Abstract Interpretation. In DAta System In Aerospace (DASIA 2009). ESA 2009. [.pdf]

2008

• Bor-Yuh Evan Chang and Xavier Rival. Relational Inductive Shape Analysis. In Principles Of Programming Languages 2008 (POPL'08). [.pdf]

2007

• Xavier Rival and Laurent Mauborgne. Trace Partitioning in Abstract Interpretation Based Static Analyzers. In ACM Transactions On Programming Languages And Software (TOPLAS). July 2007. [.pdf]
• Bor-Yuh Evan Chang, Xavier Rival and George Necula. Shape Analysis with Structural Invariant Checkers. In Static Analysis Symposium 2007 (SAS'07). [.pdf]
• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival. Varieties of Static Analyzers: A Comparison with Astrée. In IFIP International Symposium on Theoretical Aspects of Software Engineering 2007 (TASE'07). [.pdf]

2006

• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival. Combination of Abstractions in the Astrée static analyzer. In the 11th Annual Asian Comuting Science Conference (ASIAN 2006). [.pdf]

2005

• Xavier Rival. Abstract Dependences for Alarm Diagnosis In Asian Conference on Programming Languages And Software 2005 (APLAS'05). Lecture Notes in Computer Science. [.ps] [.pdf]
• Xavier Rival. Understanding the Origin of Alarms in Astrée In Static Analysis Symposium (SAS) 2005 Lecture Notes in Computer Science. [.ps] [.pdf]
• Laurent Mauborgne and Xavier Rival. Trace Partitioning in Abstract Interpretation Based Static Analyzers. In European Symposium On Programming (ESOP) 2005 Lecture Notes in Computer Science. [.ps] [.pdf]
• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. The Astrée Analyzer. In European Symposium On Programming (ESOP) 2005 Lecture Notes in Computer Science. [.ps] [.pdf]

2004

• Xavier Rival. Invariant Translation-Based Certification of Assembly Code. In International Journal on Software and Tools for Technology Transfer Springer Verlag, 2004. [.ps] [.pdf]
• Xavier Rival. Symbolic Transfer Functions-based Approaches to Certified Compilation. In 31st Symposium on Principles of Programming Languages (POPL'2004), Venice, Jan. 2004 ACM. [.ps] [.pdf]

2003

• 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. In ACM Programming Language Design and Implementation (PLDI 2003). [.ps] [.pdf]
• Xavier Rival. Abstract Interpretation Based Certification of Assembly Code, In Proc. 4th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'2003), New York, Jan. 2003 Lecture Notes in Computer Science. [.ps] [.pdf]

2002

• Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter. In The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, T. Mogensen and D.A. Schmidt and I.H. Sudborough (Editors). Lecture Notes in Computer Science 2566, Springer. [.ps] [.pdf]
• Harry Mairson and Xavier Rival Proofnets and Context Semantics for the Additives In Proc. Computer Science Logic (CSL'02), Edinburgh, Scotland, Sep. 2002, Lecture Notes in Computer Science. Springer, 2002. [.ps]

2001

• Xavier Rival and Jean Goubault-Larrecq. Experiments with finite tree automata in Coq. In Proc. 14th Int. Conf. Theorem Proving in Higher Order Logics (TPHOL'01), Edinburgh, Scotland, Sep. 2001, Lecture Notes in Computer Science. Springer, 2001. [.ps]