| 2025 | RTAS | ConvolutionalFixedSum: Uniformly Generating Random Values with a Fixed Sum Subject to Arbitrary Constraints. | David Griffin, Robert I. Davis |
| 2024 | RTAS | Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. | Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis |
| 2022 | RTAS | Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. | Iain Bate, Alan Burns, Robert I. Davis |
| 2022 | RTCSA | On the Trade-offs between Generalization and Specialization in Real-Time Systems. | Georg von der Brggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke |
| 2021 | ECRTS | Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. | Robert I. Davis, David Griffin, Iain Bate |
| 2020 | RTSS | An Empirical Survey-based Study into Industry Practice in Real-time Systems. | Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis |
| 2020 | RTSS | Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. | Alan Burns, Robert I. Davis |
| 2020 | RTSS | Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. | David Griffin, Iain Bate, Robert I. Davis |
| 2019 | RTSS | Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept. | Piotr Dziurzanski, Robert I. Davis, Leandro Soares Indrusiak |
| 2019 | RTNS | Validating high level simulation results against experimental data and low level simulation: a case study. | David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak |
| 2018 | ECRTS | Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. | Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey |
| 2018 | RTAS | Mixed Criticality Systems with Varying Context Switch Costs. | Robert I. Davis, Sebastian Altmeyer, Alan Burns |
| 2018 | RTAS | FIFO with Offsets: High Schedulability with Low Overheads. | Mitra Nasri, Robert I. Davis, Bjrn B. Brandenburg |
| 2018 | RTCSA | AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. | Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin |
| 2017 | ECRTS | On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling. | Jian-Jia Chen, Georg von der Brggen, Wen-Hung Huang, Robert I. Davis |
| 2017 | RTSS | Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads. | Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar |
| 2017 | RTNS | Forecast-based interference: modelling multicore interference from observable factors. | David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis |
| 2017 | RTNS | Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling. | Dorin Maxim, Robert I. Davis, Liliana Cucu-Grosjean, Arvind Easwaran |
| 2017 | RTNS | Analysis and optimization of message acceptance filter configurations for controller area network (CAN). | Florian Plzlbauer, Robert I. Davis, Iain Bate |
| 2016 | RTNS | Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. | Robert I. Davis, Sebastian Altmeyer, Jan Reineke |
| 2016 | RTNS | A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility. | Florian Plzlbauer, Robert I. Davis, Iain Bate |
| 2016 | RTNS | Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. | Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer |
| 2015 | ECRTS | A Bailout Protocol for Mixed Criticality Systems. | Iain Bate, Alan Burns, Robert I. Davis |
| 2015 | RTSS | Quantifying the Exact Sub-optimality of Non-preemptive Scheduling. | Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat |
| 2015 | RTSS | Static Probabilistic Timing Analysis for Multi-path Programs. | Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis |
| 2015 | RTCSA | Overhead-Aware Schedulability Evaluation of Semi-Partitioned Real-Time Schedulers. | Pedro F. Souto, Paulo Baltarejo Sousa, Robert I. Davis, Konstantinos Bletsas, Eduardo Tovar |
| 2015 | RTNS | A generic and compositional framework for multicore response time analysis. | Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nlis, Jan Reineke |
| 2015 | RTNS | On priority assignment for controller area network when some message identifiers are fixed. | Robert I. Davis, Alan Burns, Victor Pollex, Frank Slomka |
| 2015 | RTNS | Mixed criticality systems with weakly-hard constraints. | Oliver Gettings, Sophie Quinton, Robert I. Davis |
| 2015 | RTNS | Modelling fault dependencies when execution time budgets are exceeded. | David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis |
| 2015 | RTNS | A framework for the evaluation of measurement-based timing analyses. | Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis |
| 2015 | RTNS | Multiprocessor fixed priority scheduling with limited preemptions. | Abhilash Thekkilakattil, Robert I. Davis, Radu Dobrin, Sasikumar Punnekkat, Marko Bertogna |
| 2014 | DATE | On the correctness, optimality and precision of Static Probabilistic Timing Analysis. | Sebastian Altmeyer, Robert I. Davis |
| 2014 | ECRTS | OUTSTANDING PAPER: Evaluation of Cache Partitioning for Hard Real-Time Systems. | Sebastian Altmeyer, Roeland Douma, Will Lunniss, Robert I. Davis |
| 2014 | RTSS | Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds. | Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam |
| 2014 | RTSS | Adaptive Mixed Criticality Scheduling with Deferred Preemption. | Alan Burns, Robert I. Davis |
| 2014 | RTAS | Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling. | Robert I. Davis, Timo Feld, Victor Pollex, Frank Slomka |
| 2014 | RTNS | Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting. | Yasmina Abdeddam, Youns Chandarli, Robert I. Davis, Damien Masson |
| 2014 | RTNS | Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. | David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis |
| 2014 | RTNS | Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. | David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis |
| 2014 | RTNS | Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling. | Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari, Robert I. Davis |
| 2013 | ECRTS | Mixed Criticality on Controller Area Network. | Alan Burns, Robert I. Davis |
| 2013 | ECRTS | Analysis of Probabilistic Cache Related Pre-emption Delays. | Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean |
| 2013 | RTSS | Limited Pre-emptive Global Fixed Task Priority. | Jos Marinho, Vincent Nlis, Stefan M. Petters, Marko Bertogna, Robert I. Davis |
| 2013 | RTAS | Integrating cache related pre-emption delay analysis into EDF scheduling. | Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis |
| 2013 | RTCSA | Global fixed priority scheduling with deferred pre-emption. | Robert I. Davis, Alan Burns, Jos Marinho, Vincent Nlis, Stefan M. Petters, Marko Bertogna |
| 2012 | RTSS | Optimal Fixed Priority Scheduling with Deferred Pre-emption. | Robert I. Davis, Marko Bertogna |
| 2012 | RTSS | Investigation of Scratchpad Memory for Preemptive Multitasking. | Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer, Claire Maiza |
| 2012 | RTNS | Optimising task layout to increase schedulability via reduced cache related pre-emption delays. | Will Lunniss, Sebastian Altmeyer, Robert I. Davis |
| 2012 | RTNS | Re-sampling for statistical timing analysis of real-time systems. | Dorin Maxim, Mike Houston, Luca Santinelli, Guillem Bernat, Robert I. Davis, Liliana Cucu-Grosjean |
| 2012 | WFCS | Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. | Robert I. Davis, Nicolas Navet |
| 2012 | WFCS | Controller Area Network (CAN): Response time analysis with offsets. | Patrick Meumeu Yomsi, Dominique Bertrand, Nicolas Navet, Robert I. Davis |
| 2011 | ECRTS | Controller Area Network (CAN) Schedulability Analysis with FIFO Queues. | Robert I. Davis, Steffen Kollmann, Victor Pollex, Frank Slomka |
| 2011 | ETFA | Schedulability analysis of CAN with non-abortable transmission requests. | Dawood Ashraf Khan, Robert I. Davis, Nicolas Navet |
| 2011 | RTSS | Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems. | Sebastian Altmeyer, Robert I. Davis, Claire Maiza |
| 2011 | RTSS | Response-Time Analysis for Mixed Criticality Systems. | Sanjoy K. Baruah, Alan Burns, Robert I. Davis |
| 2011 | RTAS | FPZL Schedulability Analysis. | Robert I. Davis, Alan Burns |
| 2011 | RTAS | IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems. | Marco Paolieri, Eduardo Quiones, Francisco J. Cazorla, Robert I. Davis, Mateo Valero |
| 2011 | RTNS | Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems. | Dorin Maxim, Olivier Buffet, Luca Santinelli, Liliana Cucu-Grosjean, Robert I. Davis |
| 2009 | RTSS | Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. | Robert I. Davis, Alan Burns |
| 2008 | RTSS | Response Time Upper Bounds for Fixed Priority Real-Time Systems. | Robert I. Davis, Alan Burns |
| 2007 | RTSS | Robust Priority Assignment for Fixed Priority Real-Time Systems. | Robert I. Davis, Alan Burns |
| 2006 | RTSS | Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. | Robert I. Davis, Alan Burns |
| 2005 | RTSS | Hierarchical Fixed Priority Pre-Emptive Scheduling. | Robert I. Davis, Alan Burns |
| 1997 | ECRTS | Guaranteeing timing constraints under shortest remaining processing time scheduling. | Robert I. Davis, Alan Burns, W. M. Walker |
| 1996 | ECRTS | Feasibility Analysis of Fault-Tolerant Real-Time Task Sets. | Alan Burns, Robert I. Davis, Sasikumar Punnekkat |
| 1995 | ECRTS | Hybrid algorithms for dynamic schedulability testing. | Charlie McElhone, Alan Burns, Robert I. Davis |
| 1995 | RTSS | Dual Priority Scheduling. | Robert I. Davis, Andy J. Wellings |
| 1995 | RTAS | Flexible scheduling for adaptable real-time systems. | Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns |
| 1994 | RTSS | Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. | Neil C. Audsley, Robert I. Davis, Alan Burns |
| 1993 | RTSS | Scheduling slack time in fixed priority pre-emptive systems. | Robert I. Davis, Ken Tindell, Alan Burns |