A Contribution to Branch Prediction Modeling in WCET Analysi. - Claire Burguière; Christine Rochange (DATE, 2005)

A Case for Static Branch Prediction in Real-Time Systems. - Claire Burguière; Christine Rochange; Pascal Sainrat (RTCSA, 2005)

History-based Schemes and Implicit Path Enumeration. - Claire Burguière; Christine Rochange (WCET, 2006)

A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay. - Sebastian Altmeyer; Claire Burguière (ECRTS, 2009)

Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. - Claire Burguière; Jan Reineke 001; Sebastian Altmeyer (WCET, 2009)

Resilience analysis: tightening the CRPD bound for set-associative caches. - Sebastian Altmeyer; Claire Maiza; Jan Reineke 001 (LCTES, 2010)

Static Timing Analysis for Hard Real-Time Systems. - Reinhard Wilhelm; Sebastian Altmeyer; Claire Burguière; Daniel Grund; Jörg Herter; Jan Reineke 001; Björn Wachter; Stephan Wilhelm (VMCAI, 2010)

A framework for the timing analysis of dynamic branch predictors. - Claire Maiza; Christine Rochange (RTNS, 2011)

Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems. - Sebastian Altmeyer; Robert I. Davis 001; Claire Maiza (RTSS, 2011)

Cache-related preemption delay via useful cache blocks: Survey and redefinition. - Sebastian Altmeyer; Claire Maiza (J. Syst. Archit., 2011)

Investigation of Scratchpad Memory for Preemptive Multitasking. - Jack Whitham; Robert I. Davis 001; Neil C. Audsley; Sebastian Altmeyer; Claire Maiza (RTSS, 2012)

Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. - Sebastian Altmeyer; Robert I. Davis 001; Claire Maiza (Real Time Syst., 2012)

Analysis of Probabilistic Cache Related Pre-emption Delays. - Robert I. Davis 001; Luca Santinelli; Sebastian Altmeyer; Claire Maiza; Liliana Cucu-Grosjean (ECRTS, 2013)

Integrating cache related pre-emption delay analysis into EDF scheduling. - Will Lunniss; Sebastian Altmeyer; Claire Maiza; Robert I. Davis 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier (RTNS, 2013)

Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. - Mihail Asavoae; Claire Maiza; Pascal Raymond (WCET, 2013)

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics. - Julien Henry; Mihail Asavoae; David Monniaux; Claire Maiza (LCTES, 2014)

Selfish-LRU: Preemption-aware caching for predictability and performance. - Jan Reineke 001; Sebastian Altmeyer; Daniel Grund; Sebastian Hahn 001; Claire Maiza (RTAS, 2014)

Complexity of scheduling real-time tasks subjected to cache-related preemption delays. - Guillaume Phavorin; Pascal Richard; Claire Maiza (ETFA, 2015)

A generic and compositional framework for multicore response time analysis. - Sebastian Altmeyer; Robert I. Davis 001; Leandro Soares Indrusiak; Claire Maiza; Vincent Nélis; Jan Reineke 001 (RTNS, 2015)

Scheduling with preemption delays: anomalies and issues. - Guillaume Phavorin; Pascal Richard; Joël Goossens; Thomas Chapeaux; Claire Maiza (RTNS, 2015)

WCET analysis in shared resources real-time systems with TDMA buses. - Hamza Rihani; Matthieu Moy; Claire Maiza; Sebastian Altmeyer (RTNS, 2015)

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. - Sebastian Altmeyer; Björn Lisper; Claire Maiza; Jan Reineke 001; Christine Rochange (WCET, 2015)

Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121). - Sanjoy K. Baruah; Liliana Cucu-Grosjean; Robert I. Davis 001; Claire Maiza (Dagstuhl Reports, 2015)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier; Mihail Asavoae (Real Time Syst., 2015)

Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. - Hamza Rihani; Matthieu Moy; Claire Maiza; Robert I. Davis 001; Sebastian Altmeyer (RTNS, 2016)

Guest Editorial - RTNS 2014. - Joël Goossens; Claire Maiza (Real Time Syst., 2016)

Ascertaining Uncertainty for Efficient Exact Cache Analysis. - Valentin Touzeau; Claire Maïza; David Monniaux; Jan Reineke 001 (CAV (2), 2017)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Model Checking of Cache for WCET Analysis Refinement. - Valentin Touzeau; Claire Maïza; David Monniaux (CoRR, 2017)

An extensible framework for multicore response time analysis. - Robert I. Davis 001; Sebastian Altmeyer; Leandro Soares Indrusiak; Claire Maiza; Vincent Nélis; Jan Reineke 001 (Real Time Syst., 2018)

Online and offline scheduling with cache-related preemption delays. - Guillaume Phavorin; Pascal Richard; Joël Goossens; Claire Maiza; Laurent George 001; Thomas Chapeaux (Real Time Syst., 2018)

Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip. - Amaury Graillat; Claire Maiza; Matthieu Moy; Pascal Raymond; Benoît Dupont de Dinechin (RTNS, 2019)

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. - Claire Maiza; Hamza Rihani; Juan Maria Rivas; Joël Goossens; Sebastian Altmeyer; Robert I. Davis 001 (ACM Comput. Surv., 2019)

Improving WCET Evaluation using Linear Relation Analysis. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Erwan Jahier; Nicolas Halbwachs; Fabienne Carrier; Mihail Asavoae; Rémy Boutonnet (Leibniz Trans. Embed. Syst., 2019)

Fast and exact analysis for LRU caches. - Valentin Touzeau; Claire Maïza; David Monniaux; Jan Reineke 001 (Proc. ACM Program. Lang., 2019)

Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. - Maximilien Dupont de Dinechin; Matheus Schuh; Matthieu Moy; Claire Maiza (DATE, 2020)

A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory. - Matheus Schuh; Claire Maiza; Joël Goossens; Pascal Raymond; Benoît Dupont de Dinechin (RTSS, 2020)

Hardware and software analyses for precise and efficient timing analysis. - Claire Maiza (2023)