Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Forget, Julien
283  Ergebnisse:
Personensuche X
?
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

Synchronous semantics of multi-mode multi-periodic systems:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
Fort, Frédéric ; Forget, Julien - p. 1248-1257 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

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/..
 
?
5

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/..
 
?
6

Code generation for multi-phase tasks on a multi-core distr..:

, In: 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
Fort, Frederic ; Forget, Julien - p. 1-6 , 2019
Link: https://doi.org/10.1109/..
 
?
7

Automated generation of time-predictable executables on mul..:

, In: Proceedings of the 26th International Conference on Real-Time Networks and Systems,
Pagetti, Claire ; Forget, Julien ; Falk, Heiko.. - p. 104-113 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

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/..
 
?
9

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..
 
?
10

Proceedings of the 23rd International Conference on Real Ti..:

Forget, Julien , 2015
Link: https://dl.acm.org/doi/1..
 
?
11

Minimizing a real-time task set through Task Clustering:

, In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems,
Bertout, Antoine ; Forget, Julien ; Olejnik, Richard - p. 23-31 , 2014
Link: https://dl.acm.org/doi/1..
 
?
12

A heuristic to minimize the cardinality of a real-time task..:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,
Bertout, Antoine ; Forget, Julien ; Olejnik, Richard - p. 1431-1436 , 2014
Link: https://dl.acm.org/doi/1..
 
?
13

End-to-end latency computation in a multi-periodic design:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,
Wyss, Rémy ; Boniol, Frédéric ; Pagetti, Claire. - p. 1682-1687 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

Multi-task Implementation of Multi-periodic Synchronous Pro..:

Pagetti, Claire ; Forget, Julien ; Boniol, Frédéric..
Discrete Event Dynamic Systems.  21 (2011)  3 - p. 307-338 , 2011
Link: https://doi.org/10.1007/..
 
?
15

A real-time architecture design language for multi-rate emb..:

, In: Proceedings of the 2010 ACM Symposium on Applied Computing,
Forget, Julien ; Boniol, Frédéric ; Lesens, David. - p. 527-534 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15