@InProceedings{mancuso_et_al:LIPIcs.ECRTS.2019.17,
author = {Mancuso, Renato and Yun, Heechul and Puaut, Isabelle},
title = {{Impact of DM-LRU on WCET: A Static Analysis Approach}},
booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)},
pages = {17:1--17:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-110-8},
ISSN = {1868-8969},
year = {2019},
volume = {133},
editor = {Quinton, Sophie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.17},
URN = {urn:nbn:de:0030-drops-107546},
doi = {10.4230/LIPIcs.ECRTS.2019.17},
annote = {Keywords: real-time, static cache analysis, abstract interpretation, LRU, deterministic memory, static cache locking, dynamic cache locking, cache profiling, WCET analysis}
}