|
[158]
 conference 
S. Baruah, I. Bate, A. Burns, R.I. Davis, "Optimal Synthesis of Fault-Tolerant IDK Cascades
for Real-Time Classification”.
In proceedings 30th IEEE Real-Time and embedded technology and applications Symposium (RTAS 2024)
[157]     journal     S. Baruah, A. Burns, R.I. Davis, "Optimal Synthesis of Robust IDK Classifier Cascades”. ACM Transactions on Embedded Computing Systems, 9th Sept 2023.
[156]
 conference 
T. Abdelzaher, S. Baruah, I. Bate, A. Burns, R.I. Davis,
"Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty”.
In proceedings 31st International Conference on Real-Time Networks and Systems (RTNS 2023).
[155]
    journal    
T. Abdelzaher, K. Agrawal, S. Baruah, A. Burns, R.I. Davis, Z. Guo, Y. Hu "Scheduling IDK Classifiers with Arbitrary Dependences to
Minimize the Expected Time to Successful Classification”.
Real-Time Systems, 13th March 2023.
(Presentation (PDF))
[154]
 conference 
G. von der Bruggen, A. Burns, J-J. Chen, R. I. Davis,
"On the Trade-offs between Generalization and
Specialization in Real-Time Systems”.
Invited paper in proceedings 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2022).
[153]
 conference 
R.I. Davis, A. Burns, I. Bate "Compensating Adaptive Mixed Criticality Scheduling”.
In proceedings 30th International Conference on Real-Time Networks and Systems (RTNS 2022).
[152]
 conference 
R.I. Davis, I. Bate "Mixed Criticality on Multi-cores Accounting for Resource Stress
and Resource Sensitivity”.
In proceedings 30th International Conference on Real-Time Networks and Systems (RTNS 2022).
[151]
    journal    
S. Baruah, A. Burns, R.I. Davis, Y. Wu "Optimally ordering IDK classifiers subject to deadlines”.
Real-Time Systems, 14th May 2022.
[150]
 conference 
I. Bate, A. Burns, R.I. Davis, "Analysis-Runtime Co-design for
Adaptive Mixed Criticality Scheduling”.
In proceedings 28th IEEE Real-Time and embedded technology and applications Symposium (RTAS 2022)
[149]
    journal    
R. I. Davis, D. Griffin, I. Bate
"A Framework for Multi-core Schedulability Analysis Accounting for Resource Stress and Sensitivity”.
Real-Time Systems, 19th Feb 2022.
[148]
    journal    
B. Akesson, M. Nasri, G. Nelissen, S. Altmeyer, R. I. Davis, "A Comprehensive Survey of Industry Practice in Real-time Systems”.
Real-Time Systems, 11th Nov 2021.
[147]
 conference 
R.I. Davis, D. Griffin, I. Bate, "Schedulability Analysis for Multi-core Systems
Accounting for Resource Stress and Sensitivity
”.
In proceedings 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)
[146]
 conference 
A. Burns, R. I. Davis, "Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance”.
In proceedings 41st Real-Time Systems Symposium (RTSS 2020), Dec 2020.
[145]
 conference 
D. Griffin, I. Bate, R. I. Davis, "Generating Utilization Vectors for the Systematic
Evaluation of Schedulability Tests”.
In proceedings 41st Real-Time Systems Symposium (RTSS 2020), Dec 2020.
(Presentation (PDF),
Narrated Presentation on YouTube)
[144]
 conference 
B. Akesson, M. Nasri, G. Nelissen, S. Altmeyer, R. I. Davis, "An Empirical Survey-based Study into Industry Practice in Real-time Systems”.
In proceedings 41st Real-Time Systems Symposium (RTSS 2020), Dec 2020. (Technical Report, Presentation and Panel Session)
[143]
    journal    
J. Harbin, A. Burns, R.I. Davis, L.S.Indrusiak, I. Bate, D. Griffin, "The AirTight Protocol for Mixed Criticality Wireless CPS”.
ACM
Transactions on Cyber-Physical Systems,Volume 4, Issue 2, pages 1-28, Dec 2019.
[142]
 conference 
P. Dziurzanski, R.I. Davis, and L.S. Indrusiak, "Synthesizing Real-Time Schedulability Tests using
Evolutionary Algorithms : A Proof of Concept”.
In proceedings 40th Real-Time Systems Symposium (RTSS 2019).
[141]
 conference 
D. Griffin, J. Harbin, A. Burns, I. Bate, R.I. Davis, and L.S. Indrusiak, "Validating High Level Simulation Results against Experimental
Data and Low Level Simulation : A Case Study”.
In proceedings 26th International Conference on Real-Time Networks and Systems(RTNS 2019).
[140]
    journal    
C. Maiza, H. Rihani, J.M. Rivas, J. Goossens, S. Altmeyer, R.I. Davis, "A Survey of Timing Verification
Techniques for Multi-Core Real-Time
Systems”.
© ACM, (2019). ACM Computing Surveys, 52, 3, Article 56 (July 2019), 37 pages. DOI=10.1145/3323212
This is the author’s version of the work. It is posted here by permission of ACM
for your personal use. Not for redistribution. The definitive version is available at ACM Computing Surveys.
[139]
    journal    
R. I. Davis, L. Cucu-Grosjean,
"A Survey of Probabilistic Schedulability Analysis
Techniques for Real-Time Systems”.
Leibniz Transactions on Embedded Systems (LITES)
[138]
    journal    
R. I. Davis, L. Cucu-Grosjean,
"A Survey of Probabilistic Timing Analysis Techniques
for Real-Time Systems”.
Leibniz Transactions on Embedded Systems (LITES)