Florian Brandner

According to our database, Florian Brandner authored at least 48 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A formal framework to design and prove trustworthy memory controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Real Time Syst., December, 2023

From the Standards to Silicon: Formally Proved Memory Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Int. J. Softw. Tools Technol. Transf., 2022

Precise, efficient, and context-sensitive cache analysis.

Florian Brandner, Camille Noûs

Real Time Syst., 2022

A Coq Framework for More Trustworthy DRAM Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

The Role of Causality in a Formal Definition of Timing Anomalies.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Propagating Information Using SSA.

Florian Brandner, Diego Novillo

Proceedings of the SSA-based Compiler Design, 2022

2021

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test.

Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2020

Work-conserving dynamic time-division multiplexing for multi-criticality systems.

Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet

Real Time Syst., 2020

Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets.

Florian Brandner, Camille Noûs

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Arbitration-Induced Preemption Delays.

Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

Analysis of preemption costs for the stack cache.

Amine Naji, Sahar Abbaspour, Florian Brandner, Mathieu Jan

Real Time Syst., 2018

Shedding the Shackles of Time-Division Multiplexing.

Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

2017

Modeling the energy consumption of programs: Thermal aspects and energy/frequency convexity rule (invited paper).

Karel De Vogeleer, Kameswar Rao Vaddina, Florian Brandner, Pierre Jouvelot, Gérard Memmi

Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

Worst-Case Execution Time Analysis of Predicated Architectures.

Florian Brandner, Amine Naji

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Experimental energy profiling of energy-critical embedded applications.

Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot

Proceedings of the 25th International Conference on Software, 2017

2016

Eager Stack Cache Memory Transfers.

Amine Naji, Florian Brandner

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015

Efficient context switching for the stack cache: implementation and analysis.

Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

2014

Studying Optimal Spilling in the Light of SSA.

Quentin Colombet, Florian Brandner, Alain Darte

ACM Trans. Archit. Code Optim., 2014

Criticality: static profiling for real-time programs.

Florian Brandner, Stefan Hepp, Alexander Jordan

Real Time Syst., 2014

Refinement of worst-case execution time bounds by graph pruning.

Florian Brandner, Alexander Jordan

Comput. Lang. Syst. Struct., 2014

Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis.

Sahar Abbaspour, Alexander Jordan, Florian Brandner

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

A loosely synchronizing asynchronous router for TDM-scheduled NOCs.

I. Kotleas, D. Humphreys, Rasmus Bo Sørensen, Evangelia Kasapaki, Florian Brandner, Jens Sparsø

Proceedings of the Eighth IEEE/ACM International Symposium on Networks-on-Chip, 2014

Splitting functions into single-entry regions.

Stefan Hepp, Florian Brandner

Proceedings of the 2014 International Conference on Compilers, 2014

2013

DSP Instruction Set Simulation.

Florian Brandner, R. Nigel Horspool, Andreas Krall

Proceedings of the Handbook of Signal Processing Systems, 2013

Automatic generation of compiler backends.

Florian Brandner, Viktor Pavlu, Andreas Krall

Softw. Pract. Exp., 2013

Elimination of parallel copies using code motion on data dependence graphs.

Florian Brandner, Quentin Colombet

Comput. Lang. Syst. Struct., 2013

Static analysis of worst-case stack cache behavior.

Alexander Jordan, Florian Brandner, Martin Schoeberl

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

A time-predictable stack cache.

Sahar Abbaspour, Florian Brandner, Martin Schoeberl

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Copy elimination on data dependence graphs.

Florian Brandner, Quentin Colombet

Proceedings of the ACM Symposium on Applied Computing, 2012

Static routing in symmetric real-time network-on-chips.

Florian Brandner, Martin Schoeberl

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

Static profiling of the worst-case in real-time programs.

Florian Brandner, Stefan Hepp, Alexander Jordan

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems.

Martin Schoeberl, Florian Brandner, Jens Sparsø, Evangelia Kasapaki

Proceedings of the 2012 Sixth IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2012

2011

Modeling application-specific processors for embedded systems.

Florian Brandner, Viktor Pavlu, Andreas Krall

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach.

Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs.

Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

RTTM: real-time transactional memory.

Martin Schoeberl, Florian Brandner, Jan Vitek

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

SPUR: a trace-based JIT compiler for CIL.

Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Completeness of automatically generated instruction selectors.

Florian Brandner

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

DSP Instruction Set Simulation.

Florian Brandner, R. Nigel Horspool, Andreas Krall

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

Precise simulation of interrupts using a rollback mechanism.

Florian Brandner

Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

Stack allocation of objects in the CACAO virtual machine.

Peter Molnar, Andreas Krall, Florian Brandner

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Embedded JIT Compilation with CACAO on YARI.

Florian Brandner, Tommy Thorn, Martin Schoeberl

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008

Generalized instruction selection using <i>SSA</i>-graphs.

Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

2007

Leveraging Predicated Execution for Multimedia Processing.

Dietmar Ebner, Florian Brandner, Andreas Krall

Proceedings of the 2007 5th Workshop on Embedded Systems for Real-Time Multimedia, 2007

Compiler generation from structural architecture descriptions.

Florian Brandner, Dietmar Ebner, Andreas Krall

Proceedings of the 2007 International Conference on Compilers, 2007

2006

Effective compiler generation by architecture description.

Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006