A static analyzer for large safety-critical software. In: Programming Language Design and Implementation, pp.196-207, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00128135
Formal Verification of a C Value Analysis Based on Abstract Interpretation, Static Analysis, 20th International Symposium, pp.324-344, 2013. ,
DOI : 10.1007/978-3-642-38856-9_18
URL : https://hal.archives-ouvertes.fr/hal-00812515
Reliable and precise WCET determination for a reallife processor, Embedded Software, First International Workshop, EMSOFT 2001, pp.469-485, 2001. ,
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra, Static Analysis, 20th International Symposium (SAS 2013). LNCS, pp.345-365, 2013. ,
DOI : 10.1007/978-3-642-38856-9_19
A Certified Multi-prover Verification Condition Generator, Verified Software: Theories, Tools, Experiments, pp.2-17, 2012. ,
DOI : 10.1007/3-540-48118-4_45
URL : https://hal.archives-ouvertes.fr/hal-00639977
seL4, Communications of the ACM, vol.53, issue.6, pp.107-115, 2010. ,
DOI : 10.1145/1743546.1743574
The qualification of software development tools from the DO-178B certification perspective, CrossTalk, vol.19, issue.4, pp.19-22, 2006. ,
Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009. ,
DOI : 10.1145/1538788.1538814
URL : https://hal.archives-ouvertes.fr/inria-00415861
A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009. ,
DOI : 10.1007/s10817-009-9155-4
URL : https://hal.archives-ouvertes.fr/inria-00360768
Validating Register Allocation and Spilling, In: Compiler Construction LNCS, vol.6011, pp.224-243, 2010. ,
DOI : 10.1007/978-3-642-11970-5_13
URL : https://hal.archives-ouvertes.fr/inria-00529841
Formal Verification of Avionics Software Products, FM 2009: Formal Methods, pp.532-546, 2009. ,
DOI : 10.1007/978-3-642-05089-3_34
Safe to the last instruction: automated verification of a type-safe operating system. In: Programming Language Design and Implementation, pp.99-110, 2010. ,
Finding and understanding bugs in C compilers, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp.283-294, 2011. ,