Formal Proof of Theorems on Genetic Regulatory Networks. - Maxime Dénès; Benjamin Lesage; Yves Bertot; Adrien Richard (SYNASC, 2009)

WCET Analysis of Multi-Level Set-Associative Data Caches. - Benjamin Lesage; Damien Hardy; Isabelle Puaut (WCET, 2009)

Scalable Fixed-Point Free Instruction Cache Analysis. - Damien Hardy; Benjamin Lesage; Isabelle Puaut (RTSS, 2011)

PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. - Benjamin Lesage; Isabelle Puaut; André Seznec (RTNS, 2012)

Architecture multi-coeurs et temps d'exécution au pire cas. (Multicore architectures and worst-case execution time). - Benjamin Lesage (2013)

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. - David Griffin 002; Benjamin Lesage; Alan Burns 001; Robert I. Davis 001 (RTNS, 2014)

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. - David Griffin 002; Benjamin Lesage; Alan Burns 001; Robert I. Davis 001 (RTNS, 2014)

Modelling fault dependencies when execution time budgets are exceeded. - David Griffin 002; Benjamin Lesage; Iain Bate; Frank Soboczenski; Robert I. Davis 001 (RTNS, 2015)

A framework for the evaluation of measurement-based timing analyses. - Benjamin Lesage; David Griffin 002; Frank Soboczenski; Iain Bate; Robert I. Davis 001 (RTNS, 2015)

Static Probabilistic Timing Analysis for Multi-path Programs. - Benjamin Lesage; David Griffin 002; Sebastian Altmeyer; Robert I. Davis 001 (RTSS, 2015)

Exploring and Understanding Multicore Interference from Observable Factors. - Benjamin Lesage; David Griffin 002; Iain Bate; Frank Soboczenski (Automotive - Safety & Security, 2017)

Forecast-based interference: modelling multicore interference from observable factors. - David Griffin 002; Benjamin Lesage; Iain Bate; Frank Soboczenski; Robert I. Davis 001 (RTNS, 2017)

TACO: An industrial case study of Test Automation for COverage. - Benjamin Lesage; Stephen Law; Iain Bate (RTNS, 2018)

On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. - Benjamin Lesage; David Griffin 002; Sebastian Altmeyer; Liliana Cucu-Grosjean; Robert I. Davis 001 (Real Time Syst., 2018)

Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. - Stephen Law; Iain Bate; Benjamin Lesage (ECRTS, 2019)

Establishing Confidence and Understanding Uncertainty in Real-Time Systems. - Iain Bate; David Griffin 002; Benjamin Lesage (RTNS, 2020)

Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. - Stephen Law; Iain Bate; Benjamin Lesage (RTNS, 2020)

SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. - Benjamin Lesage; Rob Alexander (SAFECOMP, 2021)

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. - James A. Douthwaite; Benjamin Lesage; Mario Gleirscher; Radu Calinescu; Jonathan M. Aitken; Rob Alexander; James Law (Frontiers Robotics AI, 2021)

Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. - Xiaotian Dai 001; Shuai Zhao 004; Benjamin Lesage; Iain Bate (ISoLA (4), 2022)

Verified synthesis of optimal safety controllers for human-robot collaboration. - Mario Gleirscher; Radu Calinescu; James A. Douthwaite; Benjamin Lesage; Colin Paterson; Jonathan M. Aitken; Rob Alexander; James Law (Sci. Comput. Program., 2022)

Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. - Shuai Zhao 004; Xiaotian Dai 001; Benjamin Lesage; Iain Bate (RTNS, 2023)

Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. - Benjamin Lesage; Xiaotian Dai 001; Shuai Zhao 004; Iain Bate (RTNS, 2023)

Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters. - Cédric Cazanove; Benjamin Lesage; Frédéric Boniol; Jérôme Ermont (WCET, 2024)

Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. - Benjamin Lesage; Frédéric Boniol; Kevin Delmas; Adrien Gauffriau; Alfonso Mascareñas González; Claire Pagetti (CoRR, 2024)

COOK Access Control on an embedded Volta GPU. - Benjamin Lesage; Frédéric Boniol; Claire Pagetti (CoRR, 2024)

Challenges of neural network accelerators for aeronautics - position paper. - Benjamin Lesage; Adrien Gauffriau; Claire Pagetti; Nicolas Valot (Real Time Syst., 2025)