J. Ho, T. H. Bang, S. D. Kim, and . Cha, An iterative refinement framework for tighter worst-case execution time calculation, Proceedings of the Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC '07, pp.365-372, 2007.

F. Brandner, S. Hepp, and A. Jordan, Static profiling of the worstcase in real-time programs, Proceedings of the Conference on Real-Time and Network Systems, RTNS '12, pp.101-110, 2012.

F. Brandner, S. Hepp, and A. Jordan, Criticality: Static profiling for real-time programs. Real-Time Systems, pp.1-34, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01108039

H. Thomas, C. E. Cormen, R. L. Leiserson, C. Rivest, and . Stein, Introduction to Algorithms, 2009.

A. Cortesi and M. Zanioli, Widening and narrowing operators for abstract interpretation, Computer Languages, Systems & Structures, vol.37, issue.1, pp.24-42, 2011.
DOI : 10.1016/j.cl.2010.09.001

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/hal-01108790

A. Ermedahl, C. Sandberg-gustafsson, S. Bygde, and B. Lisper, Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis of Dagstuhl Seminar Proceedings. Internationales Begegnungsund Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, 2007.

N. Holsti, T. Långbacka, and S. Saarinen, Using a worst-case executiontime tool for real-time verification of the DEBIE software, Proceedings of the Data Systems in Aerospace Conference (ESA SP-457), DASIA '00, pp.307-312, 2000.

J. Knoop, L. Kovács, and J. Zwirchmayr, WCET squeezing, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, p.161, 2013.
DOI : 10.1145/2516821.2516847

. Yau-tsun-steven, S. Li, and . Malik, Performance Analysis of Embedded Software Using Implicit Path Enumeration, 32nd Design Automation Conference, pp.456-461, 1995.
DOI : 10.1109/DAC.1995.249991

P. Lokuciejewski, D. Cordes, H. Falk, and P. Marwedel, A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models, Proceedings of the International Symposium on Code Generation and Optimization, CGO '09, pp.136-146, 2009.

F. Nemer, H. Cassé, P. Sainrat, J. Bahsoun, and M. D. Michiel, Papabench: A free real-time benchmark, Proc. of the Workshop on Worst-Case Execution Time Analysis, pp.63-68, 2006.

P. Peter, A. V. Puschner, and . Schedl, Computing maximum task execution times -a graph-based approach. Real-Time Systems, pp.67-91, 1997.

C. Sandberg, A. E. Gustafsson, and B. Lisper, Faster WCET flow analysis by program slicing, Proceedings of the conference on Language , Compilers, and Tool Support for Embedded Systems, LCTES '06, pp.103-112, 2006.

F. Stappert, A. Ermedahl, and J. Engblom, Efficient longest executable path search for programs with complex flows and pipeline effects, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '01, pp.132-140, 2001.
DOI : 10.1145/502217.502240

I. Stein, ILP-based Path Analysis on Abstract Pipeline State Graphs, 2010.

H. Theiling, C. Ferdinand, and R. Wilhelm, Fast and precise wcet prediction by separated cache and path analyses. Real-Time Systems, pp.157-179, 2000.

M. Weiser, Program Slicing, Proceedings of the Conference on Software Engineering , ICSE '81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248