Ascertaining Uncertainty for Efficient Exact Cache Analysis. - Valentin Touzeau; Claire Maïza; David Monniaux; Jan Reineke 001 (CAV (2), 2017)

Model Checking of Cache for WCET Analysis Refinement. - Valentin Touzeau; Claire Maïza; David Monniaux (CoRR, 2017)

On the Complexity of Cache Analysis for Different Replacement Policies. - David Monniaux; Valentin Touzeau (J. ACM, 2019)

Fast and exact analysis for LRU caches. - Valentin Touzeau; Claire Maïza; David Monniaux; Jan Reineke 001 (Proc. ACM Program. Lang., 2019)

Static analysis of least recently used caches: complexity, optimal analysis, and applications to worst-case execution time and security. (Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité). - Valentin Touzeau (2019)

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. - Valentin Touzeau; Jan Reineke 001 (RTSS, 2023)