متابعة
claire maiza
claire maiza
Univ. Grenoble Alpes, GrenobleINP / Verimag
بريد إلكتروني تم التحقق منه على univ-grenoble-alpes.fr - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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
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 (10), 2010‏
1632010
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‏
1382019
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‏
1242011
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‏
962013
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‏
912010
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
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‏
762009
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‏
712013
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‏
702018
Static timing analysis for hard real-time systems‏
R Wilhelm, S Altmeyer, C Burguiere, D Grund, J Herter, J Reineke, ...‏
International Workshop on Verification, Model Checking, and Abstract …, 2010‏
612010
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‏
492014
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‏
412013
A contribution to branch prediction modeling in WCET analysis‏
C Burguiere, C Rochange‏
Design, Automation and Test in Europe, 612-617, 2005‏
392005
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‏
382019
History-based schemes and implicit path enumeration‏
C Burguiere, C Rochange‏
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06 …, 2006‏
282006
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‏
252017
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20