Benedikt Huber

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 3

Top Topics

Description Language

Top Venues

J. Syst. Archit.

Real Time Syst.

Publications

Simon Himmelbauer, Christoph Hochrainer, Benedikt Huber, Niklas Mischkulnig, Philipp Paulweber, Tobias Schwarzinger, Andreas Krall
The Vienna Architecture Description Language. CoRR (2024)
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
The Platin Multi-Target Worst-Case Analysis Tool. WCET (2024)
Martin Schoeberl, Wolfgang Puffitsch, Stefan Hepp, Benedikt Huber, Daniel Prokesch
Patmos: a time-predictable microprocessor. Real Time Syst. 54 (2) (2018)
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
T-CREST: Time-predictable multi-core architecture for embedded systems. J. Syst. Archit. 61 (9) (2015)
Daniel Prokesch, Benedikt Huber, Peter P. Puschner
Towards Automated Generation of Time-Predictable Code. WCET (2014)
Benedikt Huber, Stefan Hepp, Martin Schoeberl
Scope-Based Method Cache Analysis. WCET (2014)
Martin Schoeberl, Benedikt Huber, Wolfgang Puffitsch
Data cache organization for accurate timing analysis. Real Time Syst. 49 (1) (2013)
Clemens B. Geyer, Benedikt Huber, Daniel Prokesch, Peter P. Puschner
Time-predictable code execution - Instruction-set support for the single-path approach. ISORC (2013)
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
Combined WCET analysis of bitcode and machine code using control-flow relation graphs. LCTES (2013)
Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
The T-CREST approach of compiler and WCET-analysis integration. ISORC (2013)
Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
Compiling for Time Predictability. SAFECOMP Workshops (2012)
Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
Worst-case execution time analysis-driven object cache design. Concurr. Comput. Pract. Exp. 24 (8) (2012)
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
A Formal Framework for Precise Parametric WCET Formulas. WCET (2012)
Benedikt Huber, Peter P. Puschner
A Code Policy Guaranteeing Fully Automated Path Analysis. WCET (2010)
Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
WCET driven design space exploration of an object cache. JTRES (2010)
Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
Worst-Case Analysis of Heap Allocations. ISoLA (2) (2010)
Martin Schoeberl, Wolfgang Puffitsch, Rasmus Ulslev Pedersen, Benedikt Huber
Worst-case execution time analysis for a Java processor. Softw. Pract. Exp. 40 (6) (2010)
Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber
Towards Time-Predictable Data Caches for Chip-Multiprocessors. SEUS (2009)
Benedikt Huber, Martin Schoeberl
Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis. WCET (2009)