Reinhard Wilhelm
Reinhard Wilhelm
Computer Science, Saarland University, Saarland Informatics Campus (SIC)
Verified email at
Cited by
Cited by
The worst-case execution-time problem—overview of methods and survey of tools
R Wilhelm, J Engblom, A Ermedahl, N Holsti, S Thesing, D Whalley, ...
ACM Transactions on Embedded Computing Systems (TECS) 7 (3), 1-53, 2008
Parametric shape analysis via 3-valued logic
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (3), 217-298, 2002
Solving shape-analysis problems in languages with destructive updating
M Sagiv, T Reps, R Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 1-50, 1998
Reliable and precise WCET determination for a real-life processor
C Ferdinand, R Heckmann, M Langenbach, F Martin, M Schmidt, ...
International Workshop on Embedded Software, 469-485, 2001
Fast and precise WCET prediction by separated cache and path analyses
H Theiling, C Ferdinand, R Wilhelm
Real-Time Systems 18 (2), 157-179, 2000
The influence of processor architecture on the design and the results of WCET tools
R Heckmann, M Langenbach, S Thesing, R Wilhelm
Proceedings of the IEEE 91 (7), 1038-1054, 2003
Compiler Design - Virtual Machines
R Wilhelm, H Seidl
Springer Verlag, 0
Efficient and precise cache behavior prediction for real-time systems
C Ferdinand, R Wilhelm
Real-time systems 17 (2), 131-181, 1999
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
R Wilhelm, D Grund, J Reineke, M Schlickling, M Pister, C Ferdinand
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
A definition and classification of timing anomalies
J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ...
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006
Timing predictability of cache replacement policies
J Reineke, D Grund, C Berg, R Wilhelm
Real-Time Systems 37 (2), 99-122, 2007
Cache behavior prediction by abstract interpretation
M Alt, C Ferdinand, F Martin, R Wilhelm
International Static Analysis Symposium, 52-66, 1996
Design for timing predictability
L Thiele, R Wilhelm
Real-Time Systems 28 (2), 157-177, 2004
R Wilhelm, H Seidl, S Hack
Springer Vieweg, 1997
Putting static analysis to work for verification: A case study
T Lev-Ami, T Reps, M Sagiv, R Wilhelm
Proceedings of the 2000 ACM SIGSOFT international symposium on Software …, 2000
Applying compiler techniques to cache behavior prediction
C Ferdinand, F Martin, R Wilhelm
Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool …, 1997
A semantics for procedure local heaps and its abstractions
N Rinetzky, J Bauer, T Reps, M Sagiv, R Wilhelm
ACM SIGPLAN Notices 40 (1), 296-309, 2005
Shape analysis
R Wilhelm, M Sagiv, T Reps
International Conference on Compiler Construction, 1-17, 2000
Predictability considerations in the design of multi-core embedded systems
C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ...
Proceedings of Embedded Real Time Software and Systems 36, 42, 2010
Cache behavior prediction by abstract interpretation
C Ferdinand, F Martin, R Wilhelm, M Alt
Science of Computer Programming 35 (2-3), 163-189, 1999
The system can't perform the operation now. Try again later.
Articles 1–20