Clément Ballabriga

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 9

Top Topics

Real Time Embedded

Abstract Interpretation

Hamming Distance

Top Venues

ACM Trans. Embed. Comput. Syst.

J. Syst. Archit.

Publications

Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
Parametric WCET as a function of procedure arguments: Analysis and applications. J. Syst. Archit. 148 (2024)
Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
WCET analysis with procedure arguments as parameters. RTNS (2023)
Clément Ballabriga, Julien Forget, Jordy Ruiz
Relational abstract interpretation of arrays in assembly code. Formal Methods Syst. Des. 59 (1) (2021)
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
Static Analysis of Binary Code with Memory Indirections Using Polyhedra. VMCAI (2019)
Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari, Smaïl Niar
A WCET-aware cache coloring technique for reducing interference in real-time systems. CoRR (2019)
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Symbolic WCET Computation. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. IEEE Trans. Software Eng. 44 (5) (2018)
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra. CoRR (2017)
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Symbolic Computation of the Worst-Case Execution Time of a Program. CoRR (2017)
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Context-sensitive Parametric WCET Analysis. WCET (2015)
Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury
Cache-related preemption delay analysis for FIFO caches. LCTES (2014)
Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury
Integrated Timing Analysis of Application and Operating Systems Code. RTSS (2013)
Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
OTAWA: An Open Toolbox for Adaptive WCET Analysis. SEUS (2010)
Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
Experimentation of WCET computation on both ends of automotive processor range. EDCC-CARS (2010)
Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
Partial Flow Analysis with oRange. ISoLA (2) (2010)
Clément Ballabriga, Hugues Cassé, Marianne De Michiel
A Generic Framework for Blackbox Components in WCET Computation. WCET (2009)
Clément Ballabriga, Hugues Cassé, Pascal Sainrat
An improved approach for set-associative instruction cache partial analysis. SAC (2008)
Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET (2008)
Clément Ballabriga, Hugues Cassé
Improving the WCET computation time by IPET using control flow graph partitioning. WCET (2008)
Clément Ballabriga, Hugues Cassé
Improving the First-Miss Computation in Set-Associative Instruction Caches. ECRTS (2008)