G. Balakrishnan and T. Reps, Recency-abstraction for heap-allocated storage, Static Analysis: 13th International Symposium, pp.221-239, 2006.

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Static analysis and verification of aerospace software by abstract interpretation, pp.1-38, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00528611

C. Calcagno, D. Distefano, J. Dubreil, D. Gabi, P. Hooimeijer et al., Moving fast with software verification, NFM, pp.3-11, 2015.

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. of POPL'77, pp.238-252, 1977.

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proc. of POPL'79, 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, Proc. of ASIAN'06, vol.4435, pp.272-300, 2006.

P. Cousot, R. Cousot, and L. Mauborgne, The reduced product of abstract domains and the combination of decision procedures, Proc. of FoSSaCS '11, vol.6604, pp.456-472, 2011.

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Conf. Rec. of the 5th Annual ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages (POPL'78), pp.84-97, 1978.

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C: A software analysis perspective, Formal Aspects of Computing, vol.27, pp.573-609, 2012.

A. Fromherz, A. Ouadjaout, and A. Miné, Static value analysis of Python programs by abstract interpretation, Proc. of NFM'18, pp.185-202, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01782390

M. Journault, A. Ouadjaout, and A. Miné, Modular static analysis of string manipulations in C programs, Proc. of SAS'18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01884772

M. Journault, A. Miné, and A. Ouadjaout, An abstract domain for trees with numeric relations, ESOP. Lecture Notes in Computer Science, vol.11423, pp.724-751, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02197107

D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot et al., Astrée: Proving the absence of runtime errors, Proc. of ERTS2 2010, 2010.

C. Lattner and V. Adve, LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation, Proc. of CGO'04, 2004.

A. Miné, Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics, Proc. of LCTES'06, pp.54-63, 2006.

A. Miné, Tutorial on static inference of numeric invariants by abstract interpretation, Foundations and Trends in Programming Languages (FnTPL), vol.4, issue.3-4, pp.120-372, 2017.

A. Miné, A. Ouadjaout, and M. Journault, Design of a modular platform for static analysis, Proc. of 9h Workshop on Tools for Automatic Program Analysis (TAPAS'18). p. 4. Lecture Notes in Computer Science, 2018.

K. S. Namjoshi and Z. Pavlinovic, The impact of program transformations on static program analysis, Static Analysis, pp.306-325, 2018.

H. Oh, K. Heo, W. Lee, W. Lee, and K. Yi, Design and implementation of sparse global analyses for C-like languages, SIGPLAN Not, vol.47, issue.6, pp.229-238, 2012.

F. Spoto, Julia: A generic static analyser for the Java bytecode, Proc. of FTfJP'2005, p.17, 2005.