Benedikt Huber

21 papers B 1C 2Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
OpenVADL: An Open Source Implementation of the Vienna Architecture Description Language.
ARCS
Florian Freitag, Linus Halder, Benedikt Huber, Benjamin Kasper, Michael Nestler, Kevin Per, Matthias Raschhofer, Alexander Ripar, Johannes Zottele, Andreas Krall
2025 — conf
Pattern Matching, Transformation and Code Replacement on a Polyhedral Representation of Nested Loops.
CF
Benedikt Huber, Andreas Krall
2024 — conf
The Platin Multi-Target Worst-Case Analysis Tool.
WCET
Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter P. Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter Wägemann
2024 J jnl
The Vienna Architecture Description Language.
CoRR
Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall
2018 J jnl
Patmos: a time-predictable microprocessor.
Real Time Syst.
Martin Schoeberl, Wolfgang Puffitsch, Stefan Hepp, Benedikt Huber, Daniel Prokesch
2015 J jnl
T-CREST: Time-predictable multi-core architecture for embedded systems.
J. Syst. Archit.
Martin Schoeberl, Sahar Abbaspour, Benny Akesson, Neil C. Audsley, Raffaele Capasso, Jamie Garside, Kees Goossens, Sven Goossens, Scott Hansen, Reinhold Heckmann, Stefan Hepp, Benedikt Huber, Alexander Jordan, Evangelia Kasapaki, Jens Knoop, Yonghui Li, Daniel Prokesch, Wolfgang Puffitsch, Peter P. Puschner, André Rocha, Cláudio Silva, Jens Sparsø, Alessandro Tocchi
2014 — conf
Scope-Based Method Cache Analysis.
WCET
Benedikt Huber, Stefan Hepp, Martin Schoeberl
2014 — conf
Towards Automated Generation of Time-Predictable Code.
WCET
Daniel Prokesch, Benedikt Huber, Peter P. Puschner
2013 B conf
Combined WCET analysis of bitcode and machine code using control-flow relation graphs.
LCTES
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2013 J jnl
Data cache organization for accurate timing analysis.
Real Time Syst.
Martin Schoeberl, Benedikt Huber, Wolfgang Puffitsch
2013 C conf
The T-CREST approach of compiler and WCET-analysis integration.
ISORC
Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
2013 C conf
Time-predictable code execution - Instruction-set support for the single-path approach.
ISORC
Clemens B. Geyer, Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2012 — conf
A Formal Framework for Precise Parametric WCET Formulas.
WCET
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2012 — conf
Compiling for Time Predictability.
SAFECOMP Workshops
Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
2012 J jnl
Worst-case execution time analysis-driven object cache design.
Concurr. Comput. Pract. Exp.
Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
2010 — conf
A Code Policy Guaranteeing Fully Automated Path Analysis.
WCET
Benedikt Huber, Peter P. Puschner
2010 — conf
WCET driven design space exploration of an object cache.
JTRES
Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
2010 — conf
Worst-Case Analysis of Heap Allocations.
ISoLA (2)
Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
2010 J jnl
Worst-case execution time analysis for a Java processor.
Softw. Pract. Exp.
Martin Schoeberl, Wolfgang Puffitsch, Rasmus Ulslev Pedersen, Benedikt Huber
2009 — conf
Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis.
WCET
Benedikt Huber, Martin Schoeberl
2009 — conf
Towards Time-Predictable Data Caches for Chip-Multiprocessors.
SEUS
Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber