Benjamin Lesage

According to our database, Benjamin Lesage authored at least 26 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

COOK Access Control on an embedded Volta GPU.

Benjamin Lesage, Frédéric Boniol, Claire Pagetti

CoRR, 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

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

Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis, 2024

2023

Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling.

Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency.

Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

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

Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems.

Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

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

SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems.

Benjamin Lesage, Rob Alexander

Proceedings of the Computer Safety, Reliability, and Security, 2021

2020

Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System.

Stephen Law, Iain Bate, Benjamin Lesage

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Establishing Confidence and Understanding Uncertainty in Real-Time Systems.

Iain Bate, David Griffin, Benjamin Lesage

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

2019

Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems.

Stephen Law, Iain Bate, Benjamin Lesage

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs.

Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis

Real Time Syst., 2018

TACO: An industrial case study of Test Automation for COverage.

Benjamin Lesage, Stephen Law, Iain Bate

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

2017

Forecast-based interference: modelling multicore interference from observable factors.

David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Exploring and Understanding Multicore Interference from Observable Factors.

Benjamin Lesage, David Griffin, Iain Bate, Frank Soboczenski

Proceedings of the Automotive - Safety & Security 2017, 2017

2015

Static Probabilistic Timing Analysis for Multi-path Programs.

Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

A framework for the evaluation of measurement-based timing analyses.

Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Modelling fault dependencies when execution time budgets are exceeded.

David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

2014

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression.

David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches.

David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

2013

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

Benjamin Lesage

PhD thesis, 2013

2012

PRETI: partitioned real-time shared cache for mixed-criticality real-time systems.

Benjamin Lesage, Isabelle Puaut, André Seznec

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

2011

Scalable Fixed-Point Free Instruction Cache Analysis.

Damien Hardy, Benjamin Lesage, Isabelle Puaut

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

2009

WCET Analysis of Multi-Level Set-Associative Data Caches.

Benjamin Lesage, Damien Hardy, Isabelle Puaut

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Formal Proof of Theorems on Genetic Regulatory Networks.

Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009