Combining a high-level design tool for safety-critical systems with a tool for WCET analysis of executables, Embedded Real Time Software (ERTS), 2008. ,
Understanding how SCADE suite KCG generates safe C code. White paper, Esterel Technologies, 2010. ,
Assemblers, linkers, and the SPIM simulator. Appendix of Computer Organization and Design: the hw/sw interface, 2005. ,
DOI : 10.1016/b978-1-4832-0775-9.50018-x
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
Mechanized semantics, with applications to program proof and compiler verification. Marktoberdorf summer school, 2009. ,
Correctness of a compiler for arithmetic expressions, Math. aspects of Comp. Sci. 1, 1967. ,
DOI : 10.1090/psapm/019/0242403
Complexité Certifiée. Travail d'´ etude et de recherche, Master Informatique, 2010. ,
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Proceedings of Conference on Compiler Construction, pp.213-228, 2002. ,
DOI : 10.1007/3-540-45937-5_16
Compilation (INF 564), ´ Ecole Polytechnique, 2009. ,
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008. ,
DOI : 10.1145/1347375.1347389