Florian Brandner

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