Towards Time-Predictable Data Caches for Chip-Multiprocessors. - Martin Schoeberl; Wolfgang Puffitsch; Benedikt Huber (SEUS, 2009)

Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis. - Benedikt Huber; Martin Schoeberl (WCET, 2009)

Worst-Case Analysis of Heap Allocations. - Wolfgang Puffitsch; Benedikt Huber; Martin Schoeberl (ISoLA (2), 2010)

WCET driven design space exploration of an object cache. - Benedikt Huber; Wolfgang Puffitsch; Martin Schoeberl (JTRES, 2010)

A Code Policy Guaranteeing Fully Automated Path Analysis. - Benedikt Huber; Peter P. Puschner (WCET, 2010)

Worst-case execution time analysis for a Java processor. - Martin Schoeberl; Wolfgang Puffitsch; Rasmus Ulslev Pedersen; Benedikt Huber (Softw. Pract. Exp., 2010)

Compiling for Time Predictability. - Peter P. Puschner; Raimund Kirner; Benedikt Huber; Daniel Prokesch (SAFECOMP Workshops, 2012)

A Formal Framework for Precise Parametric WCET Formulas. - Benedikt Huber; Daniel Prokesch; Peter P. Puschner (WCET, 2012)

Worst-case execution time analysis-driven object cache design. - Benedikt Huber; Wolfgang Puffitsch; Martin Schoeberl (Concurr. Comput. Pract. Exp., 2012)

Time-predictable code execution - Instruction-set support for the single-path approach. - Clemens B. Geyer; Benedikt Huber; Daniel Prokesch; Peter P. Puschner (ISORC, 2013)

The T-CREST approach of compiler and WCET-analysis integration. - Peter P. Puschner; Daniel Prokesch; Benedikt Huber; Jens Knoop; Stefan Hepp; Gernot Gebhard (ISORC, 2013)

Combined WCET analysis of bitcode and machine code using control-flow relation graphs. - Benedikt Huber; Daniel Prokesch; Peter P. Puschner (LCTES, 2013)

Data cache organization for accurate timing analysis. - Martin Schoeberl; Benedikt Huber; Wolfgang Puffitsch (Real Time Syst., 2013)

Scope-Based Method Cache Analysis. - Benedikt Huber; Stefan Hepp; Martin Schoeberl (WCET, 2014)

Towards Automated Generation of Time-Predictable Code. - Daniel Prokesch; Benedikt Huber; Peter P. Puschner (WCET, 2014)

T-CREST: Time-predictable multi-core architecture for embedded systems. - 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; et al. (J. Syst. Archit., 2015)

Patmos: a time-predictable microprocessor. - Martin Schoeberl; Wolfgang Puffitsch; Stefan Hepp; Benedikt Huber; Daniel Prokesch (Real Time Syst., 2018)

The Platin Multi-Target Worst-Case Analysis Tool. - Emad Jacob Maroun; Eva Dengler; Christian Dietrich 001; Stefan Hepp; Henriette Herzog; Benedikt Huber; Jens Knoop; Daniel Wiltsche-Prokesch; Peter P. Puschner; Phillip Raffeck; Martin Schoeberl; Simon Schuster; et al. (WCET, 2024)

The Vienna Architecture Description Language. - Simon Himmelbauer; Christoph Hochrainer; Benedikt Huber; Niklas Mischkulnig; Philipp Paulweber; Tobias Schwarzinger; Andreas Krall (CoRR, 2024)

Pattern Matching, Transformation and Code Replacement on a Polyhedral Representation of Nested Loops. - Benedikt Huber; Andreas Krall (CF, 2025)