| 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 | 930 | 2003 |
| 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 | 713 | 2005 |
| 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 | 698 | 2005 |
| 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 | 305 | 2002 |
| Trace partitioning in abstract interpretation based static analyzers L Mauborgne, X Rival Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 291 | 2005 |
| The trace partitioning abstract domain X Rival, L Mauborgne ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 26-es, 2007 | 209 | 2007 |
| Relational inductive shape analysis BYE Chang, X Rival ACM SIGPLAN Notices 43 (1), 247-260, 2008 | 205 | 2008 |
| 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 | 175 | 2007 |
| 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 | 140 | 2009 |
| 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 | 118 | 2015 |
| Understanding the Origin of Alarms in Astrée X Rival Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 114 | 2005 |
| Symbolic transfer function-based approaches to certified compilation X Rival ACM SIGPLAN Notices 39 (1), 1-13, 2004 | 97 | 2004 |
| Shape analysis with structural invariant checkers BYE Chang, X Rival, GC Necula Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007 | 90 | 2007 |
| 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 | 88 | 2007 |
| Introduction to static analysis: an abstract interpretation perspective X Rival, K Yi Mit Press, 2020 | 56 | 2020 |
| 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 | 44 | 2010 |
| 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 | 43 | 2009 |
| 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 | 42 | 2011 |
| Abstract interpretation-based certification of assembly code X Rival VMCAI 2575, 41-55, 2003 | 41 | 2003 |
| Abstract dependences for alarm diagnosis X Rival Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 38 | 2005 |
