Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Rival, Xavier - Département d'Informatique, École Normale Supérieure
Experiments with Finite Tree Automata in Coq ? Xavier Rival 1;2 Jean GoubaultLarrecq 1;3
Analyse Statique par Interprtation Xavier Rival
Abstract InterpretationBased Certification of Assembly Code
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Abstract Dependences for Alarm Diagnosis Xavier Rival
A Static Analyzer for Large SafetyCritical Software Bruno Blanchet x Patrick Cousot x Radhia Cousot { J
Proofnets and context semantics for the additives
Curriculum Vitae Xavier Rival
Calling Context Abstraction with Shapes Xavier Rival
Relational Inductive Shape Analysis Bor-Yuh Evan Chang
The Trace Partitioning Abstract Domain XAVIER RIVAL and LAURENT MAUBORGNE
Combination of Abstractions in the ASTREE Static Analyzer
Experiments with Finite Tree Automata in Coq Xavier Rival
Abstract Dependences for Alarm Diagnosis Xavier Rival
Understanding the Origin of Alarms in Astree Xavier Rival
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Symbolic Transfer Functionbased Approaches to Certified Compilation #
Understanding the Origin of Alarms in Astr ee Xavier Rival
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Separating Shape Graphs Vincent Laviron1
Symbolic Transfer Function-based Approaches to Certified Compilation
