Reinhard Wilhelm
Reinhard Wilhelm
Computer Science, Saarland University, Saarland Informatics Campus (SIC)
Verified email at cs.uni-saarland.de
Title
Cited by
Cited by
Year
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
20842008
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
13232002
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
5171998
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
3782001
Fast and precise WCET prediction by separated cache and path analyses
H Theiling, C Ferdinand, R Wilhelm
Real-Time Systems 18 (2-3), 157-179, 2000
3462000
Compiler Design - Virtual Machines
R Wilhelm, H Seidl
Springer Verlag, 0
339*
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
3262003
Efficient and precise cache behavior prediction for real-time systems
C Ferdinand, R Wilhelm
Real-Time Systems 17 (2-3), 131-181, 1999
2881999
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
2792009
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
2292006
Cache behavior prediction by abstract interpretation
M Alt, C Ferdinand, F Martin, R Wilhelm
International Static Analysis Symposium, 52-66, 1996
2241996
Timing predictability of cache replacement policies
J Reineke, D Grund, C Berg, R Wilhelm
Real-Time Systems 37 (2), 99-122, 2007
2202007
Übersetzerbau
R Wilhelm, H Seidl, S Hack, H Seidl
Springer, 1997
1971997
Design for timing predictability
L Thiele, R Wilhelm
Real-Time Systems 28 (2-3), 157-177, 2004
1962004
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
1612000
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
1501997
Shape analysis
R Wilhelm, M Sagiv, T Reps
International Conference on Compiler Construction, 1-17, 2000
1462000
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
1452005
On predicting data cache behavior for real-time systems
C Ferdinand, R Wilhelm
Languages, Compilers, and Tools for Embedded Systems, 16-30, 1998
1351998
Cache behavior prediction by abstract interpretation
C Ferdinand, F Martin, R Wilhelm, M Alt
Science of Computer Programming 35 (2-3), 163-189, 1999
1331999
The system can't perform the operation now. Try again later.
Articles 1–20