E-LIB Suche - Ergebnisse für: Ballabriga, Clement

1

Parametric WCET as a function of procedure arguments: Analy..:

Grebant, Sandro ; Ballabriga, Clément ; Forget, Julien.
Journal of Systems Architecture. 148 (2024) - p. 103086 , 2024

Link: https://doi.org/10.1016/..

2

WCET analysis with procedure arguments as parameters:

, In: Proceedings of the 31st International Conference on Real-Time Networks and Systems,

Grebant, Sandro ; Ballabriga, Clément ; Forget, Julien. - p. 11-22 , 2023

Link: https://dl.acm.org/doi/1..

3

Relational abstract interpretation of arrays in assembly co..:

Ballabriga, Clément ; Forget, Julien ; Ruiz, Jordy
Formal Methods in System Design. 59 (2021) 1-3 - p. 103-135 , 2021

Link: https://doi.org/10.1007/..

4

Static Analysis of Binary Code with Memory Indirections Usi..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Ballabriga, Clément ; Forget, Julien ; Gonnord, Laure.. - p. 114-135 , 2019

Link: https://doi.org/10.1007/..

5

EnergyPatch: Repairing Resource Leaks to Improve Energy-Eff..:

Banerjee, Abhijeet ; Chong, Lee Kee ; Ballabriga, Clement.
IEEE Transactions on Software Engineering. 44 (2018) 5 - p. 470-490 , 2018

Link: https://doi.org/10.1109/..

6

Symbolic WCET Computation:

Ballabriga, Clément ; Forget, Julien ; Lipari, Giuseppe
ACM Transactions on Embedded Computing Systems (TECS). 17 (2017) 2 - p. 1-26 , 2017

Link: https://dl.acm.org/doi/1..

7

Symbolic WCET Computation:

Ballabriga, Clément ; Forget, Julien ; Lipari, Giuseppe
ACM Transactions on Embedded Computing Systems. 17 (2017) 2 - p. 1-26 , 2017

Link: https://doi.org/10.1145/..

8

Cache-related preemption delay analysis for FIFO caches:

, In: Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems,

Ballabriga, Clément ; Chong, Lee Kee ; Roychoudhury, Abhik - p. 33-42 , 2014

Link: https://dl.acm.org/doi/1..

9

Cache-related preemption delay analysis for FIFO caches:

Ballabriga, Clément ; Chong, Lee Kee ; Roychoudhury, Abhik
ACM SIGPLAN Notices. 49 (2014) 5 - p. 33-42 , 2014

Link: https://doi.org/10.1145/..

10

Parametric WCET as a function of procedure arguments: analy..:

Grebant, Sandro ; Ballabriga, Clément ; Forget, Julien.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.sysarc.2024.103086. , 2024

Link: https://hal.science/hal-..

11

Parametric WCET as a function of procedure arguments: analy..:

Grebant, Sandro ; Ballabriga, Clément ; Forget, Julien.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.sysarc.2024.103086. , 2024

Link: https://hal.science/hal-..

12

New challenges in adaptive real-time systems with parametri..:

Ballabriga, Clément ; Forget, Julien ; Grebant, Sandro.
hal-04197411. , 2023

Link: https://hal.science/hal-..

13

New challenges in adaptive real-time systems with parametri..:

Ballabriga, Clément ; Forget, Julien ; Grebant, Sandro.
hal-04197411. , 2023

Link: https://hal.science/hal-..

14

New challenges in adaptive real-time systems with parametri..:

Ballabriga, Clément ; Forget, Julien ; Grebant, Sandro.
hal-04197411. , 2023

Link: https://hal.science/hal-..

15

WCET analysis with procedure arguments as parameters:

Grebant, Sandro ; Ballabriga, Clément ; Forget, Julien.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3575757.3593655. , 2023

Link: https://hal.science/hal-..