A. Angewandte and I. Gmbh,

A. Informatik and G. , aiT Worst-Case Execution Time Analyzer

A. Angewandte and I. Gmbh, CompCert: formally verified optimizing C compiler

A. Informatik and G. , TimeWeaver: Hybrid Worst-Case Timing Analysis

R. Axer, H. Ernst, A. Falk, D. Girault, N. Grund et al., Building timing predictable embedded systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.4, pp.1-8237, 1145.
DOI : 10.1145/1113841.1113842
URL : https://hal.archives-ouvertes.fr/hal-01095461

R. Bedin-frança, S. Blazy, D. Favre-felix, X. Leroy, M. Pantel et al., Formally verified optimizing compilation in ACG-based flight control software, ERTS 2012: Embedded Real Time Software and Systems, 2012.

C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza-reineke et al., Predictability Considerations in the Design of Multi-Core Embedded Systems. Ingenieurs de l'Automobile, pp.26-42, 2010.

. Consortium, Deliverable D2.1 " Common Assertion Language

H. Falk and P. Lokuciejewski, A compiler framework for the reduction of worst-case execution times. Real-Time Systems, pp.251-300, 2010.

X. Leroy, A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009.
DOI : 10.1007/978-3-642-59495-3
URL : https://hal.archives-ouvertes.fr/inria-00360768

X. Leroy, S. Blazy, D. Kästner, B. Schommer, M. Pister et al., CompCert ? a formally verified optimizing compiler, ERTS 2016: Embedded Real Time Software and Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01238879

I. Li, E. Puaut, and . Rohou, Traceability of Flow Information, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, p.97, 2014.
DOI : 10.1145/2659787.2659805
URL : https://hal.archives-ouvertes.fr/hal-01072138

A. Prantl, M. Schordan, and J. Knoop, Tubound -A conceptually new tool for worst-case execution time analysis, 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008.

S. Wegener, W. Towards-multicore, and . Analysis, 17th International Workshop on Worst-Case Execution Time Analysis Schloss Dagstuhl -Leibniz- Zentrum fuer Informatik, pp.1-7, 2017.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-36, 2008.
DOI : 10.1145/1347375.1347389