3 citations · 5 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
Julien Forget, Frédéric Boniol, David Lesens +1
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends…