Items where authors include "Altmeyer, Sebastian"

Article

Akesson, Benny, Nasri, Mitra, Nelissen, Geoffrey et al. (2 more authors) (2021) A Comprehensive Survey of Industry Practice in Real-time Systems. Real-Time Systems. ISSN 1573-1383

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, Altmeyer, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) An extensible framework for multicore response time analysis. Real-Time Systems. pp. 607-661. ISSN 1573-1383

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

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

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

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. pp. 598-643. ISSN 1573-1383

Proceedings Paper

Akesson, Benny, Nasri, Mitra, Nelissen, Geoffrey et al. (2 more authors) (2020) An Empirical Survey-based Study into Industry Practice in Real-time Systems. In: 2020 IEEE Real-Time Systems Symposium (Proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020. .