Items where authors include "Lesage, Benjamin Michael Jean-Rene"

Article

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2022) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Douthwaite, James A., Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (4 more authors) (2021) A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers in Robotics and AI. 758099. ISSN 2296-9144

Lesage, Benjamin Michael Jean-Rene, Griffin, David Jack orcid.org/0000-0002-4077-0005, Altmeyer, Sebastian et al. (2 more authors) (2018) On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Systems. pp. 307-388. ISSN 1573-1383

Proceedings Paper

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Lesage, Benjamin Michael Jean-Rene et al. (1 more author) (2023) Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. In: Proceedings of the 31st International Conference on Real-Time Networks and Systems. UNSPECIFIED. , pp. 177-187.

Lesage, Benjamin Michael Jean-Rene, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai et al. (1 more author) (2023) Reducing Loss of Service for Mixed-Criticality Systems through Cache-and Stress-Aware Scheduling. In: Proceedings of the 31st International Conference on Real-Time Networks and Systems. UNSPECIFIED. , pp. 188-199.

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai, Lesage, Benjamin Michael Jean-Rene et al. (1 more author) (2022) Using digital twins in the development of complex dependable real-time embedded systems. In: International Symposium on Leveraging Applications of Formal Methods:. Leveraging Applications of Formal Methods, Verification and Validation. Practice, 22-30 Oct 2022. Lecture Notes in Computer Science (LNCS) . Springer , GRC , pp. 37-53.

Lesage, Benjamin Michael Jean-Rene and Alexander, Rob orcid.org/0000-0003-3818-0310 (2021) SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems. In: Proceedings of SafeComp 2021. UNSPECIFIED. Lecture Notes in Computer Science . , pp. 195-209.

Law, Stephen Andrew, Bate, Iain John orcid.org/0000-0003-2415-8219 and Lesage, Benjamin Michael Jean-Rene (2019) Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. In: Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). UNSPECIFIED. .

Lesage, Benjamin Michael Jean-Rene, Law, Stephen Andrew and Bate, Iain John orcid.org/0000-0003-2415-8219 (2018) TACO::An industrial case study of Test Automation for COverage. In: Proceedings of the 26th International Conference on Real-Time Networks and Systems. 26th International Conference on Real-Time Networks and Systems, 10-12 Oct 2018. RTNS'18 . ACM , FRA , pp. 114-124.

Griffin, David Jack orcid.org/0000-0002-4077-0005, Lesage, Benjamin Michael Jean-Rene, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (2 more authors) (2017) Forecast-Based Interference:Modelling Multicore Interference from Observable Factors. In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 198-207.