A. Colin and I. Puaut, A modular and retargetable framework for tree-based WCET analysis, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.37-44, 2001.
DOI : 10.1109/EMRTS.2001.933995

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/inria-00528590

C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt et al., Reliable and Precise WCET Determination for a Real-Life Processor, EMSOFT '01: Proceedings of the First International Workshop on Embedded Software, pp.469-485, 2001.
DOI : 10.1007/3-540-45449-7_32

C. Ferdinand and R. Wilhelm, On predicting data cache behavior for real-time systems, LCTES '98: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, pp.16-30, 1998.
DOI : 10.1007/BFb0057777

C. Ferdinand and R. Wilhelm, Efficient and precise cache behavior prediction for real-timesystems. Real-Time Syst, pp.131-181, 1999.

D. Hardy and I. Puaut, Predictable Code and Data Paging for Real Time Systems, 2008 Euromicro Conference on Real-Time Systems, pp.266-275, 2008.
DOI : 10.1109/ECRTS.2008.16

D. Hardy and I. Puaut, WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches, 2008 Real-Time Systems Symposium, pp.456-466, 2008.
DOI : 10.1109/RTSS.2008.10

R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm, The influence of processor architecture on the design and the results of WCET tools, Proceedings of the IEEE, p.7, 2003.
DOI : 10.1109/JPROC.2003.814618

X. Li, A. Roychoudhury, and T. Mitra, Modeling out-of-order processors for WCET analysis. Real- Time Syst, pp.195-227, 2006.

. 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

T. Lundqvist and P. Stenström, A method to improve the estimated worst-case performance of data caching, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), p.255, 1999.
DOI : 10.1109/RTCSA.1999.811244

T. Lundqvist and P. Stenström, Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), p.12, 1999.
DOI : 10.1109/REAL.1999.818824

F. Mueller, Static cache simulation and its applications, 1994.

F. Mueller, Timing analysis for instruction caches, pp.217-247, 2000.

I. Puaut, WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems, 18th Euromicro Conference on Real-Time Systems (ECRTS'06), 2006.
DOI : 10.1109/ECRTS.2006.32

H. Ramaprasad and F. Mueller, Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns, 11th IEEE Real Time and Embedded Technology and Applications Symposium, pp.148-157, 2005.
DOI : 10.1109/RTAS.2005.12

R. Sen and Y. N. Srikant, WCET estimation for executables in the presence of data caches, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.203-212, 2007.
DOI : 10.1145/1289927.1289960

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

X. Vera, B. Lisper, and J. Xue, Data caches in multitasking hard real-time systems, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003.
DOI : 10.1109/REAL.2003.1253263

X. Vera, B. Lisper, and J. Xue, Data cache locking for tight timing calculations, ACM Transactions on Embedded Computing Systems, vol.7, issue.1, pp.1-38, 2007.
DOI : 10.1145/1324969.1324973

X. Vera and J. Xue, Let's study whole-program cache behaviour analytically, Proceedings Eighth International Symposium on High Performance Computer Architecture, p.175, 2002.
DOI : 10.1109/HPCA.2002.995708
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.9757

E. Michael, M. S. Wolf, and . Lam, A data locality optimizing algorithm, PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, pp.30-44, 1991.