Clément Ballabriga

According to our database, Clément Ballabriga authored at least 19 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

WCET analysis with procedure arguments as parameters.

Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

2021

Relational abstract interpretation of arrays in assembly code.

Clément Ballabriga, Julien Forget, Jordy Ruiz

Formal Methods Syst. Des., 2021

2019

A WCET-aware cache coloring technique for reducing interference in real-time systems.

Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari, Smaïl Niar

CoRR, 2019

Static Analysis of Binary Code with Memory Indirections Using Polyhedra.

Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps.

Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury

IEEE Trans. Software Eng., 2018

Symbolic WCET Computation.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

ACM Trans. Embed. Comput. Syst., 2018

2017

Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

CoRR, 2017

Symbolic Computation of the Worst-Case Execution Time of a Program.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

CoRR, 2017

2015

Context-sensitive Parametric WCET Analysis.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

2014

Cache-related preemption delay analysis for FIFO caches.

Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2013

Integrated Timing Analysis of Application and Operating Systems Code.

Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

2010

OTAWA: An Open Toolbox for Adaptive WCET Analysis.

Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Partial Flow Analysis with oRange.

Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Experimentation of WCET computation on both ends of automotive processor range.

Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

A Generic Framework for Blackbox Components in WCET Computation.

Clément Ballabriga, Hugues Cassé, Marianne De Michiel

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.

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

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Improving the WCET computation time by IPET using control flow graph partitioning.

Clément Ballabriga, Hugues Cassé

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

An improved approach for set-associative instruction cache partial analysis.

Clément Ballabriga, Hugues Cassé, Pascal Sainrat

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Improving the First-Miss Computation in Set-Associative Instruction Caches.

Clément Ballabriga, Hugues Cassé

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008