| No. |
Title |
Author |
Year |
| 1 |
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems |
Bellec, Nicolas et al. |
2022 |
| 2 |
StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks |
Degioanni, Théo et al. |
2022 |
| 3 |
Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems |
Bellec, Nicolas et al. |
2020 |
| 4 |
Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures |
Rouxel, Benjamin et al. |
2019 |
| 5 |
Impact of DM-LRU on WCET: A Static Analysis Approach |
Mancuso, Renato et al. |
2019 |
| 6 |
Fine-Grain Iterative Compilation for WCET Estimation |
Puaut, Isabelle et al. |
2018 |
| 7 |
Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors |
Nguyen, Viet Anh et al. |
2017 |
| 8 |
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling |
Rouxel, Benjamin et al. |
2017 |
| 9 |
The Heptane Static Worst-Case Execution Time Estimation Tool |
Hardy, Damien et al. |
2017 |
| 10 |
The W-SEPT Project: Towards Semantic-Aware WCET Estimation |
Maiza, Claire et al. |
2017 |
| 11 |
A Formally Verified WCET Estimation Tool |
Maroneze, André et al. |
2014 |
| 12 |
Integrated Worst-Case Execution Time Estimation of Multicore Applications |
Potop-Butucaru, Dumitru et al. |
2013 |
| 13 |
WCET Analysis of Multi-Level Set-Associative Data Caches |
Lesage, Benjamin et al. |
2009 |
| 14 |
Safe measurement-based WCET estimation |
Deverge, Jean-François et al. |
2007 |
