| No. |
Title |
Author |
Year |
| 1 |
Validating Static WCET Analysis: A Method and Its Application |
Sun, Wei-Tsun et al. |
2019 |
| 2 |
Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures |
Carle, Thomas et al. |
2018 |
| 3 |
The W-SEPT Project: Towards Semantic-Aware WCET Estimation |
Maiza, Claire et al. |
2017 |
| 4 |
Dynamic Branch Resolution Based on Combined Static Analyses |
Sun, Wei-Tsun et al. |
2016 |
| 5 |
Expressing and Exploiting Conflicts over Paths in WCET Analysis |
Mussot, Vincent et al. |
2016 |
| 6 |
A Framework to Quantify the Overestimations of Static WCET Analysis |
Cassé, Hugues et al. |
2015 |
| 7 |
Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs |
Ruiz, Jordy et al. |
2015 |
| 8 |
Multi-architecture Value Analysis for Machine Code |
Cassé, Hugues et al. |
2013 |
| 9 |
A Generic Framework for Blackbox Components in WCET Computation |
Ballabriga, Clément et al. |
2009 |
| 10 |
WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis |
Holsti, Niklas et al. |
2008 |
| 11 |
Improving the WCET computation time by IPET using control flow graph partitioning |
Ballabriga, Clément et al. |
2008 |
| 12 |
PapaBench: a Free Real-Time Benchmark |
Nemer, Fadia et al. |
2006 |
