Documentation
Français (FR)

Anglais (EN)

Clément BALLABRIGA

13

Documents

Publications

	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

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