Positions and Functions

• Chair for Programming Languages and Compiler Construction at Saarland University
• Scientific Director of Schloss Dagstuhl, the Leibniz Center for Informatics
• Site Coordinator Saarbruecken in the AVACS Project
• Coordinator of the Predator Project
• Member in the ARTIST2 Network of Excellence and in the ARTIST DESIGN Network of Excellence
• Associate of AbsInt Angewandte Informatik GmbH
• Member of the ACM SIGBED Executive Committee
• Member of the Steering Committee of the International Conference on Embedded Software EMSOFT
• Member at Large of the Steering Committee of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems LCTES
• Coorganizer of ARTIST workshop Reconciling Predictability with Performance (RePP)
• Member of the Scientific Advisory Board of CWI
• Member of the Program Committees of
  • SCOPES 2009
  • LCTES 2009
  • MEMOCODE 2009
  • RTSS 2008

Publications

40 Jahre Saarbrücker Informatik, saargeschichte|n 2-2009

See the list of my (and some random Reinhards') publications in BibFinder or publications in DBLP or citations in Citeseer.

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. [doi]  [bib]
   

   @ARTICLE{Wilhelm09,
      author = {Reinhard Wilhelm and Daniel Grund and Jan Reineke and Marc Schlickling and Markus Pister and Christian Ferdinand},
      title = {Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems},
      journal = {IEEE Transactions on {CAD} of Integrated Circuits and Systems},
      year = {2009},
      volume = {28},
      pages = {966--978},
      number = {7},
      month = {July},
      doi = {10.1109/TCAD.2009.2013287}
    }

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, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
   ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008. [doi]  [bib]
   

   @ARTICLE{Wilhelm08,
      author = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter Puschner and Jan Staschulat and Per Stenstr\"om},
      title = {The Worst-case Execution Time Problem---Overview of Methods and Survey of Tools},
      journal = {ACM Transactions on Embedded Computing Systems (TECS)},
      year = {2008},
      volume = {7},
      number = {3},
      doi = {10.1145/1347375.1347389}
    }

3. Timing Predictability of Cache Replacement Policies
   J. Reineke, D. Grund, C. Berg, and R. Wilhelm
   Real-Time Systems, 37 (2), 2007. [doi]  [pdf]  [bib]
   

   @ARTICLE{Reineke07,
      author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
      title = {Timing Predictability of Cache Replacement Policies},
      journal = {Real-Time Systems},
      year = {2007},
      volume = {37},
      pages = {99--122},
      number = {2},
      month = {November},
      doi = {10.1007/s11241-007-9032-3},
      url = {http://rw4.cs.uni-saarland.de/~grund/papers/rts07-predictability.pdf}
    }

4. Design for Timing Predictability
   L. Thiele, and R. Wilhelm
   Real-Time Systems, 28, 2004. [bib]
   

   @ARTICLE{Thiele04,
      author = {Lothar Thiele and Reinhard Wilhelm},
      title = {Design for Timing Predictability},
      journal = {Real-Time Systems},
      year = {2004},
      volume = {28},
      pages = {157--177},
      publisher = {Kluwer}
    }

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. [bib]
   

   @ARTICLE{Heckmann03,
      author = {Reinhold Heckmann and Marc Langenbach and Stephan Thesing and Reinhard Wilhelm},
      title = {The Influence of Processor Architecture on the Design and the Results of {WCET} Tools},
      journal = {Proceedings of the IEEE},
      year = {2003},
      volume = {91},
      pages = {1038--1054},
      number = {7},
      month = {July},
    }

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. [bib]
   

   @ARTICLE{Sagiv02,
      author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
      title = {Parametric Shape Analysis via 3-Valued Logic},
      journal = {ACM Transactions on Programming Languages and Systems},
      year = {2002},
      volume = {24},
      pages = {217--298},
      number = {3},
    }

7. Focusing in Algorithm Explanation
   B. Braune, and R. Wilhelm
   IEEE Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
   

   @ARTICLE{Braune00,
      author = {Beatrix Braune and Reinhard Wilhelm},
      title = {Focusing in Algorithm Explanation},
      journal = {IEEE Transactions on Visualization and Computer Graphics},
      year = {2000},
      volume = {6},
      pages = {1--7},
      number = {1},
    }

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. [bib]
   

   @ARTICLE{Theiling00a,
      author = {Henrik Theiling and Christian Ferdinand and Reinhard Wilhelm},
      title = {Fast and Precise {WCET} Prediction by Separate Cache and Path Analyses},
      journal = {Real-Time Systems},
      year = {2000},
      volume = {18},
      number = {2/3},
      month = {May},
    }

9. Focussing in Algorithm Explanation
   R. Wilhelm, and B. Braune
   Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
   

   @ARTICLE{Wilhelm00a,
      author = {Reinhard Wilhelm and Beatrix Braune},
      title = {Focussing in Algorithm Explanation},
      journal = {Transactions on Visualization and Computer Graphics},
      year = {2000},
      volume = {6},
      pages = {1--7},
      number = {1},
    }

10. Fast and Efficient Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 17(2/3), 1999. [bib]
    

    @ARTICLE{Ferdinand99a,
       author = {Christian Ferdinand and Reinhard Wilhelm},
       title = {Fast and Efficient Cache Behavior Prediction for Real-Time Systems},
       journal = {Real-Time Systems},
       year = {1999},
       volume = {17(2/3)},
       pages = {131--181},
       publisher = {Kluwer}
     }

11. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Science of Computer Programming, 1998. [bib]
    

    @ARTICLE{Ferdinand98a,
       author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm and Martin Alt},
       title = {Cache Behavior Prediction by Abstract Interpretation},
       journal = {Science of {C}omputer {P}rogramming},
       year = {1998},
     }

12. A Functional Description of TeX's Formula Layout
    R. Heckmann, and R. Wilhelm
    Journal of Functional Programming, 1998. [bib]
    

    @ARTICLE{Heckmann98b,
       author = {Reinhold Heckmann and Reinhard Wilhelm},
       title = {A Functional Description of {TeX}'s Formula Layout},
       journal = {Journal of Functional Programming},
       year = {1998},
     }

13. Operations Research Methods in Compiler Backends
    D. Kästner, and R. Wilhelm
    Mathematical Communications, 3 (2), 1998. [bib]
    

    @ARTICLE{Kastner98,
       author = {Daniel K\"astner and Reinhard Wilhelm},
       title = {Operations Research Methods in Compiler Backends},
       journal = {Mathematical {C}ommunications},
       year = {1998},
       volume = {3},
       pages = {159--183},
       number = {2},
     }

14. 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. [bib]
    

    @ARTICLE{Sagiv98,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
       journal = {ACM Transactions on Programming Languages and Systems},
       year = {1998},
       volume = {20},
       pages = {1--50},
       number = {1},
       month = JAN,
     }

15. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    ACTA INFORMATICA, 35, 1998. [bib]
    

    @ARTICLE{Sagiv98a,
       author = {S. Sagiv and N. Francez and M. Rodeh and Reinhard Wilhelm},
       title = {A Logic-Based Approach to Data Flow Analysis Problems},
       journal = {ACTA INFORMATICA},
       year = {1998},
       volume = {35},
       pages = {457--504},
     }

16. Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung
    P. G. Bouillon, G. Sander, and R. Wilhelm
    Informatik: Forschung und Entwicklung, 9 (2), 1994. [bib]
    

    @ARTICLE{Bouillon94,
       author = {P. G. Bouillon and Georg Sander and Reinhard Wilhelm},
       title = {{L}okale {O}ptimierung ausnahmebehafteter {P}rogramme durch {S}puroptimierung},
       journal = {Informatik: Forschung und Entwicklung},
       year = {1994},
       volume = {9},
       pages = {72--81},
       number = {2}
     }

17. 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. [bib]
    

    @ARTICLE{Borstler91,
       author = {J\"urgen B\"orstler and Ulrich M\"oncke and Reinhard Wilhelm},
       title = {Table Compression for Tree Automata},
       journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
       year = {1991},
       volume = {13},
       pages = {502--510},
       number = {3}
     }

18. MaMa – Eine abstrakte Maschine zur Implementierung funktionaler Sprachen
    D. Maurer, and R. Wilhelm
    Informatik – Forschung und Entwicklung, 4, 1989. [bib]
    

    @ARTICLE{Maurer89,
       author = {Dieter Maurer and Reinhard Wilhelm},
       title = {{MaMa} -- {E}ine abstrakte {M}aschine zur {I}mplementierung funktionaler {S}prachen},
       journal = {Informatik -- Forschung und Entwicklung},
       year = {1989},
       volume = {4},
       pages = {67--88},
       publisher = {Springer Verlag}
     }

19. Implementing Circular Attribute Grammars Through Attribute Reevaluation
    W. Thome, and R. Wilhelm
    Information Processing Letters, 33 (3), 1989. [bib]
    

    @ARTICLE{Thome89a,
       author = {Winfried Thome and Reinhard Wilhelm},
       title = {Implementing Circular Attribute Grammars Through Attribute Reevaluation},
       journal = {Information Processing Letters},
       year = {1989},
       volume = {33},
       pages = {79--81},
       number = {3}
     }

20. Attribute (Re)evaluation in OPTRAN
    P. Lipps, U. Möncke, and R. Wilhelm
    Acta Informatica, 26, 1988. [bib]
    

    @ARTICLE{Lipps88,
       author = {Peter Lipps and Ulrich M\"oncke and Reinhard Wilhelm},
       title = {Attribute (Re)evaluation in {OPTRAN}},
       journal = {Acta Informatica},
       year = {1988},
       volume = {26},
       pages = {213--239}
     }

21. 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. [bib]
    

    @ARTICLE{Burton87,
       author = {W. Burton and Dieter Maurer and Hans-Georg Oberhauser and Reinhard Wilhelm},
       title = {A Space-Efficient Optmization of Call-by-Need},
       journal = {IEEE Transactions on Software Engineering},
       year = {1987},
       volume = {13},
       pages = {636--642},
       number = {6}
     }

Books

22. Übersetzerbau: Analyse und Transformation
    H. Seidl, R. Wilhelm, and S. Hack
    Springer, 2010. [bib]
    

    @BOOK{Seidl10,
       title = {\"Ubersetzerbau: Analyse und Transformation},
       publisher = {Springer},
       year = {2010},
       author = {Helmut Seidl and Reinhard Wilhelm and Sebastian Hack},
       series = {eXamen.press},
       edition = {1st},
       isbn = {978-3-642-03329-2}
     }

23. Übersetzerbau – Virtuelle Maschinen
    R. Wilhelm, and H. Seidl
    Springer Verlag, 2007. [bib]
    

    @BOOK{Wilhelm07,
       title = {{\"U}bersetzerbau -- {V}irtuelle {M}aschinen},
       publisher = {Springer Verlag},
       year = {2007},
       author = {Reinhard Wilhelm and Helmut Seidl},
       pages = {192},
       month = {May},
     }

24. Informatics: 10 Years Back - 10 Years Ahead
    R. Wilhelm
    Springer Verlag, 2000. [bib]
    

    @BOOK{Wilhelm00,
       title = {Informatics: 10 Years Back - 10 Years Ahead},
       publisher = {Springer Verlag},
       year = {2000},
       author = {Reinhard Wilhelm},
       number = {2000},
       series = {LNCS},
     }

25. Übersetzerbau – Theorie, Konstruktion, Generierung
    R. Wilhelm, and D. Maurer
    Springer Verlag, 1997. [bib]
    

    @BOOK{Wilhelm97a,
       title = {{\"U}bersetzerbau -- {T}heorie, {K}onstruktion, {G}enerierung},
       publisher = {Springer Verlag},
       year = {1997},
       author = {Reinhard Wilhelm and Dieter Maurer},
       edition = {Second},
     }

26. Grundlagen der Dokumentverarbeitung
    R. Wilhelm, and R. Heckmann
    Addison-Wesley, 1996. [url]  [bib]
    

    @BOOK{Wilhelm96,
       title = {{G}rundlagen der {D}okumentverarbeitung},
       publisher = {Addison-Wesley},
       year = {1996},
       author = {Reinhard Wilhelm and Reinhold Heckmann},
       url = {http://rw4.cs.uni-saarland.de/doku/doku.html}
     }

27. Compiler Design
    R. Wilhelm, and D. Maurer
    Addison-Wesley, 1995. [bib]
    

    @BOOK{Wilhelm95,
       title = {Compiler Design},
       publisher = {Addison-Wesley},
       year = {1995},
       author = {Reinhard Wilhelm and Dieter Maurer},
       series = {International Computer Science Series},
       note = {Second Printing},
     }

28. Les compilateurs. Théorie. Construction. Génération.
    R. Wilhelm, and D. Maurer
    Masson, 1994. [bib]
    

    @BOOK{Wilhelm94a,
       title = {Les compilateurs. Th\'eorie. Construction. G\'en\'eration.},
       publisher = {Masson},
       year = {1994},
       author = {Reinhard Wilhelm and Dieter Maurer},
     }

29. Übersetzerbau – Theorie, Konstruktion, Generierung
    R. Wilhelm, and D. Maurer
    Springer Verlag, 1992. [bib]
    

    @BOOK{Wilhelm92,
       title = {{\"U}bersetzerbau -- {T}heorie, {K}onstruktion, {G}enerierung},
       publisher = {Springer Verlag},
       year = {1992},
       author = {Reinhard Wilhelm and Dieter Maurer},
     }

Collections

30. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2005. [bib]
    

    @INCOLLECTION{Wilhelm05a,
       author = {Reinhard Wilhelm},
       title = {Determining Bounds on Execution Times},
       booktitle = {Handbook on Embedded Systems},
       publisher = {CRC Press},
       year = {2005},
       editor = {R. Zurawski},
       pages = {14-1,14--23},
     }

31. Shape Analysis and Applications
    T. Reps, M. Sagiv, and R. Wilhelm
    The Compiler Design Handbook: Optimizations \& Machine Code Generation, CRC Press, 2002. [bib]
    

    @INCOLLECTION{Reps02,
       author = {Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {Shape Analysis and Applications},
       booktitle = {The Compiler Design Handbook: Optimizations \& Machine Code Generation},
       publisher = {CRC Press},
       year = {2002},
       editor = {Y N Srikant and Priti Shankar},
       pages = {175--217},
     }

32. Algorithm Explanation: Visualizing Abstract States and Invariants
    R. Wilhelm, T. Müldner, and R. Seidel
    Software Visualization, Springer Verlag, 2002. [bib]
    

    @INCOLLECTION{Wilhelm02,
       author = {Reinhard Wilhelm and T. M\"uldner and Raimund Seidel},
       title = {Algorithm Explanation: Visualizing Abstract States and Invariants},
       booktitle = {Software Visualization},
       publisher = {Springer Verlag},
       year = {2002},
       editor = {Stephan Diehl},
       series = {LNCS},
       pages = {381--394},
     }

Conference Papers

33. Static Timing Analysis for Hard Real-Time Systems
    R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
    VMCAI, 2010. [doi]  [bib]
    

    @INPROCEEDINGS{Wilhelm10,
       author = {Reinhard Wilhelm and Sebastian Altmeyer and Claire Burgui\`ere and Daniel Grund and J\"org Herter and Jan Reineke and Bj\"orn Wachter and Stephan Wilhelm},
       title = {Static Timing Analysis for Hard Real-Time Systems},
       booktitle = {VMCAI},
       year = {2010},
       pages = {3--22},
       publisher = {Springer Verlag},
       doi = {10.1007/978-3-642-11319-2_3}
     }

34. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
    Proceedings of Embedded Real Time Software and Systems, 2010. [bib]
    

    @INPROCEEDINGS{Cullmann10,
       author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Reinhard Wilhelm},
       title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
       booktitle = {Proceedings of Embedded Real Time Software and Systems},
       year = {2010},
       month = {May},
     }

35. Computing the Maximum Blocking Time for Scheduling with Deferred Preemption
    S. Altmeyer, C. Burguière, and R. Wilhelm
    Workshop on Software Technologies for Future Dependable Distributed Systems, 2009. [doi]  [bib]
    

    @INPROCEEDINGS{Altmeyer09a,
       author = {Sebastian Altmeyer and Claire Burgui\`ere and Reinhard Wilhelm},
       title = {Computing the Maximum Blocking Time for Scheduling with Deferred Preemption},
       booktitle = {Workshop on Software Technologies for Future Dependable Distributed Systems},
       year = {2009},
       doi = {10.1109/STFSSD.2009.12}
     }

36. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Leroux, J. Reineke, H. Seidl, G. Sutre, and R. Wilhelm
    Efficient Algorithms, 2009. [doi]  [bib]
    

    @INPROCEEDINGS{Gawlitza09,
       author = {Thomas Gawlitza and J\'er\^ome Leroux and Jan Reineke and Helmut Seidl and Gr\'egoire Sutre and Reinhard Wilhelm},
       title = {Polynomial Precise Interval Analysis Revisited},
       booktitle = {Efficient Algorithms},
       year = {2009},
       pages = {422--437},
       doi = {10.1007/978-3-642-03456-5_28}
     }

37. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
    

    @INPROCEEDINGS{Tan09a,
       author = {Lili Tan and Bj\"orn Wachter and Philipp Lucas and Reinhard Wilhelm},
       title = {Improving Timing Analysis for {Matlab} {Simulink}/{Stateflow}},
       booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)},
       year = {2009},
       editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
       pages = {59--63},
       url = {http://ceur-ws.org/Vol-507/paper05.pdf}
     }

38. Operating Mode Specific WCET Analysis
    P. Lucas, O. Parshin, and R. Wilhelm
    Proceedings of JRWRTC, 2009. [bib]
    

    @INPROCEEDINGS{Lucas09,
       author = {Philipp Lucas and Oleg Parshin and Reinhard Wilhelm},
       title = {Operating Mode Specific {WCET} Analysis},
       booktitle = {Proceedings of JRWRTC},
       year = {2009},
       editor = {Charlotte Seidner},
       month = {October},
     }

39. Designing Predictable Multicore Architectures for Avionics and Automotive Systems
    R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
    Workshop on Reconciling Performance with Predictability (RePP), 2009. [pdf]  [bib]
    

    @INPROCEEDINGS{Wilhelm09b,
       author = {Reinhard Wilhelm and Christian Ferdinand and Christoph Cullmann and Daniel Grund and Jan Reineke and Beno\^it Triquet},
       title = {Designing Predictable Multicore Architectures for Avionics and Automotive Systems},
       booktitle = {Workshop on Reconciling Performance with Predictability ({RePP})},
       year = {2009},
       month = {October},
       url = {http://www.tik.ee.ethz.ch/~jchen/RePP/papers/2-3.pdf}
     }

40. Exploiting SIMD Parallelism with the CGiS Compiler Framework
    N. Fritz, P. Lucas, and R. Wilhelm
    Proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing (LCPC'07), 2008. [bib]
    

    @INPROCEEDINGS{Fritz08,
       author = {Nicolas Fritz and Philipp Lucas and Reinhard Wilhelm},
       title = {Exploiting {SIMD} Parallelism with the {CGiS} Compiler Framework},
       booktitle = {Proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing (LCPC'07)},
       year = {2008},
       editor = {Vikram Adve and Mar\'ia Jes\'us Garzar\'an and Paul Petersen},
       volume = {5234},
       series = {LNCS},
       pages = {246--260},
       month = {October},
       publisher = {Springer-Verlag}
     }

41. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
    

    @INPROCEEDINGS{Wilhelm08a,
       author = {Reinhard Wilhelm and Bj\"orn Wachter},
       title = {Abstract Interpretation with Applications to Timing Validation},
       booktitle = {CAV},
       year = {2008},
       editor = {Aarti Gupta and Sharad Malik},
       volume = {5123},
       series = {LNCS},
       pages = {22--36},
       publisher = {Springer Verlag},
       note = {Princeton, NJ, USA},
       url = {http://rw4.cs.uni-saarland.de/~bwachter/papers/cav08-ai-tutorial.pdf}
     }

42. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [bib]
    

    @INPROCEEDINGS{Herter08a,
       author = {J\"org Herter and Jan Reineke and Reinhard Wilhelm},
       title = {{CAMA}: Cache-Aware Memory Allocation for {WCET} Analysis},
       booktitle = {Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems},
       year = {2008},
       editor = {Marco Caccamo},
       pages = {24--27},
       month = {July},
       url = {http://rw4.cs.uni-saarland.de/~jherter/papers/camaecrts08.pdf}
     }

43. Timing Validation of Automotive Software
    D. Kästner, R. Wilhelm, R. Heckmann, M. Schlickling, M. Pister, M. Jersak, K. Richter, and C. Ferdinand
    3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) 2008, 2008. [url]  [bib]
    

    @INPROCEEDINGS{Kastner08,
       author = {Daniel K\"astner and Reinhard Wilhelm and Reinhold Heckmann and Marc Schlickling and Markus Pister and Marek Jersak and Kai Richter and Christian Ferdinand},
       title = {Timing Validation of Automotive Software},
       booktitle = {3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) 2008},
       year = {2008},
       editor = {Tiziana Margaria and Bernhard Steffen},
       volume = {17},
       series = {Communications in Computer and Information Science},
       pages = {93--107},
       month = {November},
       publisher = {Springer Berlin Heidelberg},
       chapter = {51},
       url = {http://www.springerlink.com/content/uw384tp381l40856/?p=cd6df2f4af464ed3810b358d37f5464d&pi=55}
     }

44. Parametric Timing Analyis for Complex Architectures
    S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
    Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008. [bib]
    

    @INPROCEEDINGS{Altmeyer08a,
       author = {Sebastian Altmeyer and Christian H\"umbert and Bj\"orn Lisper and Reinhard Wilhelm},
       title = {Parametric Timing Analyis for Complex Architectures},
       booktitle = {Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ({RTCSA}'08)},
       year = {2008},
       pages = {367--376},
       address = {Kaohsiung, Taiwan},
       month = {August},
       publisher = {IEEE Computer Society},
     }

45. Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures
    E. Frank, R. Wilhelm, R. Ernst, A. Sangiovanni-Vincentelli, and M. Di Natale
    DATE '08: Proceedings of the conference on Design, automation and test in Europe, 2008. [doi]  [bib]
    

    @INPROCEEDINGS{Frank08,
       author = {E. Frank and Reinhard Wilhelm and R. Ernst and A. Sangiovanni-Vincentelli and M. Di Natale},
       title = {Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures},
       booktitle = {DATE '08: Proceedings of the conference on Design, automation and test in Europe},
       year = {2008},
       pages = {659--663},
       address = {New York, NY, USA},
       publisher = {ACM},
       doi = {10.1145/1403375.1403536},
       isbn = {978-3-9810801-3-1},
       location = {Munich, Germany}
     }

46. Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
    J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
    9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006. [bib]
    

    @INPROCEEDINGS{Eisinger06,
       author = {Jochen Eisinger and Ilia Polian and Bernd Becker and Alexander Metzner and Stephan Thesing and Reinhard Wilhelm},
       title = {Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis},
       booktitle = {9th IEEE Workshop on Design {\&} Diagnostics of Electronic Circuits {\&} Systems (DDECS 2006)},
       year = {2006},
       editor = {Matteo Sonza Reorda and Ondrej Nov\'ak and Bernd Straube and Hanna Kub\'atov\'a and Zdenek Kot\'asek and Pavel Kubal\'ik and Raimund Ubar and Jiri Bucek},
       pages = {15--20},
       publisher = {IEEE Computer Society Press},
     }

47. The Development of the Data-Parallel GPU Programming Language CGiS
    P. Lucas, N. Fritz, and R. Wilhelm
    Proceedings of the 6th International Conference on Computational Science (ICCS'06) (4), 2006. [doi]  [bib]
    

    @INPROCEEDINGS{Lucas06,
       author = {Philipp Lucas and Nicolas Fritz and Reinhard Wilhelm},
       title = {The Development of the Data-Parallel {GPU} Programming Language {CGiS}},
       booktitle = {Proceedings of the 6th International Conference on Computational Science (ICCS'06) (4)},
       year = {2006},
       editor = {Vassil N. Alexandrov and G. Dick van Albada and Peter M. A. Sloot and Jack Dongarra},
       volume = {3994},
       series = {LNCS},
       pages = {200--203},
       publisher = {Springer Verlag},
       doi = {10.1007/11758549_31}
     }

48. The CGiS Compiler—A Tool Demonstration
    P. Lucas, N. Fritz, and R. Wilhelm
    Proceedings of the 15h International Conference on Compiler Construction (CC'06), 2006. [doi]  [bib]
    

    @INPROCEEDINGS{Lucas06a,
       author = {Philipp Lucas and Nicolas Fritz and Reinhard Wilhelm},
       title = {The {CGiS} Compiler---A Tool Demonstration},
       booktitle = {Proceedings of the 15h International Conference on Compiler Construction (CC'06)},
       year = {2006},
       editor = {Alan Mycroft and Andreas Zeller},
       volume = {3923},
       series = {LNCS},
       pages = {105--108},
       publisher = {Springer Verlag},
       doi = {10.1007/11688839_10}
     }

49. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [pdf]  [bib]
    

    @INPROCEEDINGS{Reineke06b,
       author = {Jan Reineke and Bj\"orn Wachter and Stephan Thesing and Reinhard Wilhelm and Ilia Polian and Jochen Eisinger and Bernd Becker},
       title = {A Definition and Classification of Timing Anomalies},
       booktitle = {Proceedings of 6th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2006},
       month = {July},
       url = {http://rw4.cs.uni-saarland.de/~reineke/publications/TimingAnomaliesWCET06.pdf}
     }

50. Towards Model-Driven Development of Hard Real-Time Systems—Integrating ASCET-MD and aiT/StackAnalyzer
    C. Ferdinand, R. Heckmann, H. Wolff, C. Renz, O. Parshin, and R. Wilhelm
    Proceedings of Automotive Software Workshop in San Diego, 2006. [bib]
    

    @INPROCEEDINGS{Ferdinand06,
       author = {Christian Ferdinand and Reinhold Heckmann and Hans-Joerg Wolff and Christian Renz and Oleg Parshin and Reinhard Wilhelm},
       title = {Towards Model-Driven Development of Hard Real-Time Systems---Integrating {ASCET-MD} and {aiT/StackAnalyzer}},
       booktitle = {Proceedings of Automotive Software Workshop in San Diego},
       year = {2006}
     }

51. Efficient Algorithms for Feasibility and Optimality
    W. Damm, A. Metzner, F. Eisenbrand, G. Shmonin, R. Wilhelm, and S. Winkel
    Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), 2006. [bib]
    

    @INPROCEEDINGS{Damm06,
       author = {Werner Damm and Alexander Metzner and Friedrich Eisenbrand and Gennady Shmonin and Reinhard Wilhelm and Sebastian Winkel},
       title = {Efficient Algorithms for Feasibility and Optimality},
       booktitle = {Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06)},
       year = {2006},
     }

52. Algorithm Animation using Shape Analysis: Visualising Abstract Executions
    D. Johannes, R. Seidel, and R. Wilhelm
    SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, 2005. [doi]  [bib]
    

    @INPROCEEDINGS{Johannes05,
       author = {Dierk Johannes and Raimund Seidel and Reinhard Wilhelm},
       title = {Algorithm Animation using Shape Analysis: Visualising Abstract Executions},
       booktitle = {SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization},
       year = {2005},
       pages = {17--26},
       address = {New York, NY, USA},
       publisher = {ACM},
       doi = {10.1145/1056018.1056021},
       isbn = {1-59593-073-6},
       location = {St. Louis, Missouri}
     }

53. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005. [pdf]  [bib]
    

    @INPROCEEDINGS{Rinetzky05,
       author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {A Semantics for Procedure Local Heaps and its Abstractions},
       booktitle = {32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)},
       year = {2005},
       url = {http://rw4.cs.uni-saarland.de/~joba/papers/popl05.pdf}
     }

54. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
    

    @INPROCEEDINGS{Wilhelm05,
       author = {Reinhard Wilhelm},
       title = {Timing Analysis and Timing Predictability},
       booktitle = {FMCO 2004},
       year = {2005},
       editor = {F.S. de Boer et al.},
       volume = {3657},
       series = {LNCS},
       pages = {317--323},
       publisher = {Springer Verlag},
     }

55. Requirements for and Design of a Processor with Predictable Timing
    C. Berg, J. Engblom, and R. Wilhelm
    Design of Systems with Predictable Behaviour, 2004. [url]  [bib]
    

    @INPROCEEDINGS{Berg04,
       author = {Christoph Berg and Jakob Engblom and Reinhard Wilhelm},
       title = {Requirements for and Design of a Processor with Predictable Timing},
       booktitle = {Design of Systems with Predictable Behaviour},
       year = {2004},
       series = {Dagstuhl Seminar Proceedings},
       publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss
     	Dagstuhl, Germany},
       url = {http://drops.dagstuhl.de/opus/volltexte/2004/5}
     }

56. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
    

    @INPROCEEDINGS{Rakib04,
       author = {Abdur Rakib and Oleg Parshin and Stephan Thesing and Reinhard Wilhelm},
       title = {Component-Wise Instruction-Cache Behavior Prediction},
       booktitle = {ATVA 2004},
       year = {2004},
       volume = {3299},
       series = {LNCS},
       pages = {211--229},
     }

57. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
    

    @INPROCEEDINGS{Reps04,
       author = {Thomas Reps and Shmuel Sagiv and Reinhard Wilhelm},
       title = {Static Program Analysis via 3-Valued Logic},
       booktitle = {CAV 2004},
       year = {2004},
       volume = {3114},
       series = {LNCS},
       pages = {15--30},
     }

58. Formal Analysis of Processor Timing Models
    R. Wilhelm
    Model Checking Software, 11th International SPIN Workshop, 2004. [bib]
    

    @INPROCEEDINGS{Wilhelm04a,
       author = {Reinhard Wilhelm},
       title = {Formal Analysis of Processor Timing Models},
       booktitle = {Model Checking Software, 11th International SPIN Workshop},
       year = {2004},
       editor = {Susanne Graf and Laurent Mounier},
       volume = {2989},
       series = {LNCS},
       pages = {1--4},
       publisher = {Springer Verlag},
     }

59. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]
    

    @INPROCEEDINGS{Wilhelm04b,
       author = {Reinhard Wilhelm},
       title = {Why {AI} + {ILP} is Good for {WCET}, But {MC} Is Not, Nor {ILP} Alone},
       booktitle = {VMCAI 2004},
       year = {2004},
       volume = {2937},
       series = {LNCS},
       pages = {309--322},
       url = {http://rw4.cs.uni-saarland.de/~wilhelm/pubs/AIvsMC.ppt}
     }

60. An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics
    S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, and C. Ferdinand
    Proceedings of the International Performance and Dependability Symposium (IPDS), 2003. [bib]
    

    @INPROCEEDINGS{Thesing03,
       author = {Stephan Thesing and Jean Souyris and Reinhold Heckmann and Famantanantsoa Randimbivololona and Marc Langenbach and Reinhard Wilhelm and Christian Ferdinand},
       title = {An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics},
       booktitle = {Proceedings of the International Performance and Dependability Symposium (IPDS)},
       year = {2003},
       pages = {625--632},
       month = {June},
       publisher = {IEEE Computer Society Press},
     }

61. Verifying Temporal Heap Properties Specified via Evolution Logic
    E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm
    European Symposium on Programming, 2003. [bib]
    

    @INPROCEEDINGS{Yahav03,
       author = {Eran Yahav and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
       booktitle = {European Symposium on Programming},
       year = {2003},
       volume = {2618},
       series = {LNCS},
       pages = {204--222},
       publisher = {Springer Verlag},
     }

62. Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, M. Schmidt, A. A. Evstiougov-Babaev, and R. Wilhelm
    GI Jahrestagung (1), 2003. [pdf]  [bib]
    

    @INPROCEEDINGS{Ferdinand03,
       author = {Christian Ferdinand and Daniel K\"astner and Florian Martin and Marc Langenbach and Martin Sicks and Stephan Wilhelm and Reinhold Heckmann and Nicolas Fritz and Stephan Thesing and Frank Fontaine and Henrik Theiling and Michael Schmidt and Alexander A. Evstiougov-Babaev and Reinhard Wilhelm},
       title = {{V}alidierung des {Z}eitverhaltens von kritischer {E}chtzeit-{S}oftware},
       booktitle = {GI Jahrestagung (1)},
       year = {2003},
       pages = {335--339},
       language = {ngerman},
       url = {http://www.bmw-carit.de/gi/papers/Validierung_des_Zeitverhaltens_von_kritischer_Echtzeit-Software.pdf}
     }

63. Animation of the Generation and Computation of Finite Automata for Learning Software
    B. Braune, S. Diehl, A. Kerren, and R. Wilhelm
    4th Intl. Workshop on Implementing Automata, 2001. [bib]
    

    @INPROCEEDINGS{Braune01,
       author = {Beatrix Braune and Stephan Diehl and Andreas Kerren and Reinhard Wilhelm},
       title = {Animation of the Generation and Computation of Finite Automata for Learning Software},
       booktitle = {4th Intl. Workshop on Implementing Automata},
       year = {2001},
       volume = {2214},
       series = {LNCS},
       pages = {39--47},
       publisher = {Springer Verlag},
     }

64. Reliable and Precise WCET Determination for a Real-Life Processor
    C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm
    Embedded Software Workshop, 2001. [bib]
    

    @INPROCEEDINGS{Ferdinand01,
       author = {Christian Ferdinand and Reinhold Heckmann and Marc Langenbach and Florian Martin and Michael Schmidt and Henrik Theiling and Stephan Thesing and Reinhard Wilhelm},
       title = {Reliable and Precise {WCET} Determination for a Real-Life Processor},
       booktitle = {Embedded Software Workshop},
       year = {2001},
       volume = {2211},
       pages = {469--485},
       address = {Lake Tahoe, USA},
       month = {October},
     }

65. Putting Static Analysis to Work for Verification: A Case Study
    T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm
    Intl. Symp. on Software Testing and Analysis, 2000. [bib]
    

    @INPROCEEDINGS{Lev-Ami00,
       author = {T. Lev-Ami and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {Putting Static Analysis to Work for Verification: A Case Study},
       booktitle = {Intl. Symp. on Software Testing and Analysis},
       year = {2000},
       pages = {26--38},
     }

66. Shape Analysis
    R. Wilhelm, M. Sagiv, and T. Reps
    International Conference on Compiler Construction, 2000. [bib]
    

    @INPROCEEDINGS{Wilhelm00b,
       author = {Reinhard Wilhelm and Mooly Sagiv and Thomas Reps},
       title = {Shape Analysis},
       booktitle = {International Conference on Compiler Construction},
       year = {2000},
       number = {1781},
       series = {LNCS},
       pages = {1--16},
       publisher = {Springer Verlag},
     }

67. Run-Time Guarantees for Real-Time Systems—The USES Approach
    C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm
    Proceedings of Informatik '99 – Arbeitstagung Programmiersprachen, 1999. [bib]
    

    @INPROCEEDINGS{Ferdinand99,
       author = {Christian Ferdinand and Daniel K\"astner and Marc Langenbach and Florian Martin and Michael Schmidt and J\"orn Schneider and Henrik Theiling and Stephan Thesing and Reinhard Wilhelm},
       title = {Run-Time Guarantees for Real-Time Systems---The {USES} Approach},
       booktitle = {{P}roceedings of {I}nformatik '99 -- {A}rbeitstagung {P}rogrammiersprachen},
       year = {1999},
       address = {Paderborn},
     }

68. Java and CoSy Technology for Embedded Systems: the JOSES Project
    D. Genius, U. Assmann, P. Fritzson, H. Sips, R. Kurver, R. Wilhelm, H. Schepers, and T. Rindborg
    Proc. of the European Multimedia, Microprocessor Systems, Technologies for Business Processing and Electronic Commerce Conference (EMMSEC'99), 1999. [ps]  [bib]
    

    @INPROCEEDINGS{Genius99,
       author = {D. Genius and Uwe Assmann and Peter Fritzson and Henk Sips and Rob Kurver and Reinhard Wilhelm and Henk Schepers and Tom Rindborg},
       title = {{Java} and {CoSy} Technology for Embedded Systems: the {JOSES} Project},
       booktitle = {Proc. of the European Multimedia, Microprocessor Systems, Technologies for Business Processing and Electronic Commerce Conference (EMMSEC'99)},
       year = {1999},
       editor = {J.-Y. Roger and others},
       address = {Amsterdam},
       month = {June},
       publisher = {IOS Press},
       url = {http://rw4.cs.uni-saarland.de/projects/joses/EMMSEC-JOSES_project_description.ps}
     }

69. Parametric Shape-Analysis via 3-Valued Logic
    M. Sagiv, T. Reps, and R. Wilhelm
    Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1999. [bib]
    

    @INPROCEEDINGS{Sagiv99,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Parametric Shape-Analysis via 3-Valued Logic},
       booktitle = {Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
       year = {1999},
       address = { San Antonio, Texas},
     }

70. On Predicting Data Cache Behaviour for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System, 1998. [bib]
    

    @INPROCEEDINGS{Ferdinand98b,
       author = {Christian Ferdinand and Reinhard Wilhelm},
       title = {On Predicting Data Cache Behaviour for Real-Time Systems},
       booktitle = {ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System},
       year = {1998},
     }

71. Analysis of Loops
    F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand
    Proceedings of the 7th International Conference on Compiler Construction, 1998. [bib]
    

    @INPROCEEDINGS{Martin98a,
       author = {Florian Martin and Martin Alt and Reinhard Wilhelm and Christian Ferdinand},
       title = {Analysis of Loops},
       booktitle = {Proceedings of the 7th International Conference on Compiler Construction},
       year = {1998},
       editor = {Kai Koskimies},
       volume = {1383},
       series = {LNCS},
       publisher = {Springer Verlag},
     }

72. Applying Compiler Techniques to Cache Behavior Prediction
    C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems, 1997. [ps]  [bib]
    

    @INPROCEEDINGS{Ferdinand97d,
       author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm},
       title = {Applying Compiler Techniques to Cache Behavior Prediction},
       booktitle = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems},
       year = {1997},
       pages = {37--46},
       address = {Las Vegas, Nevada},
       month = {June},
       organization = {ACM SIGPLAN},
       url = {http://rw4.cs.uni-saarland.de/~ferdi/ferdi_lctrts97.ps}
     }

73. Parallel Implementation of Functional Languages
    R. Wilhelm, M. Alt, F. Martin, and M. Raber
    5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, 1997. [ps]  [bib]
    

    @INPROCEEDINGS{Wilhelm97,
       author = {Reinhard Wilhelm and Martin Alt and Florian Martin and Martin Raber},
       title = {Parallel Implementation of Functional Languages},
       booktitle = {5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages },
       year = {1997},
       editor = {Mads Dam},
       volume = {1192},
       series = {LNCS},
       month = {June},
       publisher = {Springer Verlag},
       url = {http://rw4.cs.uni-saarland.de/~martin/lomaps.ps}
     }

74. Cache Behavior Prediction by Abstract Interpretation
    M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of SAS'96, Static Analysis Symposium, 1996. [bib]
    

    @INPROCEEDINGS{Alt96,
       author = {Martin Alt and Christian Ferdinand and Florian Martin and Reinhard Wilhelm},
       title = {Cache Behavior Prediction by Abstract Interpretation},
       booktitle = {Proceedings of SAS'96, Static Analysis Symposium},
       year = {1996},
       volume = {1145},
       series = {LNCS},
       publisher = {Springer Verlag},
     }

75. Solving Shape-Analysis Problems in Languages with Destructive Updating
    M. Sagiv, T. Reps, and R. Wilhelm
    Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1996. [bib]
    

    @INPROCEEDINGS{Sagiv96,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
       booktitle = {Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
       year = {1996},
       address = {St. Petersburg Beach, Florida},
     }

76. An Application Specific Parallel Programming Paradigm
    T. Rauber, G. Rünger, and R. Wilhelm
    Proc. of High-Performance Computing and Networking, LNCS 919, 1995. [bib]
    

    @INPROCEEDINGS{Rauber95,
       author = {Thomas Rauber and G. R\"unger and Reinhard Wilhelm},
       title = {An Application Specific Parallel Programming Paradigm},
       booktitle = {Proc. of High-Performance Computing and Networking, LNCS 919},
       year = {1995},
       pages = {735--740},
       publisher = {Springer Verlag}
     }

77. CLaX—A Visualized Compiler
    G. Sander, M. Alt, C. Ferdinand, and R. Wilhelm
    Graph Drawing, Workshop GD'95, 1995. [bib]
    

    @INPROCEEDINGS{Sander95c,
       author = {Georg Sander and Martin Alt and Christian Ferdinand and Reinhard Wilhelm},
       title = {{CLaX}---A Visualized Compiler},
       booktitle = {Graph Drawing, Workshop GD'95},
       year = {1995},
       editor = {F. Brandenburg},
       series = {LNCS},
       pages = {?},
       publisher = {Springer Verlag},
     }

78. The TraFoLa-H System
    M. Alt, C. Fecht, C. Ferdinand, and R. Wilhelm
    PROgram Development by SPECification and TRAnsformation, 1993. [bib]
    

    @INPROCEEDINGS{Alt93,
       author = {Martin Alt and Christian Fecht and Christian Ferdinand and Reinhard Wilhelm},
       title = {The {TraFoLa-H} System},
       booktitle = {PROgram Development by SPECification and TRAnsformation},
       year = {1993},
       editor = {B. Krieg-Br\"uckner},
       series = {LNCS},
       publisher = {Springer Verlag}
     }

79. Generation of Synchronization Code for Parallel Compilers
    M. Alt, G. Sander, and R. Wilhelm
    5th International Symposium on Programming Language Implementation and Logic Programming, 1993. [bib]
    

    @INPROCEEDINGS{Alt93a,
       author = {Martin Alt and Georg Sander and Reinhard Wilhelm},
       title = {Generation of Synchronization Code for Parallel Compilers},
       booktitle = {5th {I}nternational {S}ymposium on {P}rogramming {L}anguage {I}mplementation and {L}ogic {P}rogramming},
       year = {1993},
       editor = {Maurice {B}ruynoghe and {J}aan {P}enjam},
       volume = {714},
       series = {LNCS},
       publisher = {Springer Verlag}
     }

80. 2DT-FP: An FP-based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
    Y. Ben-Asher, G. Rünger, A. Schuster, and R. Wilhelm
    Proc. PARLE '93, 1993. [bib]
    

    @INPROCEEDINGS{Ben-Asher93a,
       author = {Y. Ben-Asher and G. R\"unger and A. Schuster and Reinhard Wilhelm},
       title = {{2DT-FP}: An {FP}-based Programming Language for Efficient Parallel Programming of Multiprocessor Networks},
       booktitle = {Proc. PARLE '93},
       year = {1993},
       volume = {694},
       series = {LNCS},
       pages = {42--55},
       publisher = {Springer Verlag}
     }

81. Tree Automata for Code Selection
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Code Generation – Concepts, Tools, Techniques, 1992. [bib]
    

    @INPROCEEDINGS{Ferdinand92,
       author = {Christian Ferdinand and Helmut Seidl and Reinhard Wilhelm},
       title = {Tree Automata for Code Selection},
       booktitle = {Code Generation -- Concepts, Tools, Techniques},
       year = {1992},
       editor = {R. Giegerich and S. L. Graham},
       volume = {1},
       pages = {31--50},
       month = {May},
       publisher = {Springer Verlag},
     }

82. Baumautomaten zur Codeselektion
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Festschrift zum 60. Geburtstag von Guenter Hotz, 1992. [bib]
    

    @INPROCEEDINGS{Ferdinand92a,
       author = {Christian Ferdinand and Helmut Seidl and Reinhard Wilhelm},
       title = {{B}aumautomaten zur {C}odeselektion},
       booktitle = {Festschrift zum 60. Geburtstag von Guenter Hotz},
       year = {1992},
       editor = {J. Buchmann and H. Ganzinger and W. J. Paul},
       pages = {121--144},
       address = {Saarbruecken, Germany},
     }

83. Grammar Flow Analysis
    U. Möncke, and R. Wilhelm
    Attribute Grammars, Applications and Systems, 1991. [pdf]  [bib]
    

    @INPROCEEDINGS{Moncke91,
       author = {Ulrich M\"oncke and Reinhard Wilhelm},
       title = {Grammar Flow Analysis},
       booktitle = {Attribute Grammars, Applications and Systems},
       year = {1991},
       editor = {H. Alblas and B. Melichar},
       volume = {545},
       series = {LNCS},
       pages = {151--186},
       publisher = {Springer Verlag},
       url = {http://rw4.cs.uni-saarland.de/~wilhelm/pubs/MW91.pdf}
     }

84. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    Programming Language Implementation and Logic Programming, 1990. [bib]
    

    @INPROCEEDINGS{Sagiv90,
       author = {S. Sagiv and N. Francez and M. Rodeh and Reinhard Wilhelm},
       title = {A Logic-Based Approach to Data Flow Analysis Problems},
       booktitle = {Programming Language Implementation and Logic Programming},
       year = {1990},
       editor = {P. Deransart and J. Ma\luszy\'nski},
       volume = {456},
       series = {LNCS},
       pages = {277--291},
       address = {Link\"oping, Sweden},
       month = {August},
       publisher = {Springer Verlag},
     }

85. Probabilistic Load Balancing for Parallel Graph Reduction
    H. Seidl, R. Wilhelm, and Y. Ben-Asher
    Proc. Int. Workshop on Implementation of Functional Languages on Parallel Architectures, 1990. [bib]
    

    @INPROCEEDINGS{Seidl90b,
       author = {Helmut Seidl and Reinhard Wilhelm and Y. Ben-Asher},
       title = {Probabilistic Load Balancing for Parallel Graph Reduction},
       booktitle = {Proc. Int. Workshop on Implementation of Functional Languages on Parallel Architectures},
       year = {1990},
       pages = {281--296},
       address = {Nijmwegen}
     }

86. The Transpose Machine: A Global Implementation of a Parallel Graph Reducer
    Y. B. Asher, H. Seidl, and R. Wilhelm
    Proc. TENCON '89, Fourth IEEE Region10 International Conference, 1989. [bib]
    

    @INPROCEEDINGS{Asher89,
       author = {Y. Ben Asher and Helmut Seidl and Reinhard Wilhelm},
       title = {The Transpose Machine: A Global Implementation of a Parallel Graph Reducer},
       booktitle = {Proc. TENCON '89, Fourth IEEE Region10 International Conference},
       year = {1989},
       address = {Geentanjali Printers, India}
     }

87. OPTRAN—A Language/System for the Specification of Program Transformations: System Overview and Experiences
    P. Lipps, U. Möncke, and R. Wilhelm
    Proc. of Workshop `Compiler Compilers and High Speed Compilation', 1989. [bib]
    

    @INPROCEEDINGS{Lipps89,
       author = {Peter Lipps and Ulrich M\"oncke and Reinhard Wilhelm},
       title = {{OPTRAN}---A Language/System for the Specification of Program Transformations: System Overview and Experiences},
       booktitle = {Proc. of Workshop `Compiler Compilers and High Speed Compilation'},
       year = {1989},
       editor = {D. Hammer},
       volume = {371},
       series = {LNCS},
       pages = {52--65},
       address = {Berlin, DDR},
       month = OCT,
       publisher = {Springer Verlag}
     }

88. Probabilistic Load Balancing for Parallel Graph Reduction
    H. Seidl, and R. Wilhelm
    Proc. TENCON '89, Fourth IEEE Region10 International Conference, 1989. [bib]
    

    @INPROCEEDINGS{Seidl89,
       author = {Helmut Seidl and Reinhard Wilhelm},
       title = {Probabilistic Load Balancing for Parallel Graph Reduction},
       booktitle = {Proc. TENCON '89, Fourth IEEE Region10 International Conference},
       year = {1989},
       address = {Geentanjali Printers, India}
     }

89. Two Tree Pattern Matchers for Code Selection (Including Targeting)
    B. Weisgerber, and R. Wilhelm
    Proc. of Workshop `Compiler Compilers and High Speed Compilation', 1989. [bib]
    

    @INPROCEEDINGS{Weisgerber89,
       author = {Beatrix Weisgerber and Reinhard Wilhelm},
       title = {Two Tree Pattern Matchers for Code Selection (Including Targeting)},
       booktitle = {Proc. of Workshop `Compiler Compilers and High Speed Compilation'},
       year = {1989},
       editor = {D. Hammer},
       volume = {371},
       series = {LNCS},
       pages = {215--22},
       address = {Berlin, DDR},
       month = OCT,
       publisher = {Springer Verlag}
     }

90. Compiled Graph Reduction on a Processor Network
    M. Raber, T. Remmel, E. Hoffmann, D. Maurer, F. Müller, H. Oberhauser, and R. Wilhelm
    Architektur und Betrieb von Rechensystemen, 10. GI/ITG-Fachtagung, 1988. [bib]
    

    @INPROCEEDINGS{Raber88a,
       author = {Martin Raber and Thomas Remmel and E. Hoffmann and Dieter Maurer and F. M\"uller and Hans-Georg Oberhauser and Reinhard Wilhelm},
       title = {Compiled Graph Reduction on a Processor Network},
       booktitle = {Architektur und Betrieb von Rechensystemen, 10. GI/ITG-Fachtagung},
       year = {1988},
       pages = {198--212},
       address = {Paderborn, FRG},
       month = {March},
       publisher = {IFB 168}
     }

91. Generative Support for Transformational Programming
    U. Möncke, B. Weisgerber, and R. Wilhelm
    European Strategic Programme for Research and development in Information Technology, 1986. [bib]
    

    @INPROCEEDINGS{Moncke86,
       author = {Ulrich M\"oncke and Beatrix Weisgerber and Reinhard Wilhelm},
       title = {Generative Support for Transformational Programming},
       booktitle = {European Strategic Programme for Research and development in Information Technology},
       year = {1986},
       editor = {CEC},
       pages = {511--527},
       publisher = {Elsevier Science Publishers}
     }

92. Invariance of Approximative Semantics with Respect to Program Transformations
    R. Giegerich, U. Möncke, and R. Wilhelm
    GI 11. Jahrestagung, 1981. [ps]  [bib]
    

    @INPROCEEDINGS{Giegerich81,
       author = {Robert Giegerich and Ulrich M\"oncke and Reinhard Wilhelm},
       title = {Invariance of Approximative Semantics with Respect to Program Transformations},
       booktitle = {GI 11. Jahrestagung},
       year = {1981},
       volume = {50},
       series = {Inf. Fachb.},
       pages = {1--10},
       address = {New York--Heidelberg--Berlin},
       publisher = {Springer Verlag},
       url = {http://rw4.cs.uni-saarland.de/~thesing/papers/GiMoWi81.ps.gz}
     }

Technical Reports

93. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
    J. Bauer, and R. Wilhelm
    Technical Report, Dagstuhl, 2006. [pdf]  [bib]
    

    @TECHREPORT{Bauer06b,
       author = {J\"org Bauer and Reinhard Wilhelm},
       title = {Analysis of Dynamic Communicating Systems by Hierarchical Abstraction},
       institution = {Dagstuhl},
       year = {2006},
       type = {Seminar Proceedings 06081},
       month = FEB,
       url = {http://rw4.cs.uni-saarland.de/~joba/papers/dagstuhl06081.pdf}
     }

94. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006. [bib]
    

    @TECHREPORT{Gawlitza06,
       author = {Thomas Gawlitza and Jan Reineke and Helmut Seidl and Reinhard Wilhelm},
       title = {Polynomial Precise Interval Analysis Revisited},
       institution = {TU M\"unchen, Germany},
       year = {2006},
     }

95. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
    

    @TECHREPORT{Reineke06a,
       author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
       title = {Predictability of Cache Replacement Policies},
       institution = {SFB/TR 14 AVACS},
       year = {2006},
       type = {Reports of SFB/TR 14 AVACS},
       number = {9},
       month = {September},
       note = {ISSN: 1860-9821, http://www.avacs.org},
       access = {open},
       bibtex = {atr009.bib},
       editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
       series = {ATR},
       subproject = {R2},
       url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_009.pdf}
     }

96. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    Technical Report, AVACS, 2004. [pdf]  [bib]
    

    @TECHREPORT{Rinetzky04,
       author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {A Semantics for Procedure Local Heaps and its Abstractions},
       institution = {AVACS},
       year = {2004},
       type = {Tech. Rep.},
       number = {1},
       month = {Sep},
       url = {http://rw4.cs.uni-saarland.de/~joba/papers/avacsTR1.pdf}
     }

97. Pipeline Behaviour Prediction for Superscalar Processors
    J. Schneider, C. Ferdinand, and R. Wilhelm
    Technical Report, FB 14 - Informatik, Universität des Saarlandes, 1999. [bib]
    

    @TECHREPORT{Schneider99a,
       author = {J\"orn Schneider and Christian Ferdinand and Reinhard Wilhelm},
       title = {Pipeline Behaviour Prediction for Superscalar Processors},
       institution = {FB 14 - Informatik, Universit\"at des Saarlandes},
       year = {1999},
       number = {A/02/99},
     }

98. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Technical Report, Universität des Saarlandes, 1997. [bib]
    

    @TECHREPORT{Ferdinand97e,
       author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm and Martin Alt},
       title = {Cache Behavior Prediction by Abstract Interpretation},
       institution = {Universit\"at des Saarlandes},
       year = {1997},
       type = {{T}echnical {R}eport 05/97},
     }

99. Generating Dataflow Analyzers with PAG
    M. Alt, F. Martin, and R. Wilhelm
    Technical Report, Universität des Saarlandes, 1995. [bib]
    

    @TECHREPORT{Alt95b,
       author = {Martin Alt and Florian Martin and Reinhard Wilhelm},
       title = {Generating Dataflow Analyzers with {PAG}},
       institution = {Universit\"at des Saarlandes},
       year = {1995},
       type = {Technical {R}eport},
       number = {A10-95},
     }

100. Formula Layout
     R. Heckmann, and R. Wilhelm
     Technical Report, FB 14 Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1995. [bib]
     

     @TECHREPORT{Heckmann95,
        author = {Reinhold Heckmann and Reinhard Wilhelm},
        title = {Formula Layout},
        institution = {FB 14 Informatik, Universit\"at des Saarlandes},
        year = {1995},
        type = {Technical Report},
        number = {A 07/95},
        address = {66041 Saarbr\"ucken, Germany}
      }

101. An Abstract Machine for an Object-Oriented Language with Top-Level Classes
     C. Böschen, C. Fecht, A. V. Hense, and R. Wilhelm
     Technical Report, Universität des Saarlandes, 1994. [bib]
     

     @TECHREPORT{Boschen94,
        author = {C. B\"oschen and Christian Fecht and Andreas V. Hense and Reinhard Wilhelm},
        title = {An Abstract Machine for an Object-Oriented Language with Top-Level Classes},
        institution = {Universit\"at des Saarlandes},
        year = {1994},
        number = {A 02/94}
      }

102. Generation of Distributed Supervisors for Parallel Compilers
     M. Alt, G. Sander, and R. Wilhelm
     Technical Report, Universität des Saarlandes, Fachbereich 14, Informatik, 1993. [bib]
     

     @TECHREPORT{Alt93b,
        author = {Martin Alt and Georg Sander and Reinhard Wilhelm},
        title = {Generation of Distributed Supervisors for Parallel Compilers},
        institution = {Universit\"at des Saarlandes},
        year = {1993},
        type = {Technical Report},
        number = {A01-93},
        address = {Fachbereich 14, {I}nformatik},
        month = FEB
      }

103. 2DT-FP: An FP based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
     Y. Ben-Asher, G. Rünger, A. Schuster, and R. Wilhelm
     Technical Report, Universität des Saarlandes, SFB 124, 1993. [bib]
     

     @TECHREPORT{Ben-Asher93,
        author = {Y. Ben-Asher and G. R\"unger and A. Schuster and Reinhard Wilhelm},
        title = {{2DT-FP}: An FP based Programming Language for Efficient Parallel Programming of Multiprocessor Networks},
        institution = {Universit\"at des Saarlandes, SFB 124},
        year = {1993},
        number = {07/93}
      }

104. Evaluation of Applicative Style Attributes Using Lazy Memo Functions
     A. V. Hense, and R. Wilhelm
     Technical Report, European Strategic Programme for Research and development in Information Technology, 1989. [bib]
     

     @TECHREPORT{Hense89,
        author = {Andreas V. Hense and Reinhard Wilhelm},
        title = {Evaluation of Applicative Style Attributes Using Lazy Memo Functions},
        institution = {European Strategic Programme for Research and development in Information
      	Technology},
        year = {1989},
        number = {Doc.: M.1.1.S.1.3-DI-6.0}
      }

Address

Prof. Dr. Reinhard Wilhelm
Compiler Research Group
FR. 6.2 - Informatik
Universität des Saarlandes
Postfach 15 11 50
66041 Saarbrücken
Building E1 3, Room 405
Germany

Phone: +49 (0)681 - 302 - 3434
Fax: +49 (0)681 - 302 - 3065
email: wilhelm (at) cs (dot) uni-saarland (dot) de