Benedikt Huber
| Benedikt Huber Univ.Ass. Projektass. Dipl.-Ing. |
 |
|
| Phone | - | |
| Fax | +43(1)58801-9-18215 | |
| Address |
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.
Teaching
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)
Publications
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