Robert I. Davis

ORCID

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 42

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Robert I. Davis, David Griffin, Iain Bate
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. ECRTS (2021)
Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis
An Empirical Survey-based Study into Industry Practice in Real-time Systems. RTSS (2020)
Alan Burns, Robert I. Davis
Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. RTSS (2020)
David Griffin, Iain Bate, Robert I. Davis
Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. RTSS (2020)
Robert I. Davis
Guest editorial: Special Issue on Predictable multi-core systems. Real Time Syst. 56 (2) (2020)
James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin
The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Trans. Cyber Phys. Syst. 4 (2) (2020)
Piotr Dziurzanski, Robert I. Davis, Leandro Soares Indrusiak
Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept. RTSS (2019)
Claire Maiza, Hamza Rihani, Juan Maria Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv. 52 (3) (2019)
David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak
Validating high level simulation results against experimental data and low level simulation: a case study. RTNS (2019)
Leandro Soares Indrusiak, Robert I. Davis, Piotr Dziurzanski
Evolutionary Optimisation of Real-Time Systems and Networks. CoRR (2019)
Robert I. Davis, Liliana Cucu-Grosjean
A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Robert I. Davis, Liliana Cucu-Grosjean
A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Alan Burns, Robert I. Davis
A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv. 50 (6) (2018)
Robert I. Davis, Sebastian Altmeyer, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
An extensible framework for multicore response time analysis. Real Time Syst. 54 (3) (2018)
Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin
AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. RTCSA (2018)
Mitra Nasri, Robert I. Davis, Björn B. Brandenburg
FIFO with Offsets: High Schedulability with Low Overheads. RTAS (2018)
Robert I. Davis, Sebastian Altmeyer, Alan Burns
Mixed Criticality Systems with Varying Context Switch Costs. RTAS (2018)
Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. ECRTS (2018)
Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat, Jian-Jia Chen
Exact speedup factors and sub-optimality for non-preemptive scheduling. Real Time Syst. 54 (1) (2018)
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real Time Syst. 54 (2) (2018)
Alan Burns, Robert I. Davis, Sanjoy K. Baruah, Iain Bate
Robust Mixed-Criticality Systems. IEEE Trans. Computers 67 (10) (2018)
Robert I. Davis, Sebastian Altmeyer, Jan Reineke
Response-time analysis for fixed-priority systems with a write-back cache. Real Time Syst. 54 (4) (2018)
Timo Feld, Alessandro Biondi, Robert I. Davis, Giorgio C. Buttazzo, Frank Slomka
A survey of schedulability analysis techniques for rate-dependent tasks. J. Syst. Softw. 138 (2018)
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
Forecast-based interference: modelling multicore interference from observable factors. RTNS (2017)
Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Real Time Syst. 53 (4) (2017)
Dorin Maxim, Robert I. Davis, Liliana Cucu-Grosjean, Arvind Easwaran
Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling. RTNS (2017)
Robert I. Davis
Guest editorial: special issue on mixed-criticality, multi-core, and micro-kernels. Real Time Syst. 53 (5) (2017)
Jian-Jia Chen, Georg von der Brüggen, Wen-Hung Huang, Robert I. Davis
On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling. ECRTS (2017)
Georg von der Brüggen, Jian-Jia Chen, Robert I. Davis, Wen-Hung Huang
Exact speedup factors for linear-time schedulability tests for fixed-priority preemptive and non-preemptive scheduling. Inf. Process. Lett. 117 (2017)
Alessandra Melani, Marko Bertogna, Robert I. Davis, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Giorgio C. Buttazzo
Exact Response Time Analysis for Fixed Priority Memory-Processor Co-Scheduling. IEEE Trans. Computers 66 (4) (2017)
Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar
Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads. RTSS (2017)
Florian Pölzlbauer, Robert I. Davis, Iain Bate
Analysis and optimization of message acceptance filter configurations for controller area network (CAN). RTNS (2017)
Liliana Cucu-Grosjean, Robert I. Davis, Sanjoy K. Baruah, Zoë Stephenson
Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131). Dagstuhl Reports 7 (3) (2017)
Iain Bate, Alan Burns, Robert I. Davis
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Trans. Software Eng. 43 (4) (2017)
Florian Pölzlbauer, Robert I. Davis, Iain Bate
A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility. RTNS (2016)
Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson
Response time analysis for fixed priority real-time systems with energy-harvesting. Real Time Syst. 52 (2) (2016)
Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari, Robert I. Davis
Cache related pre-emption delays in hierarchical scheduling. Real Time Syst. 52 (2) (2016)
Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, Alan Burns
A review of priority assignment in real-time systems. J. Syst. Archit. 65 (2016)
Robert I. Davis, Sebastian Altmeyer, Jan Reineke
Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. RTNS (2016)
Sebastian Altmeyer, Roeland Douma, Will Lunniss, Robert I. Davis
On the effectiveness of cache partitioning in hard real-time systems. Real Time Syst. 52 (5) (2016)
Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. RTNS (2016)
Robert I. Davis, Marko Bertogna, Vincenzo Bonifaci
On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm. Real Time Syst. 52 (1) (2016)
Robert I. Davis, Alan Burns, Sanjoy K. Baruah, Thomas Rothvoß, Laurent George, Oliver Gettings
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Real Time Syst. 51 (5) (2015)
Pedro F. Souto, Paulo Baltarejo Sousa, Robert I. Davis, Konstantinos Bletsas, Eduardo Tovar
Overhead-Aware Schedulability Evaluation of Semi-Partitioned Real-Time Schedulers. RTCSA (2015)
Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis
A framework for the evaluation of measurement-based timing analyses. RTNS (2015)
Iain Bate, Alan Burns, Robert I. Davis
A Bailout Protocol for Mixed Criticality Systems. ECRTS (2015)
Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
A generic and compositional framework for multicore response time analysis. RTNS (2015)
Oliver Gettings, Sophie Quinton, Robert I. Davis
Mixed criticality systems with weakly-hard constraints. RTNS (2015)
Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna
Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption. ACM Trans. Embed. Comput. Syst. 14 (3) (2015)
Robert I. Davis, Alan Burns, Victor Pollex, Frank Slomka
On priority assignment for controller area network when some message identifiers are fixed. RTNS (2015)
Abhilash Thekkilakattil, Robert I. Davis, Radu Dobrin, Sasikumar Punnekkat, Marko Bertogna
Multiprocessor fixed priority scheduling with limited preemptions. RTNS (2015)
Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis
Static probabilistic timing analysis for real-time systems using random replacement caches. Real Time Syst. 51 (1) (2015)
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
Modelling fault dependencies when execution time budgets are exceeded. RTNS (2015)
Sanjoy K. Baruah, Liliana Cucu-Grosjean, Robert I. Davis, Claire Maiza
Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121). Dagstuhl Reports 5 (3) (2015)
Robert I. Davis, Emmanuel Grolleau
Special issue on scheduling and timing analysis for advanced real-time systems. Real Time Syst. 51 (2) (2015)
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis
Static Probabilistic Timing Analysis for Multi-path Programs. RTSS (2015)
Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat
Quantifying the Exact Sub-optimality of Non-preemptive Scheduling. RTSS (2015)
Jack Whitham, Neil C. Audsley, Robert I. Davis
Explicit reservation of cache memory in a predictable, preemptive multitasking real-time system. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Alan Burns, Robert I. Davis
Adaptive Mixed Criticality Scheduling with Deferred Preemption. RTSS (2014)
Sebastian Altmeyer, Roeland Douma, Will Lunniss, Robert I. Davis
OUTSTANDING PAPER: Evaluation of Cache Partitioning for Hard Real-Time Systems. ECRTS (2014)
Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari, Robert I. Davis
Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling. RTNS (2014)
David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. RTNS (2014)
Will Lunniss, Sebastian Altmeyer, Robert I. Davis
A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays. Leibniz Trans. Embed. Syst. 1 (1) (2014)
Robert I. Davis, Timo Feld, Victor Pollex, Frank Slomka
Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling. RTAS (2014)
Sebastian Altmeyer, Robert I. Davis
On the correctness, optimality and precision of Static Probabilistic Timing Analysis. DATE (2014)
David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. RTNS (2014)
Robert I. Davis
A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems. SIGBED Rev. 11 (1) (2014)
Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam
Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds. RTSS (2014)
Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson
Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting. RTNS (2014)
Robert I. Davis, Alan Burns, José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna
Global fixed priority scheduling with deferred pre-emption. RTCSA (2013)
Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean
Analysis of Probabilistic Cache Related Pre-emption Delays. ECRTS (2013)
Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis
Integrating cache related pre-emption delay analysis into EDF scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Robert I. Davis, Steffen Kollmann, Victor Pollex, Frank Slomka
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways. Real Time Syst. 49 (1) (2013)
José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert I. Davis
Limited Pre-emptive Global Fixed Task Priority. RTSS (2013)
Alan Burns, Robert I. Davis
Mixed Criticality on Controller Area Network. ECRTS (2013)
Will Lunniss, Sebastian Altmeyer, Robert I. Davis
Optimising task layout to increase schedulability via reduced cache related pre-emption delays. RTNS (2012)
Robert I. Davis, Nicolas Navet
Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. WFCS (2012)
Patrick Meumeu Yomsi, Dominique Bertrand, Nicolas Navet, Robert I. Davis
Controller Area Network (CAN): Response time analysis with offsets. WFCS (2012)
Sebastian Altmeyer, Robert I. Davis, Claire Maiza
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Real Time Syst. 48 (5) (2012)
Robert I. Davis, Nicolas Navet
Traffic shaping to reduce jitter in controller area network (CAN). SIGBED Rev. 9 (4) (2012)
Dorin Maxim, Mike Houston, Luca Santinelli, Guillem Bernat, Robert I. Davis, Liliana Cucu-Grosjean
Re-sampling for statistical timing analysis of real-time systems. RTNS (2012)
Alan Burns, Robert I. Davis, P. Wang, Fengxiang Zhang
Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme. Real Time Syst. 48 (1) (2012)
Robert I. Davis, Shinpei Kato
FPSL, FPCL and FPZL schedulability analysis. Real Time Syst. 48 (6) (2012)
Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer, Claire Maiza
Investigation of Scratchpad Memory for Preemptive Multitasking. RTSS (2012)
Robert I. Davis, Marko Bertogna
Optimal Fixed Priority Scheduling with Deferred Pre-emption. RTSS (2012)
Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Robert I. Davis, Mateo Valero
IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Dorin Maxim, Olivier Buffet, Luca Santinelli, Liliana Cucu-Grosjean, Robert I. Davis
Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems. RTNS (2011)
Robert I. Davis, Alan Burns
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real Time Syst. 47 (1) (2011)
Sebastian Altmeyer, Robert I. Davis, Claire Maiza
Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems. RTSS (2011)
Robert I. Davis, Alan Burns
A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43 (4) (2011)
Dawood Ashraf Khan, Robert I. Davis, Nicolas Navet
Schedulability analysis of CAN with non-abortable transmission requests. ETFA (2011)
Robert I. Davis, Steffen Kollmann, Victor Pollex, Frank Slomka
Controller Area Network (CAN) Schedulability Analysis with FIFO Queues. ECRTS (2011)
Robert I. Davis, Alan Burns
FPZL Schedulability Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Sanjoy K. Baruah, Alan Burns, Robert I. Davis
Response-Time Analysis for Mixed Criticality Systems. RTSS (2011)
Robert I. Davis, Alan Burns
Robust priority assignment for messages on Controller Area Network (CAN). Real Time Syst. 41 (2) (2009)
Robert I. Davis, Alan Burns
Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. RTSS (2009)
Robert I. Davis, Thomas Rothvoß, Sanjoy K. Baruah, Alan Burns
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. Real Time Syst. 43 (3) (2009)
Robert I. Davis, A. Zabos, Alan Burns
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. IEEE Trans. Computers 57 (9) (2008)
Robert I. Davis, Alan Burns
Response Time Upper Bounds for Fixed Priority Real-Time Systems. RTSS (2008)
Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real Time Syst. 35 (3) (2007)

Robert I. Davis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert I. Davis