Benedikt Huber

According to our database1, Benedikt Huber authored at least 18 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Vienna Architecture Description Language.
CoRR, 2024

2018
Patmos: a time-predictable microprocessor.
Real Time Syst., 2018

2015
T-CREST: Time-predictable multi-core architecture for embedded systems.
J. Syst. Archit., 2015

2014
Towards Automated Generation of Time-Predictable Code.
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Scope-Based Method Cache Analysis.
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

2013
Data cache organization for accurate timing analysis.
Real Time Syst., 2013

Combined WCET analysis of bitcode and machine code using control-flow relation graphs.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

The T-CREST approach of compiler and WCET-analysis integration.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Time-predictable code execution - Instruction-set support for the single-path approach.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012
Worst-case execution time analysis-driven object cache design.
Concurr. Comput. Pract. Exp., 2012

A Formal Framework for Precise Parametric WCET Formulas.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

Compiling for Time Predictability.
Proceedings of the Computer Safety, Reliability, and Security, 2012

2010
Worst-case execution time analysis for a Java processor.
Softw. Pract. Exp., 2010

A Code Policy Guaranteeing Fully Automated Path Analysis.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

WCET driven design space exploration of an object cache.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Worst-Case Analysis of Heap Allocations.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Towards Time-Predictable Data Caches for Chip-Multiprocessors.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009


  Loading...