Browse by Person
Up a levelArticle
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. ISSN 2296-9144
Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2021) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423
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
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.