Xavier Rival

Statistics

Publications

Citations

H-Index

Active since

2002

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure

École Normale Supérieure - PSL

Centre National de la Recherche Scientifique

AbsInt (Germany)

Xavier Rival is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and abstract interpretation.

ORCID

Publications per year

2002–2019

Publications

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations

Computing, Computer Engineering, Computer Science +13

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text

Computing, Computer Engineering, Computer Science +13

The trace partitioning abstract domain

Xavier Rival, Laurent Mauborgne · ACM Transactions on Programming Languages and Systems · 2007 · 177 citations · Full text

Computing, Computer Science, Algorithms +11

Relational inductive shape analysis

Bor-Yuh Evan Chang, Xavier Rival · 2008 · 158 citations

Computing, Computer Science, Data Structures +14

Why does Astrée scale up?

Patrick Cousot, Radhia Cousot, Jérôme Ferêt et al. · Formal Methods in System Design · 2009 · 99 citations · Full text

Natural Sciences, Meteorology, Mesoscale Meteorology +1

1–5 of 25