2 citations · 2 across the 2 of their papers we have counts for
3 papers
A WCET-aware cache coloring technique for reducing interference in real-time systems
Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari +1
The predictability of a system is the condition to give saferbound on worst case execution timeof real-time tasks which are running on it. Commercial off-the-shelf(COTS) processors…
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
Clément Ballabriga, Julien Forget, Giuseppe Lipari
In this paper we propose a novel methodology for static analysis of binary code using abstract interpretation. We use an abstract domain based on polyhedra and two mapping function…
Symbolic Computation of the Worst-Case Execution Time of a Program
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Parametric Worst-case execution time (WCET) analysis of a sequential program produces a formula that represents the worst-case execution time of the program, where parameters of th…