@conference{10902/20198,
year = {2015},
month = {11},
url = {http://hdl.handle.net/10902/20198},
abstract = {In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking tehcniques.},
organization = {Author gratefully acknowledges the funding from projects TEC2011-28666-C04-02, TEC2014-58036-C4-3-R and grant BES-2012-055572, awarded by the Spanish Ministry of Economy and Competitivity.},
publisher = {Open Publishing Association},
publisher = {Electronic Proceedings in Theoretical Computer Science, 2015, 196, 37-45},
publisher = {1st Workshop on Models for Formal Analysis of Real Systems (MARS), Suva, Fiji, 2015},
title = {Timed automata for modelling caches and pipelines},
author = {Cassez, Franck and González de Aledo Marugán, Pablo},
}