Claire Maiza

32 papers A 6B 3C 1Misc 8Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2023 — book
Hardware and software analyses for precise and efficient timing analysis.
Claire Maiza
2020 A conf
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory.
RTSS
Matheus Schuh, Claire Maiza, Joël Goossens, Pascal Raymond, Benoît Dupont de Dinechin
2020 A conf
Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems.
DATE
Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza
2019 J jnl
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.
ACM Comput. Surv.
Claire Maiza, Hamza Rihani, Juan Maria Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis
2019 J jnl
Improving WCET Evaluation using Linear Relation Analysis.
Leibniz Trans. Embed. Syst.
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
2019 Misc conf
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip.
RTNS
Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
2018 J jnl
An extensible framework for multicore response time analysis.
Real Time Syst.
Robert I. Davis, Sebastian Altmeyer, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
2018 J jnl
Online and offline scheduling with cache-related preemption delays.
Real Time Syst.
Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux
2017 — conf
The W-SEPT Project: Towards Semantic-Aware WCET Estimation.
WCET
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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
2016 J jnl
Guest Editorial - RTNS 2014.
Real Time Syst.
Joël Goossens, Claire Maiza
2016 Misc conf
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor.
RTNS
Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer
2015 Misc conf
A generic and compositional framework for multicore response time analysis.
RTNS
Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke
2015 C conf
Complexity of scheduling real-time tasks subjected to cache-related preemption delays.
ETFA
Guillaume Phavorin, Pascal Richard, Claire Maiza
2015 J jnl
Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121).
Dagstuhl Reports
Sanjoy K. Baruah, Liliana Cucu-Grosjean, Robert I. Davis, Claire Maiza
2015 Misc conf
Scheduling with preemption delays: anomalies and issues.
RTNS
Guillaume Phavorin, Pascal Richard, Joël Goossens, Thomas Chapeaux, Claire Maiza
2015 J jnl
Timing analysis enhancement for synchronous program.
Real Time Syst.
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae
2015 Misc conf
WCET analysis in shared resources real-time systems with TDMA buses.
RTNS
Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer
2015 — conf
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?.
WCET
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
2014 Misc ed.
22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014
RTNS
Mathieu Jan, Belgacem Ben Hedia, Joël Goossens, Claire Maiza
2014 B conf
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics.
LCTES
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza
2014 A conf
Selfish-LRU: Preemption-aware caching for predictability and performance.
RTAS
Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza
2013 — ed.
13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, Paris, France, July 9, 2013
WCET
Claire Maiza
2013 B conf
Analysis of Probabilistic Cache Related Pre-emption Delays.
ECRTS
Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean
2013 A conf
Integrating cache related pre-emption delay analysis into EDF scheduling.
IEEE Real-Time and Embedded Technology and Applications Symposium
Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis
2013 — conf
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective.
WCET
Mihail Asavoae, Claire Maiza, Pascal Raymond
2013 Misc conf
Timing analysis enhancement for synchronous program.
RTNS
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier
2012 J jnl
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems.
Real Time Syst.
Sebastian Altmeyer, Robert I. Davis, Claire Maiza
2012 A conf
Investigation of Scratchpad Memory for Preemptive Multitasking.
RTSS
Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer, Claire Maiza
2011 Misc conf
A framework for the timing analysis of dynamic branch predictors.
RTNS
Claire Maiza, Christine Rochange
2011 A conf
Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems.
RTSS
Sebastian Altmeyer, Robert I. Davis, Claire Maiza
2011 J jnl
Cache-related preemption delay via useful cache blocks: Survey and redefinition.
J. Syst. Archit.
Sebastian Altmeyer, Claire Maiza
2010 B conf
Resilience analysis: tightening the CRPD bound for set-associative caches.
LCTES
Sebastian Altmeyer, Claire Maiza, Jan Reineke