S. , B. , D. Bühler, and B. Yakobowski, Structuring Abstract Interpreters Through State and Value Abstractions, Verification, Model Checking, and Abstract Interpretation, pp.112-130, 2017.

G. Brat, J. A. Navas, N. Shi, and A. Venet, IKOS: A Framework for Static Analysis Based on Abstract Interpretation, Software Engineering and Formal Methods, pp.271-277, 2014.

C. Calcagno, D. Distefano, J. Dubreil, D. Gabi, P. Hooimeijer et al., Moving Fast with Software Verification, 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.
DOI : 10.1145/567752.567778

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. 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 (LNCS), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01782390

. Springer, , pp.185-202

D. Gopan, F. Dimaio, N. Dor, T. Reps, and M. Sagiv, Numeric Domains with Summarized Dimensions, Proc. of TACAS'04, vol.2988, pp.512-529, 2004.
DOI : 10.1007/978-3-540-24730-2_38

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

D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot et al., Astrée: Proving the absence of runtime errors, Proc. of, 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.

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, vol.17, 2005.