| 2026 | SAC | Towards a Machine Learning Approach to Capturing Applications' Footprint on Complex Hardware. | Cdric Cazanove, Benjamin Lesage, Frdric Boniol, Sandrine Mouysset, Jrme Ermont |
| 2026 | SAFECOMP | Formal Target Aware Training of Machine Learning Models. | Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche, Claire Pagetti |
| 2025 | ISORC | Towards a validated core memory model through (MP)SoC events. | Alfonso Mascareas Gonzlez, Frdric Boniol, Benjamin Lesage, Claire Pagetti |
| 2023 | RTNS | Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. | Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate |
| 2023 | RTNS | Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. | Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate |
| 2022 | ISoLA | Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. | Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate |
| 2021 | SAFECOMP | SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. | Benjamin Lesage, Rob Alexander |
| 2020 | RTNS | Establishing Confidence and Understanding Uncertainty in Real-Time Systems. | Iain Bate, David Griffin, Benjamin Lesage |
| 2020 | RTNS | Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. | Stephen Law, Iain Bate, Benjamin Lesage |
| 2019 | ECRTS | Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. | Stephen Law, Iain Bate, Benjamin Lesage |
| 2018 | RTNS | TACO: An industrial case study of Test Automation for COverage. | Benjamin Lesage, Stephen Law, Iain Bate |
| 2017 | RTNS | Forecast-based interference: modelling multicore interference from observable factors. | David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis |
| 2015 | RTSS | Static Probabilistic Timing Analysis for Multi-path Programs. | Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis |
| 2015 | RTNS | Modelling fault dependencies when execution time budgets are exceeded. | David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis |
| 2015 | RTNS | A framework for the evaluation of measurement-based timing analyses. | Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis |
| 2014 | RTNS | Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. | David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis |
| 2014 | RTNS | Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. | David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis |
| 2012 | RTNS | PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. | Benjamin Lesage, Isabelle Puaut, Andr Seznec |
| 2011 | RTSS | Scalable Fixed-Point Free Instruction Cache Analysis. | Damien Hardy, Benjamin Lesage, Isabelle Puaut |
| 2009 | SYNASC | Formal Proof of Theorems on Genetic Regulatory Networks. | Maxime Dns, Benjamin Lesage, Yves Bertot, Adrien Richard |