Y. S. Li and S. Malik, Performance analysis of embedded software using implicit path enumeration

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

C. A. Healy and D. B. Whalley, Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering, vol.28, issue.8, p.28, 2002.
DOI : 10.1109/TSE.2002.1027799

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, Int'l Symp. on Code Generation and Optimization (CGO), 2009.

A. Colin and I. Puaut, Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, pp.249-274, 2000.

P. Raymond, C. Maiza, C. Parent-vigouroux, and F. Carrier, Timing analysis enhancement for synchronous program, Int'l Conference on Real-Time and Network Systems (RTNS), pp.141-150, 2013.

J. Engblom, A. Ermedahl, and P. Altenbernd, Facilitating worst-case execution times analysis for optimized code, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), pp.146-153, 1998.
DOI : 10.1109/EMWRTS.1998.685079

M. Schordan, Source-to-source analysis with SATIrE an example revisited, Scalable Program Analysis, number 08161 in Dagstuhl Seminar Proceedings Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2008.

G. Barany and A. Prantl, Source-Level Support for Timing Analysis, Conference on Leveraging Applications of Formal Methods, Verification, and Validation, pp.434-448, 2010.
DOI : 10.1007/978-3-642-16561-0_40

B. Huber, D. Prokesch, and P. Puschner, Combined WCET analysis of bitcode and machine code using control-flow relation graphs, Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pp.163-172, 2013.

R. Kirner, Extending optimising compilation to support worst-case execution time analysis, 2003.

R. Kirner, P. Puschner, and A. Prantl, Transforming flow information during code optimization for timing analysis. Real-Time Systems, pp.72-105, 2010.

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., pp.75-88, 2004.
DOI : 10.1109/CGO.2004.1281665

M. De-michiel, A. Bonenfant, C. Ballabriga, and H. Cassé, Partial Flow Analysis with oRange (short paper) In Symposium On Leveraging Applications of Formal Methods, Verification and Validation, number 6416 in LNCS, pp.479-482, 2010.

J. Zwirchmayr, A. Bonenfant, M. De-michiel, H. Cassé, L. Kovacs et al., FFX: A Portable WCET Annotation Language, Int'l Conference on Real-Time and Network Systems (RTNS), pp.91-100, 2012.