Clément BALLABRIGA
13
Documents
Publications
|
Parametric WCET as a function of procedure arguments: analysis and applicationsJournal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩
Article dans une revue
hal-04433439v2
|
|
Relational abstract interpretation of arrays in assembly codeFormal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩
Article dans une revue
hal-03794951v1
|
|
Symbolic WCET ComputationACM Transactions on Embedded Computing Systems (TECS), 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩
Article dans une revue
hal-01665076v1
|
EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android AppsIEEE Transactions on Software Engineering, 2017, IEEE Transactions on Software Engineering, PP (99), ⟨10.1109/TSE.2017.2689012⟩
Article dans une revue
hal-01578386v1
|
|
WCET analysis with procedure arguments as parametersRTNS 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 WCETRTSOPS 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 computationCompas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2021, Lyon, France
Communication dans un congrès
hal-03428961v1
|
|
|
A WCET-aware cache coloring technique for reducing interference in real-time systemsCOMPAS 2019, Jun 2019, Anglet, France
Communication dans un congrès
hal-02359983v1
|
|
Static Analysis Of Binary Code With Memory Indirections Using PolyhedraVMCAI'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
|
|
Context-sensitive Parametric WCET Analysis15th 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 Code2013 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 Analysis8th 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 estimation16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France
Communication dans un congrès
inria-00336530v1
|