13 citations · 35 across the 16 of their papers we have counts for
1 paper · 1 filter
Franck Cassez, Pablo González de Aledo Marugán
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 mod…