M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm, Cache behavior prediction by abstract interpretation, Static Analysis Symposium, 1996.
DOI : 10.1007/3-540-61739-6_33

C. Ballabriga and H. Cassé, Improving the First-Miss Computation in Set-Associative Instruction Caches, 2008 Euromicro Conference on Real-Time Systems, 2008.
DOI : 10.1109/ECRTS.2008.34

P. Cousot and R. Cousot, Static Determination of Dynamic Properties of Programs, nd Int'l Symposium on Programming, 1976.

C. Cullmann and F. Martin, Data-Flow Based Detection of Loop Bounds, 2007.

. Hansson, Towards Industry-Strength Worst Case Execution Time Analysis, ASTEC Report, vol.99, 1999.

J. Engblom, Processor Pipelines and and Static Worst- Case Execution Time Analysis, 2002.

. Lisper, Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, 2007.

C. Ferdinand, F. Martin, R. Wilhelm-]-r, J. Kirner, A. Knoop et al., Analysing Switch-Case Tables by Partial Evaluation WCET Analysis: The Annotation Language Challenge " , 7 th Workshop on WCET Analysis Performance Analysis of Embedded Software using Implicit Path Enumeration Workshop on Languages, Compilers, and Tools for Real-time Systems Modeling out-oforder processors for WCET analysis A method to improve the estimated worst-case performance of data caching Fast Instruction Cache Analysis via Static Cache Simulation Timing Predictions for Multi-Level Caches A Context-Parameterized Model for Static Analysis of Execution Times Worst case timing analysis of input dependent data cache behavior, Applying Compiler Techniques to Cache Behavior Prediction Int'l Conference on Real-Time Computing Systems and Applications (RTCSA) 28 th Annual Simulation Symposium Euromicro Conference on Real-Time Systems Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models, 1995.