Clément Ballabriga

Orcid: 0000-0002-0265-859X

According to our database1, Clément Ballabriga authored at least 20 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Parametric WCET as a function of procedure arguments: Analysis and applications.
J. Syst. Archit., 2024

2023
WCET analysis with procedure arguments as parameters.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

2021
Relational abstract interpretation of arrays in assembly code.
Formal Methods Syst. Des., 2021

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

Static Analysis of Binary Code with Memory Indirections Using Polyhedra.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps.
IEEE Trans. Software Eng., 2018

Symbolic WCET Computation.
ACM Trans. Embed. Comput. Syst., 2018

2017
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.
CoRR, 2017

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

2015
Context-sensitive Parametric WCET Analysis.
Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

2014
Cache-related preemption delay analysis for FIFO caches.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

2013
Integrated Timing Analysis of Application and Operating Systems Code.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

2010
OTAWA: An Open Toolbox for Adaptive WCET Analysis.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Partial Flow Analysis with oRange.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Experimentation of WCET computation on both ends of automotive processor range.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009
A Generic Framework for Blackbox Components in WCET Computation.
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.
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.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

An improved approach for set-associative instruction cache partial analysis.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Improving the First-Miss Computation in Set-Associative Instruction Caches.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008


  Loading...