R. Alur, P. Cerný, and S. Weinstein, Algorithmic Analysis of Array-Accessing Programs, Computer Science Logic, 23rd international Workshop, pp.86-101, 2009.

G. Amato, F. Scozzari, H. Seidl, K. Apinis, and V. Vojdani, Efficiently intertwining widening and narrowing, Sci. Comput. Program, vol.120, pp.1-24, 2016.

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., 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

F. Bourdoncle, Abstract Interpretation by Dynamic Partitioning, J. Funct. Program, vol.2, issue.4, pp.407-423, 1992.

B. E. Chang and K. R. Leino, Abstract Interpretation with Alien Expressions and Heap Structures, Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, pp.147-163, 2005.

A. Cortesi, G. Costantini, and P. Ferrara, 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.

P. Cousot and R. Cousot, 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.

P. Cousot and R. Cousot, Systematic Design of Program Analysis Frameworks, Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pp.269-282, 1979.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., Combination of abstractions in the ASTRÉE static analyzer, Annual Asian Computing Science Conference, pp.272-300, 2006.

N. Dershowitz and Z. Manna, Proving Termination with Multiset Orderings, Commun. ACM, vol.22, issue.8, pp.465-476, 1979.

J. Feret, Confidentiality Analysis of Mobile Systems, Static Analysis, 7th International Symposium, pp.135-154, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00527941

N. Halbwachs and M. Péron, 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

M. Journault, A. Miné, M. Monat, and A. Ouadjaout, 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.

A. Miné, 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.

M. Péron, Contributionsà l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays), 2010.

A. Platzer and Y. K. Tan, 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.

A. Venet, Abstract cofibered domains: Application to the alias analysis of untyped programs, Static Analysis, pp.366-382

H. Springer-berlin, , 1996.

A. Venet, Automatic Analysis of Pointer Aliasing for Untyped Programs, Sci. Comput. Program, vol.35, issue.2, pp.223-248, 1999.

A. Venet, Automatic Determination of Communication Topologies in Mobile Systems, Static Analysis, 5th International Symposium, SAS '98, pp.152-167, 1998.