- 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}
}
- 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}
}
- 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}
}
- 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}
}
- 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},
}
- 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},
}
- 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}
}
- 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}
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}
- 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},
}