M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm, Cache behavior prediction by abstract interpretation, SAS'96 Static Analysis Symposium, pp.52-66, 1996.
DOI : 10.1007/3-540-61739-6_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6198

C. Aussaguès, Placement Optimal de tâches pour les systèmes Parallèles Temps-Réel Critiques, 1998.

O. I. Aven, E. G. Coffman, and Y. A. Kogan, Stochastic Analysis of computer storage. Reidel Amsterdam, 1987.

J. V. Busquets-mataix, J. J. Serrano-martin, R. Ors, P. Gil, and A. Wellings, Adding instruction cache effect to schedulability analysis of preemptive real-time systems, Proceedings Real-Time Technology and Applications, pp.204-212, 1996.
DOI : 10.1109/RTTAS.1996.509537

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

V. David, M. Aji, J. Delcoigne, C. Aussaguès, and C. Cordonnier, Le modèle de conception oasis/?c pour les systèmes temps-réel complexes critiques. Real-Time & Embedded Systems, 1996.

V. David, C. Aussaguès, and J. Delcoigne, Seeking a deterministic multitask framework for safety critical systems : the oasis approach, ANS/ENS, International Topical Meeting on Nuclear Plant Instrumentation, 2000.

J. Engblom, A. Ermedahl, M. Sjodin, J. Gustavson, and H. Hansson, Towards industry strenght worst-case execution time analysis, ASTEC, 1999.

C. Ferdinand, Cache behavior prediction for real?time systems, p.185, 1997.

C. Ferdinand, F. Martin, and R. Wilhelm, Applying compiler techniques to cache behavior prediction, ACM SIGPLAN Worshop on Language, Compiler and Tool support for Real?Time Systems, pp.37-46, 1997.

C. Ferdinand and R. Whilhelm, Efficient and precise cache behaviour prediction for real?time systems, Real-Time Systems, vol.17, issue.2/3, pp.131-181, 1999.
DOI : 10.1023/A:1008186323068

C. Fricker and P. Robert, On the representation of memory references generated by a program with application to the analysis of cache memories, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075400

J. S. Harper, D. J. Kerbyson, and G. R. Nudd, Analytical modeling of set-associative cache behaviour, 1998.

J. L. Hennessy and D. A. Patterson, Computer Architecture : A Quantitative Approach, 1996.

H. Kopetz, The time-triggered approach to real-time system design in randel b, 1995.

C. Lee, J. Hahn, Y. Seo, S. L. Min, R. Ha et al., Analysis of cache-related preemption delay in fixed-priority preemptive scheduling, IEEE Transaction on Computer, vol.47, 1998.

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

T. Lundqvist and P. Stenström, An integrated path and timing analysis method based on cycle?level symbolic execution, Real-Time Systems, vol.17, issue.2/3, pp.183-207, 1999.
DOI : 10.1023/A:1008138407139

F. Mueller, Timing analysis for instruction caches. Real?Time Systems, pp.217-247, 2000.

J. Sanjay, D. H. Patel, Y. N. Friendly, and . Patt, Evaluation of design options for the trace cache fetch mechanism, IEEE Transactions on Computers, vol.48, issue.2, pp.193-204, 1999.

G. S. Rao, Performance Analysis of Cache Memories, Journal of the ACM, vol.25, issue.3, pp.378-395, 1978.
DOI : 10.1145/322077.322081

O. Temam, C. Fricker, and W. Jalby, Cache interference phenomena, Proceedings ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, 1994.

H. Theiling, C. Ferdinand, and R. Wilhelm, Fast and precise wcet prediction by separated cache and path analyses, Real-Time Systems, vol.18, issue.2/3, pp.157-179, 2000.
DOI : 10.1023/A:1008141130870

R. T. White, F. Mueller, C. Healy, D. Whalley, and M. Harmon, Timing analysis for data and wrap?around fill caches, Real-Time Systems, vol.17, issue.2/3, pp.209-233, 1999.
DOI : 10.1023/A:1008190423977

R. T. White, F. Mueller, C. A. Healy, D. B. Whalley, and M. G. Harmon, Timing analysis for data caches and set-associative caches, Proceedings Third IEEE Real-Time Technology and Applications Symposium, 1997.
DOI : 10.1109/RTTAS.1997.601358
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.3333