|
Search the dblp DataBase
Xavier Rival:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xavier Rival
Abstract Dependences for Alarm Diagnosis. [Citation Graph (0, 0)][DBLP] APLAS, 2005, pp:347-363 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] The Essence of Computation, 2002, pp:85-108 [Conf]
- Harry G. Mairson, Xavier Rival
Proofnets and Context Semantics for the Additives. [Citation Graph (0, 0)][DBLP] CSL, 2002, pp:151-166 [Conf]
- Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:21-30 [Conf]
- Laurent Mauborgne, Xavier Rival
Trace Partitioning in Abstract Interpretation Based Static Analyzers. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:5-20 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PLDI, 2003, pp:196-207 [Conf]
- Xavier Rival
Symbolic transfer function-based approaches to certified compilation. [Citation Graph (0, 0)][DBLP] POPL, 2004, pp:1-13 [Conf]
- Xavier Rival
Understanding the Origin of Alarms in Astrée. [Citation Graph (0, 0)][DBLP] SAS, 2005, pp:303-319 [Conf]
- Xavier Rival, Jean Goubault-Larrecq
Experiments with Finite Tree Automata in Coq. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:362-377 [Conf]
- Xavier Rival
Abstract Interpretation-Based Certification of Assembly Code. [Citation Graph (0, 0)][DBLP] VMCAI, 2003, pp:41-55 [Conf]
- Xavier Rival
Certification of compiled assembly code by invariant translation. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:6, n:1, pp:15-37 [Journal]
- Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Shape Analysis with Structural Invariant Checkers. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:384-401 [Conf]
- Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
Varieties of Static Analyzers: A Comparison with ASTREE. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:3-20 [Conf]
- 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 [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Xavier Rival, Laurent Mauborgne
The trace partitioning abstract domain. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]
Separating Shape Graphs. [Citation Graph (, )][DBLP]
Relational inductive shape analysis. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|