Publications

PhD theses

1. Timing Model Derivation – Static Analysis of Hardware Description Languages
   M. Schlickling
   Saarland University, 2013. [url]  [bib]
   

   @phdthesis{Schlickling13,
      author = {Marc Schlickling},
      title = {Timing Model Derivation -- Static Analysis of Hardware Description Languages},
      school = {Saarland University},
      year = {2013},
      month = {January},
      isbn = {978-3-8442-4513-4},
      publisher = {epubli GmbH},
      url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-8442-4513-4}
    }

2. Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
   D. Grund
   Saarland University, 2012. [url]  [bib]
   

   @phdthesis{Grund12,
      author = {Daniel Grund},
      title = {Static Cache Analysis for Real-Time Systems -- {LRU}, {FIFO}, {PLRU}},
      school = {Saarland University},
      year = {2012},
      isbn = {978-3-8442-1699-8},
      publisher = {ePubli GmbH},
      url = {https://www.epubli.de/shop/buch/Static-Cache-Analysis-for-Real-Time-Systems-Daniel-Grund-9783844216998/13092}
    }

3. Symbolic Representations in WCET Analysis
   S. Wilhelm
   Saarland University, 2012. [url]  [bib]
   

   @phdthesis{Wilhelm12b,
      author = {Stephan Wilhelm},
      title = {Symbolic Representations in {WCET} Analysis},
      school = {Saarland University},
      year = {2012},
      isbn = {978-3-8442-2463-4},
      publisher = {ePubli GmbH},
      url = {http://www.epubli.de/shop/buch/Symbolic-Representations-in-WCET-Analysis-Stephan-Wilhelm-9783844224634/16575}
    }

4. Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
   M. Pister
   Saarland University, 2012. [url]  [bib]
   

   @phdthesis{Pister12,
      author = {Markus Pister},
      title = {Timing Model Derivation -- Pipeline Analyzer Generation from Hardware Description Languages},
      school = {Saarland University},
      year = {2012},
      month = {October},
      isbn = {978-3-937436-40-1},
      publisher = {Pirrot Verlag},
      url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-937436-40-1}
    }

5. SIMD Code Generation in Data-Parallel Programming
   N. Fritz
   Universität des Saarlandes, 2009. [bib]
   

   @phdthesis{Fritz09,
      author = {Nicolas Fritz},
      title = {{SIMD} Code Generation in Data-Parallel Programming},
      school = {Universit\"at des Saarlandes},
      year = {2009},
    }

6. CGiS: High-Level Data-Parallel GPU Programming
   P. Lucas
   Universität des Saarlandes, 2008. [bib]
   

   @phdthesis{Lucas08,
      author = {Philipp Lucas},
      title = {{CGiS}: High-Level Data-Parallel {GPU} Programming},
      school = {Universit\"at des Saarlandes},
      year = {2008},
      month = {January},
    }

7. Caches in WCET Analysis
   J. Reineke
   Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
   

   @phdthesis{Reineke08,
      author = {Jan Reineke},
      title = {Caches in {WCET} Analysis},
      school = {Universit\"at des Saarlandes},
      year = {2008},
      month = {November},
      slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/phdDefenseReineke.pdf},
      url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/DissertationCachesInWCETAnalysis.pdf}
    }

8. Analysis of Communication Topologies by Partner Abstraction
   J. Bauer
   Universität des Saarlandes, 2006. [bib]
   

   @phdthesis{Bauer06,
      author = {J\"org Bauer},
      title = {Analysis of Communication Topologies by Partner Abstraction},
      school = {Universit\"at des Saarlandes},
      year = {2006},
      isbn = {978-3-937436-12-8},
      publisher = {Verlag Pirrot, 66125 Saarbr\"ucken}
    }

9. Offline Drawing of Dynamic Graphs
   C. Görg
   Universität des Saarlandes, 2005. [bib]
   

   @phdthesis{Gorg05,
      author = {Carsten G\"org},
      title = {Offline Drawing of Dynamic Graphs},
      school = {Universit\"at des Saarlandes},
      year = {2005},
    }

10. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
    S. Thesing
    Universität des Saarlandes, 2004. [bib]
    

    @phdthesis{Thesing04,
       author = {Stephan Thesing},
       title = {Safe and Precise {WCET} Determination by Abstract Interpretation of Pipeline Models},
       school = {Universit\"at des Saarlandes},
       year = {2004},
     }

11. Optimal Global Instruction Scheduling for the Itanium Processor Architecture
    S. Winkel
    Universität des Saarlandes, 2004. [bib]
    

    @phdthesis{Winkel04a,
       author = {Sebastian Winkel},
       title = {Optimal Global Instruction Scheduling for the {Itanium} Processor Architecture},
       school = {Universit\"at des Saarlandes},
       year = {2004},
     }

12. Combined Schedulability and WCET Analysis for Real-Time Operating Systems
    J. Schneider
    Universität des Saarlandes, 2003. [bib]
    

    @phdthesis{Schneider03,
       author = {J\"orn Schneider},
       title = {Combined Schedulability and {WCET} Analysis for Real-Time Operating Systems},
       school = {Universit\"at des Saarlandes},
       year = {2003},
     }

13. Control Flow Graphs for Real-Time System Analysis
    H. Theiling
    Universität des Saarlandes, 2003. [bib]
    

    @phdthesis{Theiling03,
       author = {Henrik Theiling},
       title = {Control Flow Graphs for Real-Time System Analysis},
       school = {Universit\"at des Saarlandes},
       year = {2003},
     }

14. Generierung interaktiver Animationen für den Übersetzerbau
    A. Kerren
    Universität des Saarlandes, 2002. [bib]
    

    @phdthesis{Kerren02,
       author = {Andreas Kerren},
       title = {{G}enerierung interaktiver {A}nimationen f\"ur den {\"U}bersetzerbau},
       school = {Universit\"at des Saarlandes},
       year = {2002},
     }

15. Language-Based Security
    P. Laud
    Universität des Saarlandes, 2002. [bib]
    

    @phdthesis{Laud02,
       author = {Peeter Laud},
       title = {Language-Based Security},
       school = {Universit\"at des Saarlandes},
       year = {2002},
     }

16. A Demand-Driven Solver for Constraint-Based Control Flow Analysis
    C. Probst
    Universität des Saarlandes, 2002. [bib]
    

    @phdthesis{Probst02,
       author = {Christian Probst},
       title = {A Demand-Driven Solver for Constraint-Based Control Flow Analysis},
       school = {Universit\"at des Saarlandes},
       year = {2002},
     }

17. Retargetable Postpass Optimisation by Integer Linear Programming
    D. Kästner
    Universität des Saarlandes, 2000. [bib]
    

    @phdthesis{Kastner00,
       author = {Daniel K\"astner},
       title = {Retargetable Postpass Optimisation by Integer Linear Programming},
       school = {Universit\"at des Saarlandes},
       year = {2000},
     }

18. Generating Program Analyzers
    F. Martin
    Universität des Saarlandes, 1999. [bib]
    

    @phdthesis{Martin99a,
       author = {Florian Martin},
       title = {Generating Program Analyzers},
       school = {Universit\"at des Saarlandes},
       year = {1999},
     }

19. On Parallel Compilation
    M. Alt
    Universität des Saarlandes, 1997. [bib]
    

    @phdthesis{Alt97,
       author = {Martin Alt},
       title = {On Parallel Compilation},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

20. Abstrakte Interpretationen logischer Programme: Theorie, Implementierung, Generierung
    C. Fecht
    Universität des Saarlandes, 1997. [bib]
    

    @phdthesis{Fecht97,
       author = {Christian Fecht},
       title = {{A}bstrakte {I}nterpretationen logischer {P}rogramme: {T}heorie, {I}mplementierung, {G}enerierung},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

21. Cache Behaviour Prediction for Real-Time Systems
    C. Ferdinand
    Universität des Saarlandes, 1997. [bib]
    

    @phdthesis{Ferdinand97c,
       author = {Christian Ferdinand},
       title = {Cache Behaviour Prediction for Real-Time Systems},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

22. Semantics-Directed Generation of Compilers and Abstract Machines
    S. Diehl
    Universität des Saarlandes, 1996. [bib]
    

    @phdthesis{Diehl96,
       author = {Stephan Diehl},
       title = {Semantics-Directed Generation of Compilers and Abstract Machines},
       school = {Universit\"at des Saarlandes},
       year = {1996},
     }

23. Visualisierungstechniken für den Compilerbau
    G. Sander
    Universität des Saarlandes, 1996. [bib]
    

    @phdthesis{Sander96,
       author = {Georg Sander},
       title = {{V}isualisierungstechniken f\"ur den {C}ompilerbau},
       school = {Universit\"at des Saarlandes},
       year = {1996},
     }

24. Parallele Implementierung funktionaler Programmiersprachen
    M. Raber
    Universität des Saarlandes, 1995. [bib]
    

    @phdthesis{Raber95,
       author = {Martin Raber},
       title = {{P}arallele {I}mplementierung funktionaler {P}rogrammiersprachen},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

25. Properties, Transformations and Global Events in Concurrent Systems
    S. Zhou
    Universität des Saarlandes, 1994. [bib]
    

    @phdthesis{Zhou94,
       author = {Shengzong Zhou},
       title = {Properties, Transformations and Global Events in Concurrent Systems},
       school = {Universit\"at des Saarlandes},
       year = {1994},
     }

26. Power Domain Constructions
    R. Heckmann
    Universität des Saarlandes, 1991. [bib]
    

    @phdthesis{Heckmann91,
       author = {Reinhold Heckmann},
       title = {Power Domain Constructions},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

27. Automatische Erzeugung von hardwarenahen Treiber-Komponenten und Einbettung in eine UNIX-Umgebung
    M. Lehser
    Universität des Saarlandes, 1989. [bib]
    

    @phdthesis{Lehser89,
       author = {Martina Lehser},
       title = {{A}utomatische {E}rzeugung von hardwarenahen {T}reiber-{K}omponenten und {E}inbettung in eine {UNIX}-{U}mgebung},
       school = {Universit\"at des Saarlandes},
       year = {1989},
     }

28. Gaphreduktion für funktionale Sprachen
    H. Oberhauser
    Universität des Saarlandes, 1988. [bib]
    

    @phdthesis{Oberhauser88,
       author = {Hans-Georg Oberhauser},
       title = {{G}aphreduktion f\"ur funktionale {S}prachen},
       school = {Universit\"at des Saarlandes},
       year = {1988},
     }

29. Relevanzanalyse – Eine Kombination von Striktheits- und Datenflußanalyse zur effizientern Auswertung funktionaler Programme
    D. Maurer
    Universität des Saarlandes, 1987. [bib]
    

    @phdthesis{Maurer87,
       author = {Dieter Maurer},
       title = {{R}elevanzanalyse -- {E}ine {K}ombination von {S}triktheits- und {D}atenflu{\ss}analyse zur effizientern {A}uswertung funktionaler {P}rogramme},
       school = {Universit\"at des Saarlandes},
       year = {1987},
     }

30. Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren
    P. Raber
    Universität des Saarlandes, 1986. [bib]
    

    @phdthesis{Raber86,
       author = {Peter Raber},
       title = {{L}istenkonstrukte und ihre {A}ttributierung in einem {S}ystem zur {G}enerierung von {B}aumtransformatoren},
       school = {Universit\"at des Saarlandes},
       year = {1986},
     }

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]
    

    @phdthesis{Moncke85,
       author = {Ulrich M\"oncke},
       title = {{G}enerierung von {S}ystemen zur {T}ransformation {A}ttributierter {O}peratorb\"aume {K}omponenten des {S}ystems und {M}echanisman der {G}enerierung},
       school = {Universit\"at des Saarlandes},
       year = {1985},
     }

32. POCO – Ein protables System zur Generierung protabler Compiler
    M. Eulenstein
    Universität des Saarlandes, 1984. [bib]
    

    @phdthesis{Eulenstein84,
       author = {Michael Eulenstein},
       title = {{POCO} -- {E}in protables {S}ystem zur {G}enerierung protabler {C}ompiler},
       school = {Universit\"at des Saarlandes},
       year = {1984},
     }

33. Die Erzeugung optimaler Codes für Series-prallel-graphs in polynomieller Zeit
    G. Reiner
    Universität des Saarlandes, 1982. [bib]
    

    @phdthesis{Reiner82,
       author = {G\"uthler Reiner},
       title = {{D}ie {E}rzeugung optimaler {C}odes f\"ur {S}eries-prallel-graphs in polynomieller {Z}eit},
       school = {Universit\"at des Saarlandes},
       year = {1982},
     }