I agree that this site is using cookies. You can find further informations here.
X
Brandner, Florian
135  results:
Search for persons X
?
1

Multi-Criteria Optimization of Distributed Real-Time Networ..:

, In: 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC),
Champenois, Florient ; Brandner, Florian ; Grandpierre, Thierry... - p. 1-11 , 2024
Link: https://doi.org/10.1109/..
 
?
2

A formal framework to design and prove trustworthy memory c..:

Lisboa Malaquias, Felipe ; Asavoae, Mihail ; Brandner, Florian
Real-Time Systems.  59 (2023)  4 - p. 664-704 , 2023
Link: https://doi.org/10.1007/..
 
?
3

From the Standards to Silicon: Formally Proved Memory Contr..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Malaquias, Felipe Lisboa ; Asavoae, Mihail ; Brandner, Florian - p. 295-311 , 2023
Link: https://doi.org/10.1007/..
 
?
4

The Role of Causality in a Formal Definition of Timing Anom..:

, In: 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
Binder, Benjamin ; Asavoae, Mihail ; Brandner, Florian.. - p. 91-102 , 2022
Link: https://doi.org/10.1109/..
 
?
5

A Coq Framework for More Trustworthy DRAM Controllers:

, In: Proceedings of the 30th International Conference on Real-Time Networks and Systems,
Lisboa Malaquias, Felipe ; Asavoae, Mihail ; Brandner, Florian - p. 140-150 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Formal modeling and verification for amplification timing a..:

Binder, Benjamin ; Asavoae, Mihail ; Brandner, Florian..
International Journal on Software Tools for Technology Transfer.  24 (2022)  3 - p. 415-440 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Precise, efficient, and context-sensitive cache analysis:

Brandner, Florian ; Noûs, Camille
Real-Time Systems.  58 (2021)  1 - p. 36-84 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Propagating Information Using SSA:

, In: SSA-based Compiler Design,
Brandner, Florian ; Novillo, Diego - p. 95-106 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Scalable Detection of Amplification Timing Anomalies for th..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Binder, Benjamin ; Asavoae, Mihail ; Brandner, Florian.. - p. 151-169 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Precise and Efficient Analysis of Context-Sensitive Cache C..:

, In: Proceedings of the 28th International Conference on Real-Time Networks and Systems,
Brandner, Florian ; Noûs, Camille - p. 44-55 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Work-conserving dynamic time-division multiplexing for mult..:

Hebbache, Farouk ; Brandner, Florian ; Jan, Mathieu.
Real-Time Systems.  56 (2019)  2 - p. 124-170 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Analysis of preemption costs for the stack cache:

Naji, Amine ; Abbaspour, Sahar ; Brandner, Florian.
Real-Time Systems.  54 (2018)  3 - p. 700-744 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Studying Optimal Spilling in the Light of SSA:

Colombet, Quentin ; Brandner, Florian ; Darte, Alain
ACM Transactions on Architecture and Code Optimization (TACO).  11 (2015)  4 - p. 1-26 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

Efficient context switching for the stack cache : implem..:

, In: Proceedings of the 23rd International Conference on Real Time and Networks Systems,
Abbaspour, Sahar ; Brandner, Florian ; Naji, Amine. - p. 119-128 , 2015
Link: https://dl.acm.org/doi/1..
 
?
15

Studying Optimal Spilling in the Light of SSA:

Colombet, Quentin ; Brandner, Florian ; Darte, Alain
ACM Transactions on Architecture and Code Optimization.  11 (2015)  4 - p. 1-26 , 2015
Link: https://doi.org/10.1145/..
 
1-15