@InProceedings{wilhelm_et_al:OASIcs.WCET.2010.36,
author = {Wilhelm, Stephan and Cullmann, Christoph},
title = {{Integrating Abstract Caches with Symbolic Pipeline Analysis}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {36--43},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.36},
URN = {urn:nbn:de:0030-drops-28235},
doi = {10.4230/OASIcs.WCET.2010.36},
annote = {Keywords: WCET analysis, cache analysis, pipeline analysis}
}