1. Altmeyer, S., Maiza, C., Reineke, J., 2010. Resilience analysis: tightening the crpd bound for set-associative caches. In: LCTES’10: Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems. ACM, New York, NY, USA, pp. 153–162.
2. Burguière, C., Reineke, J., Altmeyer, S., 2009. Cache-related preemption delay computation for set-associative caches: pitfalls and solutions. In: Proceedings of the Workshop on WCET Analysis (WCET’09).
3. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints;Cousot,1977
4. Cache behavior prediction by abstract interpretation;Ferdinand;Science of Computer Programming,1999
5. Efficient worst case timing analysis of data caching;Kim,1996