Publications

PhD theses

  1. Timing Model Derivation – Static Analysis of Hardware Description Languages
    M. Schlickling
    Saarland University, 2013. [url]  [bib]
  2. Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
    D. Grund
    Saarland University, 2012. [url]  [bib]
  3. Symbolic Representations in WCET Analysis
    S. Wilhelm
    Saarland University, 2012. [url]  [bib]
  4. Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
    M. Pister
    Saarland University, 2012. [url]  [bib]
  5. SIMD Code Generation in Data-Parallel Programming
    N. Fritz
    Universität des Saarlandes, 2009. [bib]
  6. CGiS: High-Level Data-Parallel GPU Programming
    P. Lucas
    Universität des Saarlandes, 2008. [bib]
  7. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
  8. Analysis of Communication Topologies by Partner Abstraction
    J. Bauer
    Universität des Saarlandes, 2006. [bib]
  9. Offline Drawing of Dynamic Graphs
    C. Görg
    Universität des Saarlandes, 2005. [bib]
  10. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
    S. Thesing
    Universität des Saarlandes, 2004. [bib]
  11. Optimal Global Instruction Scheduling for the Itanium Processor Architecture
    S. Winkel
    Universität des Saarlandes, 2004. [bib]
  12. Combined Schedulability and WCET Analysis for Real-Time Operating Systems
    J. Schneider
    Universität des Saarlandes, 2003. [bib]
  13. Control Flow Graphs for Real-Time System Analysis
    H. Theiling
    Universität des Saarlandes, 2003. [bib]
  14. Generierung interaktiver Animationen für den Übersetzerbau
    A. Kerren
    Universität des Saarlandes, 2002. [bib]
  15. Language-Based Security
    P. Laud
    Universität des Saarlandes, 2002. [bib]
  16. A Demand-Driven Solver for Constraint-Based Control Flow Analysis
    C. Probst
    Universität des Saarlandes, 2002. [bib]
  17. Retargetable Postpass Optimisation by Integer Linear Programming
    D. Kästner
    Universität des Saarlandes, 2000. [bib]
  18. Generating Program Analyzers
    F. Martin
    Universität des Saarlandes, 1999. [bib]
  19. On Parallel Compilation
    M. Alt
    Universität des Saarlandes, 1997. [bib]
  20. Abstrakte Interpretationen logischer Programme: Theorie, Implementierung, Generierung
    C. Fecht
    Universität des Saarlandes, 1997. [bib]
  21. Cache Behaviour Prediction for Real-Time Systems
    C. Ferdinand
    Universität des Saarlandes, 1997. [bib]
  22. Semantics-Directed Generation of Compilers and Abstract Machines
    S. Diehl
    Universität des Saarlandes, 1996. [bib]
  23. Visualisierungstechniken für den Compilerbau
    G. Sander
    Universität des Saarlandes, 1996. [bib]
  24. Parallele Implementierung funktionaler Programmiersprachen
    M. Raber
    Universität des Saarlandes, 1995. [bib]
  25. Properties, Transformations and Global Events in Concurrent Systems
    S. Zhou
    Universität des Saarlandes, 1994. [bib]
  26. Power Domain Constructions
    R. Heckmann
    Universität des Saarlandes, 1991. [bib]
  27. Automatische Erzeugung von hardwarenahen Treiber-Komponenten und Einbettung in eine UNIX-Umgebung
    M. Lehser
    Universität des Saarlandes, 1989. [bib]
  28. Gaphreduktion für funktionale Sprachen
    H. Oberhauser
    Universität des Saarlandes, 1988. [bib]
  29. Relevanzanalyse – Eine Kombination von Striktheits- und Datenflußanalyse zur effizientern Auswertung funktionaler Programme
    D. Maurer
    Universität des Saarlandes, 1987. [bib]
  30. Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren
    P. Raber
    Universität des Saarlandes, 1986. [bib]
  31. Generierung von Systemen zur Transformation Attributierter Operatorbäume Komponenten des Systems und Mechanisman der Generierung
    U. Möncke
    Universität des Saarlandes, 1985. [bib]
  32. POCO – Ein protables System zur Generierung protabler Compiler
    M. Eulenstein
    Universität des Saarlandes, 1984. [bib]
  33. Die Erzeugung optimaler Codes für Series-prallel-graphs in polynomieller Zeit
    G. Reiner
    Universität des Saarlandes, 1982. [bib]