Algorithmic Analysis of Array-Accessing Programs, Computer Science Logic, 23rd international Workshop, pp.86-101, 2009. ,
Efficiently intertwining widening and narrowing, Sci. Comput. Program, vol.120, pp.1-24, 2016. ,
A Static Analyzer for Large Safety-Critical Software, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), pp.196-207, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00128135
Abstract Interpretation by Dynamic Partitioning, J. Funct. Program, vol.2, issue.4, pp.407-423, 1992. ,
Abstract Interpretation with Alien Expressions and Heap Structures, Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, pp.147-163, 2005. ,
A Survey on Product Operators in Abstract Interpretation, Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, pp.325-336, 2013. ,
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.238-252, 1977. ,
Systematic Design of Program Analysis Frameworks, Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pp.269-282, 1979. ,
Combination of abstractions in the ASTRÉE static analyzer, Annual Asian Computing Science Conference, pp.272-300, 2006. ,
Proving Termination with Multiset Orderings, Commun. ACM, vol.22, issue.8, pp.465-476, 1979. ,
Confidentiality Analysis of Mobile Systems, Static Analysis, 7th International Symposium, pp.135-154, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00527941
Discovering properties about arrays in simple programs, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, pp.339-348, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00288274
Combinations of reusable abstract domains for a multilingual static analyzer, Proc. of the 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE19), pp.1-17, 2019. ,
Field-sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Language, Compilers, and Tool Support for Embedded Systems. LCTES '06, pp.54-63, 2006. ,
Contributionsà l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays), 2010. ,
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp.819-828, 2018. ,
Abstract cofibered domains: Application to the alias analysis of untyped programs, Static Analysis, pp.366-382 ,
, , 1996.
Automatic Analysis of Pointer Aliasing for Untyped Programs, Sci. Comput. Program, vol.35, issue.2, pp.223-248, 1999. ,
Automatic Determination of Communication Topologies in Mobile Systems, Static Analysis, 5th International Symposium, SAS '98, pp.152-167, 1998. ,