Benedikt Huber


Benedikt Huber
Univ.Ass. Projektass. Dipl.-Ing.
Phone -
Fax +43(1)58801-9-18215

Vienna University of Technology
Institute of Computer Engineering

Benedikt Huber is a research and teaching assistant at the Institut für Technische Informatik at the Vienna University of Technology, in the Realtime Systems group. He studied Computer Science at the Vienna University of Technology, and received his Dipl.-Ing. (Master's) degree in Computational Intelligence in 2009. Currently, he is working on his PhD on WCET analysis-guided design of time-predictable systems. Benedikt developed the most recent release of the WCET tool for the Java Optimized Processor, and organized the lab exercises for the master level course on WCET analysis. Additionally, Benedikt co-organized the operating system labs at the RTS group, and enjoys and promotes functional programming with Haskell.


Timing Analysis for Safety-Critical Real-Time Systems (SS 2009, SS 2011, SS 2012, SS2013)
Operating System Development (SS 2012, SS 2013)

Operating Systems Lab (2009 - 2012)


Selection of journal articles and workshop/conference articles published together with my colleagues:

Combined WCET Analysis of Bitcode and Machine Code using Control-Flow Relation Graphs
Benedikt Huber, Daniel Prokesch, Peter Puschner
14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'13)

A Formal Framework for Precise Parametric WCET Formulas

Benedikt Huber, Daniel Prokesch, Peter Puschner
12th International Workshop on Worst-Case Execution-Time Analysis (WCET'12)

Worst-case execution time analysis driven object cache design

Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl
Concurrency and Computation: Practice and Experience, 2012

Data Cache Organization for Accurate Timing Analysis

Martin Schoeberl, Benedikt Huber, Wolfgang Puffitsch
Real-Time Systems, 2012

Towards an open Timing Analysis Platform

Benedikt Huber, Wolfgang Puffitsch, Peter Puschner
11th International Workshop on Worst-Case Execution-Time Analysis, 2011

A Code Policy Guaranteeing Fully Automated Path Analysis
Benedikt Huber, Peter Puschner
10th International Workshop on Worst-Case Execution-Time Analysis, 2010

Worst-case execution time analysis for a Java processor

Martin Schoeberl, Wolfgang Puffitsch, Rasmus Pedersen, Benedikt Huber
Software: Practice and Experience, 2010

Worst-Case Analysis of Heap Allocations
Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation, 2010

Comparison of Implicit Path Enumeration and Model Checking based WCET Analysis
Benedikt Huber, Martin Schoeberl
Proceedings of the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009