Benedikt Huber
TitleCited byYear
T-CREST: Time-predictable multi-core architecture for embedded systems
M Schoeberl, S Abbaspour, B Akesson, N Audsley, R Capasso, J Garside, ...
Journal of Systems Architecture 61 (9), 449-471, 2015
1342015
Worst‐case execution time analysis for a Java processor
M Schoeberl, W Puffitsch, RU Pedersen, B Huber
Software: Practice and Experience 40 (6), 507-542, 2010
982010
Comparison of implicit path enumeration and model checking based WCET analysis
B Huber, M Schoeberl
9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), 2009
462009
The T-CREST approach of compiler and WCET-analysis integration
P Puschner, D Prokesch, B Huber, J Knoop, S Hepp, G Gebhard
16th IEEE International Symposium on Object/component/service-oriented Real …, 2013
402013
Compiling for time predictability
P Puschner, R Kirner, B Huber, D Prokesch
International Conference on Computer Safety, Reliability, and Security, 382-391, 2012
332012
The platin tool kit-the T-CREST approach for compiler and WCET integration
S Hepp, B Huber, J Knoop, D Prokesch, PP Puschner
Proceedings 18th Kolloquium Programmiersprachen und Grundlagen der …, 2015
282015
WCET tool challenge 2011: Report
R Von Hanxleden, N Holsti, B Lisper, E Ploedereder, R Wilhelm, ...
11th International Workshop on Worst-Case Execution-Time Analysis, 2011
272011
Patmos: A time-predictable microprocessor
M Schoeberl, W Puffitsch, S Hepp, B Huber, D Prokesch
Real-Time Systems 54 (2), 389-423, 2018
262018
Worst‐case execution time analysis‐driven object cache design
B Huber, W Puffitsch, M Schoeberl
Concurrency and Computation: Practice and Experience 24 (8), 753-771, 2012
242012
Towards time-predictable data caches for chip-multiprocessors
M Schoeberl, W Puffitsch, B Huber
IFIP International Workshop on Software Technolgies for Embedded and …, 2009
242009
Combined WCET analysis of bitcode and machine code using control-flow relation graphs
B Huber, D Prokesch, P Puschner
ACM SIGPLAN Notices 48 (5), 163-172, 2013
212013
Worst-case analysis of heap allocations
W Puffitsch, B Huber, M Schoeberl
International Symposium On Leveraging Applications of Formal Methods …, 2010
202010
Data cache organization for accurate timing analysis
M Schoeberl, B Huber, W Puffitsch
Real-Time Systems 49 (1), 1-28, 2013
192013
WCET driven design space exploration of an object cache
B Huber, W Puffitsch, M Schoeberl
Proceedings of the 8th International Workshop on Java Technologies for Real …, 2010
172010
Worst-case execution time analysis for real-time Java
B Huber
na, 2009
142009
Towards an open timing analysis platform
B Huber, W Puffitsch, P Puschner
Proceedings of the 11th International Workshop on Worst-Case Execution Time …, 2011
122011
Scope-based method cache analysis
B Huber, S Hepp, M Schoeberl
14th International Workshop on Worst-Case Execution Time Analysis, 2014
112014
A formal framework for precise parametric WCET formulas
B Huber, D Prokesch, P Puschner
12th International Workshop on Worst-Case Execution Time Analysis, 2012
112012
Towards automated generation of time-predictable code
D Prokesch, B Huber, P Puschner
14th International Workshop on Worst-Case Execution Time Analysis, 2014
82014
Microprocessor Components and Signal Behavior Modeling in DAME
B Huber, M Escalante, D Caughey, NJ Dimopoulos, KF Li, D Li, ...
Proceedings of the Canadian Conference on Electrical and Computer …, 1990
61990
The system can't perform the operation now. Try again later.
Articles 1–20