Florian Brandner

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 18

Top Topics

Top Venues

Real Time Syst.

Publications

Florient Champenois, Florian Brandner, Thierry Grandpierre, Etienne Borde, Abraham Suissa, Laurent Georges
Multi-Criteria Optimization of Distributed Real-Time Network Topologies. ISORC (2024)
Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
From the Standards to Silicon: Formally Proved Memory Controllers. NFM (2023)
Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
A formal framework to design and prove trustworthy memory controllers. Real Time Syst. 59 (4) (2023)
Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
A Coq Framework for More Trustworthy DRAM Controllers. RTNS (2022)
Florian Brandner, Camille Noûs
Precise, efficient, and context-sensitive cache analysis. Real Time Syst. 58 (1) (2022)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
The Role of Causality in a Formal Definition of Timing Anomalies. RTCSA (2022)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. RTCSA (2021)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. FMICS (2020)
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet
Work-conserving dynamic time-division multiplexing for multi-criticality systems. Real Time Syst. 56 (2) (2020)
Florian Brandner, Camille Noûs
Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets. RTNS (2020)
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet
Arbitration-Induced Preemption Delays. ECRTS (2019)
Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet
Shedding the Shackles of Time-Division Multiplexing. RTSS (2018)
Amine Naji, Sahar Abbaspour, Florian Brandner, Mathieu Jan
Analysis of preemption costs for the stack cache. Real Time Syst. 54 (3) (2018)
Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot
Experimental energy profiling of energy-critical embedded applications. SoftCOM (2017)
Florian Brandner, Amine Naji
Worst-Case Execution Time Analysis of Predicated Architectures. WCET (2017)
Karel De Vogeleer, Kameswar Rao Vaddina, Florian Brandner, Pierre Jouvelot, Gérard Memmi
Modeling the energy consumption of programs: Thermal aspects and energy/frequency convexity rule (invited paper). WCSP (2017)
Amine Naji, Florian Brandner
Eager Stack Cache Memory Transfers. WCET (2016)
Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan
Efficient context switching for the stack cache: implementation and analysis. RTNS (2015)
I. Kotleas, D. Humphreys, Rasmus Bo Sorensen, Evangelia Kasapaki, Florian Brandner, Jens Sparsø
A loosely synchronizing asynchronous router for TDM-scheduled NOCs. NOCS (2014)
Florian Brandner, Stefan Hepp, Alexander Jordan
Criticality: static profiling for real-time programs. Real Time Syst. 50 (3) (2014)
Florian Brandner, Alexander Jordan
Refinement of worst-case execution time bounds by graph pruning. Comput. Lang. Syst. Struct. 40 (3-4) (2014)
Sahar Abbaspour, Alexander Jordan, Florian Brandner
Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis. WCET (2014)
Stefan Hepp, Florian Brandner
Splitting functions into single-entry regions. CASES (2014)
Quentin Colombet, Florian Brandner, Alain Darte
Studying Optimal Spilling in the Light of SSA. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Sahar Abbaspour, Florian Brandner, Martin Schoeberl
A time-predictable stack cache. ISORC (2013)
Alexander Jordan, Florian Brandner, Martin Schoeberl
Static analysis of worst-case stack cache behavior. RTNS (2013)
Florian Brandner, Quentin Colombet
Elimination of parallel copies using code motion on data dependence graphs. Comput. Lang. Syst. Struct. 39 (1) (2013)
Florian Brandner, Viktor Pavlu, Andreas Krall
Automatic generation of compiler backends. Softw. Pract. Exp. 43 (2) (2013)
Florian Brandner, Martin Schoeberl
Static routing in symmetric real-time network-on-chips. RTNS (2012)
Florian Brandner, Stefan Hepp, Alexander Jordan
Static profiling of the worst-case in real-time programs. RTNS (2012)
Florian Brandner, Quentin Colombet
Copy elimination on data dependence graphs. SAC (2012)
Martin Schoeberl, Florian Brandner, Jens Sparsø, Evangelia Kasapaki
A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. NOCS (2012)
Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. APLAS (2011)
Quentin Colombet, Florian Brandner, Alain Darte
Studying optimal spilling in the light of SSA. CASES (2011)
Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. PPES (2011)
Florian Brandner, Viktor Pavlu, Andreas Krall
Modeling application-specific processors for embedded systems. GI-Jahrestagung (2011)
Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
SPUR: a trace-based JIT compiler for CIL. OOPSLA (2010)
Martin Schoeberl, Florian Brandner, Jan Vitek
RTTM: real-time transactional memory. SAC (2010)
Florian Brandner
Completeness of automatically generated instruction selectors. ASAP (2010)
Peter Molnar, Andreas Krall, Florian Brandner
Stack allocation of objects in the CACAO virtual machine. PPPJ (2009)
Florian Brandner, Tommy Thorn, Martin Schoeberl
Embedded JIT Compilation with CACAO on YARI. ISORC (2009)
Florian Brandner
Precise simulation of interrupts using a rollback mechanism. SCOPES (2009)
Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec
-graphs. LCTES (2008)
Dietmar Ebner, Florian Brandner, Andreas Krall
Leveraging Predicated Execution for Multimedia Processing. ESTIMedia (2007)
Florian Brandner, Dietmar Ebner, Andreas Krall
Compiler generation from structural architecture descriptions. CASES (2007)
Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner
Effective compiler generation by architecture description. LCTES (2006)