A. Absint and . Informatik, Astrée run-time error analyzer

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

F. Bourdoncle, Efficient chaotic iteration strategies with widenings, Proc. of the Int. Conf. on Formal Methods in Programming and their Applications (FMPA'93), pp.128-141, 1993.
DOI : 10.1007/BFb0039704

P. Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science, vol.277, issue.1-2, pp.47-103, 2002.
DOI : 10.1016/S0304-3975(00)00313-3

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and R. Cousot, Constructive versions of Tarski???s fixed point theorems, Pacific Journal of Mathematics, vol.82, issue.1, pp.43-57, 1979.
DOI : 10.2140/pjm.1979.82.43

P. Cousot and R. Cousot, Invariance proof methods and analysis techniques for parallel programs, Automatic Program Construction Techniques, chapter 12, pp.243-271, 1984.

P. Cousot and R. Cousot, Compositional separate modular static analysis of programs by abstract interpretation, Procs. of the 2d Int. Conf. on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet (SS- GRR'01). Scuola Superiore G. Reiss Romoli, 2001.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., Combination of Abstractions in the ASTR??E Static Analyzer, Proc. of the 11th Annual Asian Computing Science Conf. (ASIAN'06), pp.272-300, 2006.
DOI : 10.1007/978-3-540-24725-8_2

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-97, 1978.
DOI : 10.1145/512760.512770

R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmesparalì eles, Thèse d' ´ EtatèsEtatès sciences mathématiques, Institut National Polytechnique de Lorraine, 1985.

J. Feret, Static Analysis of Digital Filters, Proc. of the 13th Europ. Symp. on Programming, pp.33-48, 2004.
DOI : 10.1007/978-3-540-24725-8_4
URL : https://hal.archives-ouvertes.fr/inria-00528447

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

C. B. Jones, Development Methods for Computer Programs including a Notion of Interference, 1981.

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

A. Miné, Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs, Logical Methods in Computer Science, vol.8, issue.1, pp.1-63, 2012.
DOI : 10.2168/LMCS-8(1:26)2012

S. Owicki and D. Gries, An axiomatic proof technique for parallel programs I, Acta Informatica, vol.11, issue.4, pp.319-340, 1976.
DOI : 10.1007/BF00268134

M. Sharir and A. Pnueli, Two approaches to interprocedural data flow analysis, Program Flow Analysis: Theory and Applications, pp.189-233, 1981.

A. Venet, Nonuniform Alias Analysis of Recursive Data Structures and Arrays, Proc. of the 9th Int. Symp. on Static Analysis (SAS'02), volume 2477 of LNCS, pp.36-51, 2002.
DOI : 10.1007/3-540-45789-5_6