Cache behavior prediction by abstract interpretation, Static Analysis Symposium, 1996. ,
DOI : 10.1007/3-540-61739-6_33
Improving the First-Miss Computation in Set-Associative Instruction Caches, 2008 Euromicro Conference on Real-Time Systems, 2008. ,
DOI : 10.1109/ECRTS.2008.34
Static Determination of Dynamic Properties of Programs, nd Int'l Symposium on Programming, 1976. ,
Data-Flow Based Detection of Loop Bounds, 2007. ,
Towards Industry-Strength Worst Case Execution Time Analysis, ASTEC Report, vol.99, 1999. ,
Processor Pipelines and and Static Worst- Case Execution Time Analysis, 2002. ,
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, 2007. ,
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. ,