Follow
Xavier Rival
Xavier Rival
Directeur de Recherche, INRIA
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
A static analyzer for large safety-critical software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
9602003
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
7482005
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
The essence of computation: complexity, analysis, transformation, 85-108, 2002
3132002
Trace partitioning in abstract interpretation based static analyzers
L Mauborgne, X Rival
European Symposium on Programming, 5-20, 2005
3012005
The trace partitioning abstract domain
X Rival, L Mauborgne
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 26-es, 2007
2232007
Relational inductive shape analysis
BYE Chang, X Rival
ACM SIGPLAN Notices 43 (1), 247-260, 2008
2112008
Combination of abstractions in the Astrée static analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
1942007
Why does Astrée scale up?
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Formal Methods in System Design 35, 229-264, 2009
1492009
Understanding the Origin of Alarms in Astrée
X Rival
International Static Analysis Symposium, 303-319, 2005
1322005
Static analysis and verification of aerospace software by abstract interpretation
J Bertrane, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, X Rival
Foundations and Trends® in Programming Languages 2 (2-3), 71-190, 2015
1312015
Symbolic transfer function-based approaches to certified compilation
X Rival
ACM SIGPLAN Notices 39 (1), 1-13, 2004
1022004
Introduction to static analysis: an abstract interpretation perspective
X Rival, K Yi
Mit Press, 2020
1012020
Shape analysis with structural invariant checkers
BYE Chang, X Rival, GC Necula
International Static Analysis Symposium, 384-401, 2007
962007
Varieties of static analyzers: A comparison with ASTRÉE
P Cousot, R Cousot, J Feret, M Antoine, L Mauborgne, D Monniaux, ...
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
942007
On correctness of automatic differentiation for non-differentiable functions
W Lee, H Yu, X Rival, H Yang
Advances in Neural Information Processing Systems 33, 6719-6730, 2020
582020
Astrée: Proving the absence of runtime errors
D Kästner, S Wilhelm, S Nenova, P Cousot, R Cousot, J Feret, ...
Proc. of Embedded Real Time Software and Systems (ERTS2 2010) 9, 2010
482010
Static analysis by abstract interpretation of embedded critical software
J Julien Bertrane, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
472011
Space software validation using abstract interpretation
O Bouissou, E Conquet, P Cousot, R Cousot, J Feret, K Ghorbal, ...
The International Space System Engineering Conference: Data Systems in …, 2009
442009
Taking static analysis to the next level: proving the absence of run-time errors and data races with Astrée
A Miné, L Mauborgne, X Rival, J Feret, P Cousot, D Kästner, S Wilhelm, ...
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016
422016
Abstract dependences for alarm diagnosis
X Rival
Asian Symposium on Programming Languages and Systems, 347-363, 2005
422005
The system can't perform the operation now. Try again later.
Articles 1–20