Benjamin Lesage

31 papers A 2B 2C 1Misc 12Journal 9Unranked 4

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