Verification of Processors Timing Models Using Cycle-Accurate Timing Simulators.
Alban Gruin, Thomas Carle, Christine Rochange, and Pascal Sainrat
Workshop on WCET Analysis, July 2023
PDF
Enabling timing predictability in the presence of store buffers.
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
International Conference on Real-Time Networks and Systems (RTNS), Jun 2023
PDF