Benjamin Lesage

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Benjamin Lesage, Frédéric Boniol, Claire Pagetti
COOK Access Control on an embedded Volta GPU. CoRR (2024)
Cédric Cazanove, Benjamin Lesage, Frédéric Boniol, Jérôme Ermont
Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters. WCET (2024)
Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR (2024)
Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate
Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. RTNS (2023)
Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate
Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. RTNS (2023)
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218 (2022)
Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. ISoLA (4) (2022)
James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI 8 (2021)
Benjamin Lesage, Rob Alexander
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. SAFECOMP (2021)
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR (2021)
Stephen Law, Iain Bate, Benjamin Lesage
Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. RTNS (2020)
Iain Bate, David Griffin, Benjamin Lesage
Establishing Confidence and Understanding Uncertainty in Real-Time Systems. RTNS (2020)
Stephen Law, Iain Bate, Benjamin Lesage
Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. ECRTS (2019)
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real Time Syst. 54 (2) (2018)
Benjamin Lesage, Stephen Law, Iain Bate
TACO: An industrial case study of Test Automation for COverage. RTNS (2018)
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
Forecast-based interference: modelling multicore interference from observable factors. RTNS (2017)
Benjamin Lesage, David Griffin, Iain Bate, Frank Soboczenski
Exploring and Understanding Multicore Interference from Observable Factors. Automotive - Safety & Security (2017)
Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis
A framework for the evaluation of measurement-based timing analyses. RTNS (2015)
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
Modelling fault dependencies when execution time budgets are exceeded. RTNS (2015)
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis
Static Probabilistic Timing Analysis for Multi-path Programs. RTSS (2015)
David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. RTNS (2014)
David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. RTNS (2014)
Benjamin Lesage, Isabelle Puaut, André Seznec
PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. RTNS (2012)
Damien Hardy, Benjamin Lesage, Isabelle Puaut
Scalable Fixed-Point Free Instruction Cache Analysis. RTSS (2011)
Benjamin Lesage, Damien Hardy, Isabelle Puaut
WCET Analysis of Multi-Level Set-Associative Data Caches. WCET (2009)
Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard
Formal Proof of Theorems on Genetic Regulatory Networks. SYNASC (2009)

Benjamin Lesage.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benjamin Lesage