Mars Climate Orbiter mishap investigation boord phase I report, Marshall Space Flight Center, 1999. ,
Cache behavior prediction by abstract interpretation, Proc. 3 rd Int. Symp. SAS '96, pp.24-26, 1145. ,
DOI : 10.1007/3-540-61739-6_33
Standard for binary floating-point arithmetic, IEEE, vol.754754, 1985. ,
Bounded Model Checking, Advances in Computers, vol.58, pp.118-149, 2003. ,
DOI : 10.1016/S0065-2458(03)58003-2
Security protocols: from linear to classical logic by abstract interpretation, Information Processing Letters, vol.95, issue.5, pp.473-479, 2005. ,
DOI : 10.1016/j.ipl.2005.05.011
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software, invited chapter, The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, pp.85-108, 2002. ,
A static analyzer for large safety-critical software, Proc. ACM SIGPLAN '2003 Conf. PLDI, pp.196-207, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00128135
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique de programmes (in French) Thèse d'État ès sciences mathématiques, 1978. ,
Types as abstract interpretations, invited paper, 24 th POPL, pp.316-331, 1997. ,
Partial completeness of abstract fixpoint checking, invited paper, Proc. 4 th Int. Symp. SARA '2000, Horseshoe Bay, LNAI 1864, pp.1-25, 2000. ,
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
Static determination of dynamic properties of programs, Proc. 2 nd Int. Symp. on Programming, pp.106-130, 1976. ,
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
Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979. ,
DOI : 10.1145/567752.567778
Comparing the Galois connection and widening/narrowing approaches to abstract interpretation, invited paper, Proc. 4 th Int. Symp. on PLILP '92, pp.26-28, 1992. ,
Inductive definitions, semantics and abstract interpretations, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.83-94, 1992. ,
DOI : 10.1145/143165.143184
Temporal abstract interpretation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.12-25, 2000. ,
DOI : 10.1145/325694.325699
Systematic design of program transformation frameworks by abstract interpretation, 29 th POPL, pp.178-190, 2002. ,
Parsing as abstract interpretation of grammar semantics, Theoretical Computer Science, vol.290, issue.1, pp.531-544, 2003. ,
DOI : 10.1016/S0304-3975(02)00034-8
Basic concepts of abstract interpretation, invited chapter, Building the Information Society, pp.359-366, 2004. ,
Grammar analysis and parsing by abstract interpretation, invited chapter, Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm, pp.178-203, 2006. ,
Bi-inductive structural semantics, Information and Computation, vol.207, issue.2, pp.258-283, 2009. ,
DOI : 10.1016/j.ic.2008.03.025
The ASTRÉE analyser, Proc. 14 th ESOP '2005, pp.21-30, 2005. ,
Varieties of static analyzers: A comparison with ASTRÉE, invited paper, Proc. 1 st TASE '07, pp.3-17, 2007. ,
Combination of Abstractions in the ASTR??E Static Analyzer, 11 th ASIAN 06, pp.272-300, 2006. ,
DOI : 10.1007/978-3-540-24725-8_2
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
Abstract Interpretation of Cellular Signalling Networks, Proc. 9 th Int. Conf. VMCAI 2008, pp.83-97, 2008. ,
DOI : 10.1007/978-3-540-78163-9_11
URL : https://hal.archives-ouvertes.fr/inria-00528352
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code, Automotive Software ? Connected Services in Mobile Networks, First Automotive Software Workshop, pp.1-14, 2004. ,
DOI : 10.1007/11823063_1
Static Analysis of Digital Filters, Proc. 30 th ESOP, pp.33-48, 2004. ,
DOI : 10.1007/978-3-540-24725-8_4
URL : https://hal.archives-ouvertes.fr/inria-00528447
The Arithmetic-Geometric Progression Abstract Domain, Proc. 6 th Int. Conf. VMCAI 2005, pp.42-58, 2005. ,
DOI : 10.1007/978-3-540-30579-8_3
URL : https://hal.archives-ouvertes.fr/inria-00528450
Numerical abstract domains for digital filters In 1 st Int, Work. on Numerical & Symbolic Abstract Domains, issue.05, 2005. ,
Assigning meaning to programs, Proc. Symposium in Applied Mathematics, pp.19-32, 1967. ,
Completeness in abstract interpretation: A domain perspective, Proc. 6 th Int. Conf. AMAST '97, pp.231-245, 1997. ,
DOI : 10.1007/BFb0000474
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
Handling floating-point exceptions in numeric programs, ACM Transactions on Programming Languages and Systems, vol.18, issue.2, pp.139-174, 1996. ,
DOI : 10.1145/227699.227701
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969. ,
DOI : 10.1145/363235.363259
The early search for tractable ways of reasoning about programs, IEEE Annals of the History of Computing, vol.25, issue.2, pp.26-49, 2003. ,
DOI : 10.1109/MAHC.2003.1203057
The Objective Caml system, documentation and user's manual (release 3.06), 2002. ,
ARIANE 5 flight 501 failure, report by the inquiry board, 1999. ,
An analysis of the excel 65535 " bug, version 1.21, 2007. ,
ASTRÉE: Verification of absence of run-time error, Building the Information Society, pp.385-392, 2004. ,
Trace Partitioning in Abstract Interpretation Based Static Analyzers, Proc. 14 th ESOP '2005, pp.5-20, 2005. ,
DOI : 10.1007/978-3-540-31987-0_2
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors, Proc. 30 th ESOP, pp.3-17, 2004. ,
DOI : 10.1007/978-3-540-24725-8_2
Weakly Relational Numerical Abstract Domains, Thèse de doctorat en informatique, École polytechnique, 2004. ,
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics, Proc. LCTES '2006, pp.54-63, 2006. ,
The octagon abstract domain. Higher-Order and Symbolic Computation, pp.31-100, 2006. ,
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains, Proc. 7 th Int. Conf. VMCAI 2006, pp.348-363, 2006. ,
DOI : 10.1007/11609773_23
The Parallel Implementation of the Astr??e Static Analyzer, Proc. 3 rd APLAS '2005, pp.86-96, 2005. ,
DOI : 10.1007/11575467_7
The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, 2008. ,
DOI : 10.1145/1353445.1353446
URL : https://hal.archives-ouvertes.fr/hal-00128124
Proof of algorithms by general snapshots, BIT, vol.1, issue.4, pp.310-316, 1966. ,
DOI : 10.1007/BF01966091
Quantum Entanglement Analysis Based on Abstract Interpretation, Proc. 15 th Int. Symp. SAS '08, pp.270-282, 2008. ,
DOI : 10.1007/978-3-540-69166-2_18
The trace partitioning abstract domain, ACM Transactions on Programming Languages and Systems, vol.29, issue.5, 2007. ,
DOI : 10.1145/1275497.1275501
Morphological filtering: An overview, Signal Processing, vol.38, issue.1, pp.3-11, 1994. ,
DOI : 10.1016/0165-1684(94)90052-3
Gao/imtec-92-26 patriot missile software problem, Information Management and Technology Division, 1992. ,