Speculative Execution and Timing Predictability in an Open Source RISC-V Core. - Alban Gruin; Thomas Carle; Hugues Cassé; Christine Rochange (RTSS, 2021)

Enabling timing predictability in the presence of store buffers. - Alban Gruin; Thomas Carle; Christine Rochange; Pascal Sainrat (RTNS, 2023)

Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. - Alban Gruin; Thomas Carle; Christine Rochange; Pascal Sainrat (WCET, 2023)

MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution. - Alban Gruin; Thomas Carle; Christine Rochange; Hugues Cassé; Pascal Sainrat (IEEE Trans. Computers, 2023)

Modelling and proving the monotonicity of processor pipelines in Coq. - Alban Gruin; Armelle Bonenfant; Thomas Carle; Christine Rochange (MEMOCODE, 2024)

Efficient, predictable, and composable core for time-critical systems. (Cœur de calcul efficace, prédictible et composable pour les systèmes temps-réel critiques). - Alban Gruin (2024)