The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xavier Rival: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xavier Rival
    Abstract Dependences for Alarm Diagnosis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:347-363 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:85-108 [Conf]
  3. Harry G. Mairson, Xavier Rival
    Proofnets and Context Semantics for the Additives. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:151-166 [Conf]
  4. 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]
  5. Laurent Mauborgne, Xavier Rival
    Trace Partitioning in Abstract Interpretation Based Static Analyzers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:5-20 [Conf]
  6. 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]
  7. Xavier Rival
    Symbolic transfer function-based approaches to certified compilation. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:1-13 [Conf]
  8. Xavier Rival
    Understanding the Origin of Alarms in Astrée. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:303-319 [Conf]
  9. Xavier Rival, Jean Goubault-Larrecq
    Experiments with Finite Tree Automata in Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:362-377 [Conf]
  10. Xavier Rival
    Abstract Interpretation-Based Certification of Assembly Code. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:41-55 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]

  16. Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]


  17. Separating Shape Graphs. [Citation Graph (, )][DBLP]


  18. Relational inductive shape analysis. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002