Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 21.

Article

Maiza, Claire, Rihani, Hamza, Rivas, Juan et al. (3 more authors) (2019) A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv.. ISSN 0360-0300

Davis, Robert Ian orcid.org/0000-0002-5772-0928 and Cucu-Grosjean, Liliana (2019) A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. LITES: Leibniz Transactions on Embedded Systems. pp. 1-53. ISSN 2199-2002

Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Baruah, Sanjoy et al. (1 more author) (2018) Robust Mixed-Criticality Systems. IEEE Transactions on Computers. pp. 1478-1491. ISSN 0018-9340

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian and Reineke, Jan (2018) Response-time analysis for fixed-priority systems with a write-back cache. Real-Time Systems. ISSN 1573-1383

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2018) A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv.. 82. ISSN 0360-0300

Feld, Timo, Biondi, Alessandro, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (2 more authors) (2017) A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks. Journal of Systems and Software. pp. 100-107. ISSN 0164-1212

Lesage, Benjamin Michael Jean-Rene, Griffin, David Jack orcid.org/0000-0002-4077-0005, Altmeyer, Sebastian et al. (2 more authors) (2017) On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Systems. pp. 1-82. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Thekkilakattil, Abhilash, Gettings, Oliver et al. (3 more authors) (2017) Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling. Real-Time Systems. pp. 1-39. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2017) An extensible framework for multicore response time analysis. Real-Time Systems. pp. 1-55. ISSN 1573-1383

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. ISSN 0098-5589

Bril, Reinder, Altmeyer, Sebastian, van den Heuvel, Martijn et al. (2 more authors) (2017) Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: : integrated analysis and evaluation. Real-Time Systems. pp. 1-64. ISSN 1573-1383

Melani, Alessandra, Bertogna, Marko, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2016) Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling. IEEE Transactions on Computers. pp. 1-15. ISSN 0018-9340

von der Br�uggen, Georg, Chen, Jian-Jia, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (1 more author) (2016) Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling. Information Processing Letters. pp. 1-5. ISSN 0020-0190

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana, Bertogna, Marko et al. (1 more author) (2016) A Review of Priority Assignment in Real-Time Systems. Journal of systems architecture. pp. 64-82. ISSN 1383-7621

Altmeyer, Sebastian, Douma, Roeland, Lunniss, William Richard Elgon et al. (1 more author) (2016) On the effectiveness of cache partitioning in hard real-time systems. Real-Time Systems. ISSN 1573-1383

Conference or Workshop Item

Harbin, James Robert orcid.org/0000-0002-6479-8600, Griffin, David Jack orcid.org/0000-0002-4077-0005, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (3 more authors) (2018) Supporting Critical Modes in AirTight. In: Workshop on Mixed Criticality, 11 Dec 2018.

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines. In: 5th International Workshop on Mixed Criticality Systems (WMC 2017), 05 Dec 2017.

Proceedings Paper

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. In: IEEE Embedded and Real-Time Computing Systems and Applications:RTCSA. UNSPECIFIED. .

Pölzlbauer, Florian, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN). In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 247-256.

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.

Maxim, Dorin, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana et al. (1 more author) (2016) Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC. In: Proceedings Workshop on Mixed Criticality systems (WMC) 2016. UNSPECIFIED. .

This list was generated on Mon Oct 7 10:22:31 2019 BST.