Clément Ballabriga

21 papers A 1B 3Misc 2Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Parametric WCET as a function of procedure arguments: Analysis and applications.
J. Syst. Archit.
Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
2023 Misc conf
WCET analysis with procedure arguments as parameters.
RTNS
Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
2022 — ed.
20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022, Modena, Italy, July 5, 2022
WCET
Clément Ballabriga
2021 J jnl
Relational abstract interpretation of arrays in assembly code.
Formal Methods Syst. Des.
Clément Ballabriga, Julien Forget, Jordy Ruiz
2019 J jnl
A WCET-aware cache coloring technique for reducing interference in real-time systems.
CoRR
Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari, Smaïl Niar
2019 B conf
Static Analysis of Binary Code with Memory Indirections Using Polyhedra.
VMCAI
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
2018 J jnl
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps.
IEEE Trans. Software Eng.
Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury
2018 J jnl
Symbolic WCET Computation.
ACM Trans. Embed. Comput. Syst.
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2017 J jnl
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.
CoRR
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2017 J jnl
Symbolic Computation of the Worst-Case Execution Time of a Program.
CoRR
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2015 — conf
Context-sensitive Parametric WCET Analysis.
WCET
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2014 B conf
Cache-related preemption delay analysis for FIFO caches.
LCTES
Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury
2013 A conf
Integrated Timing Analysis of Application and Operating Systems Code.
RTSS
Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury
2010 — conf
Experimentation of WCET computation on both ends of automotive processor range.
EDCC-CARS
Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
2010 — conf
OTAWA: An Open Toolbox for Adaptive WCET Analysis.
SEUS
Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
2010 — conf
Partial Flow Analysis with oRange.
ISoLA (2)
Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
2009 — conf
A Generic Framework for Blackbox Components in WCET Computation.
WCET
Clément Ballabriga, Hugues Cassé, Marianne De Michiel
2008 Misc conf
An improved approach for set-associative instruction cache partial analysis.
SAC
Clément Ballabriga, Hugues Cassé, Pascal Sainrat
2008 B conf
Improving the First-Miss Computation in Set-Associative Instruction Caches.
ECRTS
Clément Ballabriga, Hugues Cassé
2008 — conf
Improving the WCET computation time by IPET using control flow graph partitioning.
WCET
Clément Ballabriga, Hugues Cassé
2008 — conf
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
WCET
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