Sebastian Altmeyer
University of Augsburg(DE)Universitat Politècnica de Catalunya(ES)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Formal Methods in Verification
Most-Cited Works
- → TACLeBench : a benchmark collection to support worst-case execution time research(2016)116 cited
- → Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems(2012)110 cited
- → A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems(2019)89 cited
- → Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems(2011)79 cited
- → An Empirical Survey-based Study into Industry Practice in Real-time Systems(2020)72 cited
- → Analysis of Probabilistic Cache Related Pre-emption Delays(2013)67 cited
- → A generic and compositional framework for multicore response time analysis(2015)