Improving the First-Miss Computation in Set-Associative Instruction Caches. - Clément Ballabriga; Hugues Cassé (ECRTS, 2008)

An improved approach for set-associative instruction cache partial analysis. - Clément Ballabriga; Hugues Cassé; Pascal Sainrat (SAC, 2008)

Improving the WCET computation time by IPET using control flow graph partitioning. - Clément Ballabriga; Hugues Cassé (WCET, 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; et al. (WCET, 2008)

A Generic Framework for Blackbox Components in WCET Computation. - Clément Ballabriga; Hugues Cassé; Marianne De Michiel (WCET, 2009)

Experimentation of WCET computation on both ends of automotive processor range. - Hugues Cassé; Pascal Sainrat; Clément Ballabriga; Marianne De Michiel (EDCC-CARS, 2010)

Partial Flow Analysis with oRange. - Marianne De Michiel; Armelle Bonenfant; Clément Ballabriga; Hugues Cassé (ISoLA (2), 2010)

OTAWA: An Open Toolbox for Adaptive WCET Analysis. - Clément Ballabriga; Hugues Cassé; Christine Rochange; Pascal Sainrat (SEUS, 2010)

Integrated Timing Analysis of Application and Operating Systems Code. - Lee Kee Chong; Clément Ballabriga; Van-Thuan Pham; Sudipta Chattopadhyay 001; Abhik Roychoudhury (RTSS, 2013)

Cache-related preemption delay analysis for FIFO caches. - Clément Ballabriga; Lee Kee Chong; Abhik Roychoudhury (LCTES, 2014)

Context-sensitive Parametric WCET Analysis. - Clément Ballabriga; Julien Forget; Giuseppe Lipari (WCET, 2015)

Symbolic Computation of the Worst-Case Execution Time of a Program. - Clément Ballabriga; Julien Forget; Giuseppe Lipari (CoRR, 2017)

Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra. - Clément Ballabriga; Julien Forget; Giuseppe Lipari (CoRR, 2017)

Symbolic WCET Computation. - Clément Ballabriga; Julien Forget; Giuseppe Lipari (ACM Trans. Embed. Comput. Syst., 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)

Static Analysis of Binary Code with Memory Indirections Using Polyhedra. - Clément Ballabriga; Julien Forget; Laure Gonnord; Giuseppe Lipari; Jordy Ruiz (VMCAI, 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)

Relational abstract interpretation of arrays in assembly code. - Clément Ballabriga; Julien Forget; Jordy Ruiz (Formal Methods Syst. Des., 2021)

WCET analysis with procedure arguments as parameters. - Sandro Grebant; Clément Ballabriga; Julien Forget; Giuseppe Lipari (RTNS, 2023)

Parametric WCET as a function of procedure arguments: Analysis and applications. - Sandro Grebant; Clément Ballabriga; Julien Forget; Giuseppe Lipari (J. Syst. Archit., 2024)