Följ
Reinhard Wilhelm
Reinhard Wilhelm
Computer Science, Saarland University, Saarland Informatics Campus (SIC)
Verifierad e-postadress på cs.uni-saarland.de
Titel
Citeras av
Citeras av
År
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
27002008
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
14492002
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
5581998
Reliable and precise WCET determination for a real-life processor
C Ferdinand, R Heckmann, M Langenbach, F Martin, M Schmidt, ...
Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA …, 2001
4352001
Fast and precise WCET prediction by separated cache and path analyses
H Theiling, C Ferdinand, R Wilhelm
Real-Time Systems 18, 157-179, 2000
3772000
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
3722003
Compiler Design - Virtual Machines
R Wilhelm, H Seidl
Springer Verlag, 0
369*
Efficient and precise cache behavior prediction for real-time systems
C Ferdinand, R Wilhelm
Real-time systems 17, 131-181, 1999
3311999
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
3192009
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
2882006
Design for timing predictability
L Thiele, R Wilhelm
Real-Time Systems 28 (2), 157-177, 2004
2762004
Timing predictability of cache replacement policies
J Reineke, D Grund, C Berg, R Wilhelm
Real-Time Systems 37, 99-122, 2007
2622007
Cache behavior prediction by abstract interpretation
M Alt, C Ferdinand, F Martin, R Wilhelm
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
2591996
Ubersetzerbau
R Wilhelm, D Maurer
Springer, 1997
1991997
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
1682000
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
1662010
Building timing predictable embedded systems
P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014
1632014
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
1581997
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
1512005
Cache behavior prediction by abstract interpretation
C Ferdinand, F Martin, R Wilhelm, M Alt
Science of Computer Programming 35 (2-3), 163-189, 1999
1441999
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20