Clément BALLABRIGA

13
Documents

Publications

Publications

Deposit thumbnail

WCET analysis with procedure arguments as parameters

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

RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, Jun 2023, Dortmund, Germany. pp.11-22, ⟨10.1145/3575757.3593655⟩

Communication dans un congrès hal-04118213v1
Deposit thumbnail

New challenges in adaptive real-time systems with parametric WCET

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

RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar, Jul 2023, Vienne, Austria

Communication dans un congrès hal-04197411v1

Efficient tree-based symbolic WCET computation

Sandro Grebant , Clément Ballabriga , Julien Forget

Compas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2021, Lyon, France

Communication dans un congrès hal-03428961v1
Deposit thumbnail

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

Fabien Bouquillon , Clément Ballabriga , Giuseppe Lipari , Smail Niar

COMPAS 2019, Jun 2019, Anglet, France

Communication dans un congrès hal-02359983v1
Deposit thumbnail

Static Analysis Of Binary Code With Memory Indirections Using Polyhedra

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

VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩

Communication dans un congrès hal-01939659v1
Deposit thumbnail

Context-sensitive Parametric WCET Analysis

Clément Ballabriga , Julien Forget , Giuseppe Lipari

15th International Workshop on Worst-Case Execution Time Analysis, Dec 2015, Lund Sweden. ⟨10.4230/OASIcs.WCET.2015.55⟩

Communication dans un congrès hal-01239158v1

Integrated Timing Analysis of Application and Operating Systems Code

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

2013 IEEE 34th Real-Time Systems Symposium (RTSS), Dec 2013, Vancouver, France. ⟨10.1109/RTSS.2013.21⟩

Communication dans un congrès hal-01759800v1
Deposit thumbnail

OTAWA: An Open Toolbox for Adaptive WCET Analysis

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

8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩

Communication dans un congrès hal-01055378v1
Deposit thumbnail

Accurate analysis of memory latencies for WCET estimation

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

16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France

Communication dans un congrès inria-00336530v1