

<pre>
!!!Partial of Publications


!!Journal Papers
1. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems\\
R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009. \\

2. 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, G. Bernat, C. Ferdinand, R. Heckmann, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008. \\ 

3. Timing Predictability of Cache Replacement Policies\\
J. Reineke, D. Grund, C. Berg, and R. Wilhelm
Real-Time Systems, 37 (2), 2007. \\

4. Design for Timing Predictability\\
L. Thiele, and R. Wilhelm
Real-Time Systems, 28, 2004.\\ 

5. The Influence of Processor Architecture on the Design and the Results of WCET Tools\\
R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm
Proceedings of the IEEE, 91 (7), 2003.\\ 

6. Parametric Shape Analysis via 3-Valued Logic\\
M. Sagiv, T. Reps, and R. Wilhelm
ACM Transactions on Programming Languages and Systems, 24 (3), 2002.\\ 
   

7. Focusing in Algorithm Explanation\\
B. Braune, and R. Wilhelm
IEEE Transactions on Visualization and Computer Graphics, 6 (1), 2000. \\


8. Fast and Precise WCET Prediction by Separate Cache and Path Analyses\\
H. Theiling, C. Ferdinand, and R. Wilhelm
Real-Time Systems, 18 (2/3), 2000. \\

   
9. Focussing in Algorithm Explanation\\
R. Wilhelm, and B. Braune
Transactions on Visualization and Computer Graphics, 6 (1), 2000. \\


10. Fast and Efficient Cache Behavior Prediction for Real-Time Systems\\
C. Ferdinand, and R. Wilhelm
Real-Time Systems, 17(2/3), 1999. \\


11. Cache Behavior Prediction by Abstract Interpretation\\
C. Ferdinand, F. Martin, and R. Wilhelm
Science of Computer Programming, 1998. \\


12. Cache Behavior Prediction by Abstract Interpretation\\
C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
Science of Computer Programming, Elsevier, 1998. \\


13. A Functional Description of TeX's Formula Layout\\
R. Heckmann, and R. Wilhelm
Journal of Functional Programming, 1998. \\


14. Operations Research Methods in Compiler Backends\\
D. Kästner, and R. Wilhelm
Mathematical Communications, 3 (2), 1998. \\


15. Solving Shape-Analysis Problems in Languages with Destructive Updating\\
M. Sagiv, T. Reps, and R. Wilhelm
ACM Transactions on Programming Languages and Systems, 20 (1), 1998. \\


16. A Logic-Based Approach to Data Flow Analysis Problems\\
S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
ACTA INFORMATICA, 35, 1998. \\


17. Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung\\
P. G. Bouillon, G. Sander, and R. Wilhelm
Informatik: Forschung und Entwicklung, 9 (2), 1994. \\


18. Table Compression for Tree Automata\\
J. Börstler, U. Möncke, and R. Wilhelm
ACM Transactions on Programming Languages and Systems (TOPLAS), 13 (3), 1991. \\


19. MaMa – Eine abstrakte Maschine zur Implementierung funktionaler Sprachen\\
D. Maurer, and R. Wilhelm
Informatik – Forschung und Entwicklung, 4, 1989. \\


20. Implementing Circular Attribute Grammars Through Attribute Reevaluation\\
W. Thome, and R. Wilhelm
Information Processing Letters, 33 (3), 1989. \\


21. Attribute (Re)evaluation in OPTRAN\\
P. Lipps, U. Möncke, and R. Wilhelm
Acta Informatica, 26, 1988. \\


22. A Space-Efficient Optmization of Call-by-Need\\
W. Burton, D. Maurer, H. Oberhauser, and R. Wilhelm
IEEE Transactions on Software Engineering, 13 (6), 1987. \\


!!Books
23. Übersetzerbau – Virtuelle Maschinen\\
R. Wilhelm, and H. Seidl
Springer Verlag, 2007. \\


24. Informatics: 10 Years Back - 10 Years Ahead\\
R. Wilhelm
Springer Verlag, 2000. \\


25. Übersetzerbau – Theorie, Konstruktion, Generierung
R. Wilhelm, and D. Maurer
Springer Verlag, 1997. \\


26. Grundlagen der Dokumentverarbeitung\\
R. Wilhelm, and R. Heckmann
Addison-Wesley, 1996. [url]  \\


27. Compiler Design\\
R. Wilhelm, and D. Maurer
Addison-Wesley, 1995. \\


28. Les compilateurs. Théorie. Construction. Génération.\\
R. Wilhelm, and D. Maurer
Masson, 1994. \\


29. Übersetzerbau – Theorie, Konstruktion, Generierung\\
R. Wilhelm, and D. Maurer
Springer Verlag, 1992. \\

__Fotos of cover-pages of some books:__\\

%%columns-fill
[{Image src='Wilhelm1.jpg' caption='' height='300' alt='Wilhelm1.jpg'}]
----
[{Image src='Wilhelm2.jpg' caption='' height='300' alt='Wilhelm2.jpg'}]
----
[{Image src='Wilhelm3.jpg' caption='' height='300' alt='Wilhelm3.jpg'}]\\
%% 


__For a complete list of over 100 publications including bibliogprapic information see __[http://rw4.cs.uni-saarland.de/people/wilhelm.shtml]

</pre>