Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Xavier Rival" ( http://dblp.L3S.de/Authors/Xavier_Rival )

URL (Homepage):  http://www.di.ens.fr/~rival/  Author page on DBLP  Author page in RDF  Community of Xavier Rival in ASPL-2

Publication years (Num. hits)
2001-2007 (16) 2008-2011 (8)
Publication types (Num. hits)
article(8) inproceedings(16)
Venues (Conferences, Journals, ...)
ESOP(3) POPL(3) Electr. Notes Theor. Comput. S...(2) SAS(2) ACM SIGSOFT Software Engineeri...(1) ACM Trans. Program. Lang. Syst...(1) APLAS(1) ASIAN(1) CoRR(1) CSL(1) Formal Methods in System Desig...(1) PLDI(1) STTT(1) TASE(1) Technique et Science Informati...(1) The Essence of Computation(1) More (+10 of total 18)
Authors
Xavier Rival(24) Laurent Mauborgne(10) Antoine Miné(8) Jérôme Feret(8) Patrick Cousot(8) Radhia Cousot(8) David Monniaux(6) Bor-Yuh Evan Chang(4) Bruno Blanchet(3) Bertrand Jeannet(1) David Delmas(1) George C. Necula(1) Harry G. Mairson(1) Jean Goubault-Larrecq(1) Julien Bertrane(1) Pascal Sotin(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 19 keywords
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Xavier Rival Analyse statique par interprétation abstraite. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2011 DBLP  BibTeX  RDF
1Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Static analysis by abstract interpretation of embedded critical software. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xavier Rival, Bor-Yuh Evan Chang Calling context abstraction with shapes. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Delmas, Xavier Rival Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pascal Sotin, Bertrand Jeannet, Xavier Rival Concrete Memory Models for Shape Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival Separating Shape Graphs. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Why does Astrée scale up? Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bor-Yuh Evan Chang, Xavier Rival Relational inductive shape analysis. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis
1Xavier Rival, Laurent Mauborgne The trace partitioning abstract domain. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bruno 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 Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Bor-Yuh Evan Chang, Xavier Rival, George C. Necula Shape Analysis with Structural Invariant Checkers. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Combination of Abstractions in the ASTRÉE Static Analyzer. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Xavier Rival Abstract Dependences for Alarm Diagnosis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Xavier Rival Understanding the Origin of Alarms in Astrée. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival The ASTREÉ Analyzer. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Laurent Mauborgne, Xavier Rival Trace Partitioning in Abstract Interpretation Based Static Analyzers. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Xavier Rival Certification of compiled assembly code by invariant translation. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Abstract interpretation, Static program analysis, Certified compilation
1Xavier Rival Symbolic transfer function-based approaches to certified compilation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compilation, static analysis, abstract interpretation, certification, translation validation
1Bruno 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. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
1Xavier Rival Abstract Interpretation-Based Certification of Assembly Code. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compilation, Abstract Interpretation, Static program analysis
1Bruno 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. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Harry G. Mairson, Xavier Rival Proofnets and Context Semantics for the Additives. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Xavier Rival, Jean Goubault-Larrecq Experiments with Finite Tree Automata in Coq. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.