Segui
Sebastian Altmeyer
Sebastian Altmeyer
University of Augsburg
Email verificata su es-augsburg.de - Home page
Titolo
Citata da
Citata da
Anno
TACLeBench: A benchmark collection to support worst-case execution time research
H Falk, S Altmeyer, P Hellinckx, B Lisper, W Puffitsch, C Rochange, ...
16th International Workshop on Worst-Case Execution Time Analysis, 2016
2762016
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems
S Altmeyer, RI Davis, C Maiza
Real-Time Systems 48, 499-526, 2012
1672012
A survey of timing verification techniques for multi-core real-time systems
C Maiza, H Rihani, JM Rivas, J Goossens, S Altmeyer, RI Davis
ACM Computing Surveys (CSUR) 52 (3), 1-38, 2019
1352019
Cache related pre-emption cost aware response time analysis for fixed priority pre-emptive systems
S Altmeyer, RI Davis, C Maiza
32nd RTSS, 2011
135*2011
An empirical survey-based study into industry practice in real-time systems
B Akesson, M Nasri, G Nelissen, S Altmeyer, RI Davis
2020 IEEE Real-Time Systems Symposium (RTSS), 3-11, 2020
1022020
Analysis of probabilistic cache related pre-emption delays
RI Davis, L Santinelli, S Altmeyer, C Maiza, L Cucu-Grosjean
2013 25th Euromicro Conference on Real-Time Systems, 168-179, 2013
952013
Cache-related preemption delay via useful cache blocks: Survey and redefinition
S Altmeyer, CM Burguière
Journal of Systems Architecture 57 (7), 707-719, 2011
932011
Resilience analysis: tightening the CRPD bound for set-associative caches
S Altmeyer, C Maiza, J Reineke
ACM sigplan notices 45 (4), 153-162, 2010
922010
A generic and compositional framework for multicore response time analysis
S Altmeyer, RI Davis, L Indrusiak, C Maiza, V Nelis, J Reineke
Proceedings of the 23rd International Conference on Real Time and Networks …, 2015
902015
Evaluation of Cache Partitioning for Hard Real-Time Systems
S Altmeyer, R Douma, W Lunniss, R Davis
Real-Time Systems (ECRTS), 2014 26th Euromicro Conference on, 15-26, 2014
86*2014
A new notion of useful cache block to improve the bounds of cache-related preemption delay
S Altmeyer, C Burguiere
2009 21st Euromicro Conference on Real-Time Systems, 109-118, 2009
772009
Response time analysis of synchronous data flow programs on a many-core processor
H Rihani, M Moy, C Maiza, RI Davis, S Altmeyer
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
742016
Integrating cache related pre-emption delay analysis into edf scheduling
W Lunniss, S Altmeyer, C Maiza, RI Davis
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
742013
A comprehensive survey of industry practice in real-time systems
B Akesson, M Nasri, G Nelissen, S Altmeyer, RI Davis
Real-Time Systems 58 (3), 358-398, 2022
702022
On the correctness, optimality and precision of static probabilistic timing analysis
S Altmeyer, RI Davis
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
692014
An extensible framework for multicore response time analysis
RI Davis, S Altmeyer, LS Indrusiak, C Maiza, V Nelis, J Reineke
Real-Time Systems 54, 607-661, 2018
672018
Static probabilistic timing analysis for real-time systems using random replacement caches
S Altmeyer, L Cucu-Grosjean, RI Davis
Real-Time Systems 51, 77-123, 2015
622015
Static timing analysis for hard real-time systems
R Wilhelm, S Altmeyer, C Burguière, D Grund, J Herter, J Reineke, ...
International Workshop on Verification, Model Checking, and Abstract …, 2010
602010
Parametric timing analysis for complex architectures
S Altmeyer, C Hümbert, B Lisper, R Wilhelm
2008 14th IEEE International Conference on Embedded and Real-Time Computing …, 2008
522008
Cache Related Preemption Delay for Set-Associative Caches
C Burguiere, J Reineke, S Altmeyer
9th Int’l Workshop on WCET Analysis, 2009
51*2009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20