Robert I. Davis

Orcid: 0000-0002-5772-0928

Affiliations:
  • University of York, United Kingdom


According to our database1, Robert I. Davis authored at least 128 papers between 1993 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Optimal Synthesis of Robust IDK Classifier Cascades.
ACM Trans. Embed. Comput. Syst., October, 2023

Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification.
Real Time Syst., September, 2023

Optimally ordering IDK classifiers subject to deadlines.
Real Time Syst., March, 2023

Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

2022
A framework for multi-core schedulability analysis accounting for resource stress and sensitivity.
Real Time Syst., 2022

A comprehensive survey of industry practice in real-time systems.
Real Time Syst., 2022

Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Compensating Adaptive Mixed Criticality Scheduling.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

On the Trade-offs between Generalization and Specialization in Real-Time Systems.
Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Probabilistic Analysis.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity.
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

2020
The AirTight Protocol for Mixed Criticality Wireless CPS.
ACM Trans. Cyber Phys. Syst., 2020

Guest editorial: Special Issue on Predictable multi-core systems.
Real Time Syst., 2020

Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

An Empirical Survey-based Study into Industry Practice in Real-time Systems.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

2019
A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems.
Leibniz Trans. Embed. Syst., 2019

A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems.
Leibniz Trans. Embed. Syst., 2019

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.
ACM Comput. Surv., 2019

Evolutionary Optimisation of Real-Time Systems and Networks.
CoRR, 2019

Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Validating high level simulation results against experimental data and low level simulation: a case study.
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

2018
Robust Mixed-Criticality Systems.
IEEE Trans. Computers, 2018

On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs.
Real Time Syst., 2018

Exact speedup factors and sub-optimality for non-preemptive scheduling.
Real Time Syst., 2018

Response-time analysis for fixed-priority systems with a write-back cache.
Real Time Syst., 2018

An extensible framework for multicore response time analysis.
Real Time Syst., 2018

A survey of schedulability analysis techniques for rate-dependent tasks.
J. Syst. Softw., 2018

A Survey of Research into Mixed Criticality Systems.
ACM Comput. Surv., 2018

AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

FIFO with Offsets: High Schedulability with Low Overheads.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Mixed Criticality Systems with Varying Context Switch Costs.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2017
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software.
IEEE Trans. Software Eng., 2017

Exact Response Time Analysis for Fixed Priority Memory-Processor Co-Scheduling.
IEEE Trans. Computers, 2017

Guest editorial: special issue on mixed-criticality, multi-core, and micro-kernels.
Real Time Syst., 2017

Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation.
Real Time Syst., 2017

Exact speedup factors for linear-time schedulability tests for fixed-priority preemptive and non-preemptive scheduling.
Inf. Process. Lett., 2017

Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131).
Dagstuhl Reports, 2017

Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Analysis and optimization of message acceptance filter configurations for controller area network (CAN).
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Forecast-based interference: modelling multicore interference from observable factors.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2016
Cache related pre-emption delays in hierarchical scheduling.
Real Time Syst., 2016

On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm.
Real Time Syst., 2016

On the effectiveness of cache partitioning in hard real-time systems.
Real Time Syst., 2016

Response time analysis for fixed priority real-time systems with energy-harvesting.
Real Time Syst., 2016

A review of priority assignment in real-time systems.
J. Syst. Archit., 2016

Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

2015
Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption.
ACM Trans. Embed. Comput. Syst., 2015

Special issue on scheduling and timing analysis for advanced real-time systems.
Real Time Syst., 2015

Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms.
Real Time Syst., 2015

Static probabilistic timing analysis for real-time systems using random replacement caches.
Real Time Syst., 2015

Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121).
Dagstuhl Reports, 2015

Static Probabilistic Timing Analysis for Multi-path Programs.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Quantifying the Exact Sub-optimality of Non-preemptive Scheduling.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Multiprocessor fixed priority scheduling with limited preemptions.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

A framework for the evaluation of measurement-based timing analyses.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Modelling fault dependencies when execution time budgets are exceeded.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Mixed criticality systems with weakly-hard constraints.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

On priority assignment for controller area network when some message identifiers are fixed.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

A generic and compositional framework for multicore response time analysis.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Overhead-Aware Schedulability Evaluation of Semi-Partitioned Real-Time Schedulers.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

A Bailout Protocol for Mixed Criticality Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014
Explicit reservation of cache memory in a predictable, preemptive multitasking real-time system.
ACM Trans. Embed. Comput. Syst., 2014

A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems.
SIGBED Rev., 2014

A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays.
Leibniz Trans. Embed. Syst., 2014

Adaptive Mixed Criticality Scheduling with Deferred Preemption.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

Schedulability tests for tasks with Variable Rate-dependent Behaviour under fixed priority scheduling.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

OUTSTANDING PAPER: Evaluation of Cache Partitioning for Hard Real-Time Systems.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

On the correctness, optimality and precision of Static Probabilistic Timing Analysis.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways.
Real Time Syst., 2013

Limited Pre-emptive Global Fixed Task Priority.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Global fixed priority scheduling with deferred pre-emption.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Integrating cache related pre-emption delay analysis into EDF scheduling.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Analysis of Probabilistic Cache Related Pre-emption Delays.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Mixed Criticality on Controller Area Network.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012
Traffic shaping to reduce jitter in controller area network (CAN).
SIGBED Rev., 2012

FPSL, FPCL and FPZL schedulability analysis.
Real Time Syst., 2012

Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme.
Real Time Syst., 2012

Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems.
Real Time Syst., 2012

Controller Area Network (CAN): Response time analysis with offsets.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Investigation of Scratchpad Memory for Preemptive Multitasking.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Optimal Fixed Priority Scheduling with Deferred Pre-emption.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Re-sampling for statistical timing analysis of real-time systems.
Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

Optimising task layout to increase schedulability via reduced cache related pre-emption delays.
Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

2011
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems.
Real Time Syst., 2011

A survey of hard real-time scheduling for multiprocessor systems.
ACM Comput. Surv., 2011

Response-Time Analysis for Mixed Criticality Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

FPZL Schedulability Analysis.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Schedulability analysis of CAN with non-abortable transmission requests.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Controller Area Network (CAN) Schedulability Analysis with FIFO Queues.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2009
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling.
Real Time Syst., 2009

Robust priority assignment for messages on Controller Area Network (CAN).
Real Time Syst., 2009

Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

2008
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems.
IEEE Trans. Computers, 2008

Response Time Upper Bounds for Fixed Priority Real-Time Systems.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.
Real Time Syst., 2007

Robust Priority Assignment for Fixed Priority Real-Time Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

2006
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

2005
Hierarchical Fixed Priority Pre-Emptive Scheduling.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

2001
Analysis of Checkpointing for Real-Time Systems.
Real Time Syst., 2001

1997
Guaranteeing timing constraints under shortest remaining processing time scheduling.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Sensitivity Analysis of Real-Time Task Sets.
Proceedings of the Advances in Computing Science, 1997

1996
Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems.
Inf. Process. Lett., 1996

Integrating optional software components into hard real-time systems.
Softw. Eng. J., 1996

Feasibility Analysis of Fault-Tolerant Real-Time Task Sets.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
On exploiting spare capacity in hard real-time systems.
PhD thesis, 1995

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.
Real Time Syst., 1995

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-Emptive Systems.
Inf. Process. Lett., 1995

Dual Priority Scheduling.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Flexible scheduling for adaptable real-time systems.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

Hybrid algorithms for dynamic schedulability testing.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994
Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993
Scheduling slack time in fixed priority pre-emptive systems.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993


  Loading...