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:

For a complete list of over 100 publications including bibliogprapic information see http://rw4.cs.uni-saarland.de/people/wilhelm.shtml