Claire Maïza

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Fast and exact analysis for LRU caches.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Improving WCET Evaluation using Linear Relation Analysis.

[BibT_eX]

[DOI]

Benoît Dupont de Dinechin

Leibniz Trans. Embed. Syst., 2019

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

2018

Online and offline scheduling with cache-related preemption delays.

[BibT_eX]

[DOI]

Real Time Syst., 2018

An extensible framework for multicore response time analysis.

[BibT_eX]

[DOI]

Leandro Soares Indrusiak

Vincent Nélis

Real Time Syst., 2018

2017

Model Checking of Cache for WCET Analysis Refinement.

[BibT_eX]

[DOI]

Valentin Touzeau

Claire Maïza

David Monniaux

CoRR, 2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Ascertaining Uncertainty for Efficient Exact Cache Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Guest Editorial - RTNS 2014.

[BibT_eX]

[DOI]

Joël Goossens

Real Time Syst., 2016

Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

2015

Timing analysis enhancement for synchronous program.

[BibT_eX]

[DOI]

Fabienne Carrier

Mihail Asavoae

Real Time Syst., 2015

Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121).

[BibT_eX]

[DOI]

Sanjoy K. Baruah

Liliana Cucu-Grosjean

Dagstuhl Reports, 2015

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

WCET analysis in shared resources real-time systems with TDMA buses.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Scheduling with preemption delays: anomalies and issues.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

A generic and compositional framework for multicore response time analysis.

[BibT_eX]

[DOI]

Leandro Soares Indrusiak

Vincent Nélis

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Complexity of scheduling real-time tasks subjected to cache-related preemption delays.

[BibT_eX]

[DOI]

Guillaume Phavorin

Pascal Richard

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Selfish-LRU: Preemption-aware caching for predictability and performance.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2013

Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective.

[BibT_eX]

[DOI]

Mihail Asavoae

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Timing analysis enhancement for synchronous program.

[BibT_eX]

[DOI]

Fabienne Carrier

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Integrating cache related pre-emption delay analysis into EDF scheduling.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Analysis of Probabilistic Cache Related Pre-emption Delays.

[BibT_eX]

[DOI]

Liliana Cucu-Grosjean

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems.

[BibT_eX]

[DOI]

Real Time Syst., 2012

Investigation of Scratchpad Memory for Preemptive Multitasking.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011

Cache-related preemption delay via useful cache blocks: Survey and redefinition.

[BibT_eX]

[DOI]

J. Syst. Archit., 2011

Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

A framework for the timing analysis of dynamic branch predictors.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

Static Timing Analysis for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Resilience analysis: tightening the CRPD bound for set-associative caches.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

2009

Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions.

[BibT_eX]

[DOI]

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2006

History-based Schemes and Implicit Path Enumeration.

[BibT_eX]

[DOI]

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2005

A Case for Static Branch Prediction in Real-Time Systems.

[BibT_eX]

[DOI]

Pascal Sainrat

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A Contribution to Branch Prediction Modeling in WCET Analysi.

[BibT_eX]

[DOI]