| 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 | 166 | 2012 |
| Predictability considerations in the design of multi-core embedded systems C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ... Proceedings of Embedded Real Time Software and Systems 36, 42, 2010 | 159 | 2010 |
| 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 | 126 | 2019 |
| Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems S Altmeyer, RI Davis, C Maiza 2011 IEEE 32nd Real-Time Systems Symposium, 261-271, 2011 | 125 | 2011 |
| 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 | 93 | 2013 |
| 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 | 92 | 2011 |
| Resilience analysis: tightening the CRPD bound for set-associative caches S Altmeyer, C Maiza, J Reineke ACM sigplan notices 45 (4), 153-162, 2010 | 91 | 2010 |
| 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 | 88 | 2015 |
| 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 | 76 | 2009 |
| 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 | 73 | 2016 |
| 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 | 72 | 2013 |
| 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 | 61 | 2018 |
| 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 | 59 | 2010 |
| Cache Related Preemption Delay for Set-Associative Caches C Burguiere, J Reineke, S Altmeyer 9th Int’l Workshop on WCET Analysis, 2009 | 50* | 2009 |
| How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics J Henry, M Asavoae, D Monniaux, C Maiza Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers …, 2014 | 46 | 2014 |
| Timing analysis enhancement for synchronous program P Raymond, C Maiza, C Parent-Vigouroux, F Carrier Proceedings of the 21st International conference on Real-Time Networks and …, 2013 | 40 | 2013 |
| A contribution to branch prediction modeling in WCET analysis C Burguiere, C Rochange Design, Automation and Test in Europe, 612-617, 2005 | 39 | 2005 |
| Fast and exact analysis for LRU caches V Touzeau, C Maïza, D Monniaux, J Reineke Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 36 | 2019 |
| History-based schemes and implicit path enumeration C Burguiere, C Rochange 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)(2006), 2006 | 29 | 2006 |
| Ascertaining uncertainty for efficient exact cache analysis V Touzeau, C Maïza, D Monniaux, J Reineke Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 24 | 2017 |
Sebastian AltmeyerUniversity of AugsburgVerified email at es-augsburg.de
