Clément BALLABRIGA

Publications

Article dans une revue (4)

Parametric WCET as a function of procedure arguments: analysis and applications Sandro Grebant,Clément Ballabriga,Julien Forget,Giuseppe Lipari Journal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩ Article dans une revue hal-04433439v2
Relational abstract interpretation of arrays in assembly code Clément Ballabriga,Julien Forget,Jordy Ruiz Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩ Article dans une revue hal-03794951v1
EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps Banerjee Abhijeet,Chong Lee Kee,Clément Ballabriga,Roychoudhury Abhik IEEE Transactions on Software Engineering, 2017, IEEE Transactions on Software Engineering, PP (99), ⟨10.1109/TSE.2017.2689012⟩ Article dans une revue hal-01578386v1
Symbolic WCET Computation Clément Ballabriga,Julien Forget,Giuseppe Lipari ACM Transactions on Embedded Computing Systems (TECS), 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩ Article dans une revue hal-01665076v1

Communication dans un congrès (9)

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
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
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
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
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
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
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