Publications

Master/Diploma theses

1. Towards Shape Analysis of B-Trees
   J. Herter
   Universität des Saarlandes, 2008. [pdf]  [bib]
   

   @mastersthesis{Herter08,
      author = {J\"org Herter},
      title = {Towards Shape Analysis of {B}-Trees},
      school = {Universit\"at des Saarlandes},
      year = {2008},
      month = {January},
      url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/TowardsShapeAnalysisOfBTrees.pdf}
    }

2. Topology Analysis of Dynamic Communication Systems
   P. Backes
   Universität des Saarlandes, 2008. [bib]
   

   @mastersthesis{Backes08,
      author = {Peter Backes},
      title = {Topology Analysis of Dynamic Communication Systems},
      school = {Universit\"at des Saarlandes},
      year = {2008},
      type = {Diploma thesis},
      month = {March},
    }

3. Generating Code from Abstracted VHDL Models
   M. A. Maksoud
   Universität des Saarlandes, 2007. [bib]
   

   @mastersthesis{Maksoud07,
      author = {Mohamed Abdel Maksoud},
      title = {Generating Code from Abstracted {VHDL} Models},
      school = {Universit\"at des Saarlandes},
      year = {2007},
      language = {english}
    }

4. A Pattern Matcher Generator for Retargetable Code Generation and Optimisation
   G. Gebhard
   Universität des Saarlandes, 2006. [pdf]  [bib]
   

   @mastersthesis{Gebhard06,
      author = {Gernot Gebhard},
      title = {A Pattern Matcher Generator for Retargetable Code Generation and Optimisation},
      school = {Universit\"at des Saarlandes},
      year = {2006},
      url = {https://www.rw.cdl.uni-saarland.de/people/gebhard/private/diplom.pdf}
    }

5. Analyse von Pfadausschlüssen auf Maschinencode
   I. Stein
   Universität des Saarlandes, Saarbrücken, 2006. [bib]
   

   @mastersthesis{Stein06,
      author = {Ingmar Stein},
      title = {{A}nalyse von {P}fadausschl\"ussen auf {M}aschinencode},
      school = {Universit\"at des Saarlandes},
      year = {2006},
      type = {Diplomarbeit},
      address = {Saarbr\"ucken},
      month = {Februaryruar},
      language = {ngerman},
      read = {No}
    }

6. Statische Berechnung sicherer Schleifengrenzen auf Maschinencode
   C. Cullmann
   Universität des Saarlandes, 2006. [bib]
   

   @mastersthesis{Cullmann06,
      author = {Christoph Cullmann},
      title = {{S}tatische {B}erechnung sicherer {S}chleifengrenzen auf {M}aschinencode},
      school = {Universit\"at des Saarlandes},
      year = {2006},
      language = {ngerman}
    }

7. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
   S. Altmeyer
   Universität des Saarlandes, 2006. [bib]
   

   @mastersthesis{Altmeyer06,
      author = {Sebastian Altmeyer},
      title = {Parametric {WCET} Analysis, Parameter Framework and Parametric Path Analysis},
      school = {Universit\"at des Saarlandes},
      year = {2006},
    }

8. Interaktive dreidimensionale webbasierte Simulation von Meteoriteneinschlägen
   K. Chu
   Universität des Saarlandes, 2005. [bib]
   

   @mastersthesis{Chu05,
      author = {Khoa Chu},
      title = {{I}nteraktive dreidimensionale webbasierte {S}imulation von {M}eteoriteneinschl\"agen},
      school = {Universit\"at des Saarlandes},
      year = {2005},
    }

9. Algorithm Animation using Shape Analysis with Special Regard to Binary Trees
   S. Parduhn
   Universität des Saarlandes, 2005. [bib]
   

   @mastersthesis{Parduhn05,
      author = {Sascha Parduhn},
      title = {Algorithm Animation using Shape Analysis with Special Regard to Binary Trees},
      school = {Universit\"at des Saarlandes},
      year = {2005},
    }

10. Generisches Softwarepipelining auf Assemblerebene
    M. Pister
    Universität des Saarlandes, 2005. [pdf]  [bib]
    

    @mastersthesis{Pister05,
       author = {Markus Pister},
       title = {Generisches {S}oftwarepipelining auf {A}ssemblerebene},
       school = {Universit\"at des Saarlandes},
       year = {2005},
       url = {https://www.rw.cdl.uni-saarland.de/people/pister/private/papers/GenSoftpipe.pdf}
     }

11. Hierarchisches Zeichnen dynamischer Graphen
    M. Pohl
    Universität des Saarlandes, 2005. [bib]
    

    @mastersthesis{Pohl05,
       author = {Mathias Pohl},
       title = {{H}ierarchisches {Z}eichnen dynamischer {G}raphen},
       school = {Universit\"at des Saarlandes},
       year = {2005},
     }

12. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]
    

    @mastersthesis{Reineke05,
       author = {Jan Reineke},
       title = {Shape Analysis of Sets},
       school = {Universit\"at des Saarlandes, Germany},
       year = {2005},
       month = {June},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/shapeAnalysisOfSets.pdf},
       url = {http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf}
     }

13. Generisches Slicing auf Maschinencode
    M. Schlickling
    Universität des Saarlandes, 2005. [pdf]  [bib]
    

    @mastersthesis{Schlickling05,
       author = {Marc Schlickling},
       title = {{G}enerisches {S}licing auf {M}aschinencode},
       school = {Universit\"at des Saarlandes},
       year = {2005},
       url = {https://www.rw.cdl.uni-saarland.de/people/schlickling/private/GenStaSlicing.pdf}
     }

14. Attributierte Transformationsgrammatiken: die Reattributierung
    A. Schütte
    Universität des Saarlandes, 2005. [bib]
    

    @mastersthesis{Schutte05,
       author = {Alois Sch\"utte},
       title = {{A}ttributierte {T}ransformationsgrammatiken: die {R}eattributierung},
       school = {Universit\"at des Saarlandes},
       year = {2005},
     }

15. Checking Universally Quantified Temporal Properties with Three-Valued Analysis
    B. Wachter
    Universität des Saarlandes, 2005. [bib]
    

    @mastersthesis{Wachter05,
       author = {Bj\"orn Wachter},
       title = {Checking Universally Quantified Temporal Properties with Three-Valued Analysis},
       school = {Universit\"at des Saarlandes},
       year = {2005},
     }

16. Entwurf und Implementierung einer retargierbaren Programmiersprache für fernprogrammierbare Roboter
    A. Wagner
    Universität des Saarlandes, 2005. [bib]
    

    @mastersthesis{Wagner05,
       author = {Andreas Wagner},
       title = {{E}ntwurf und {I}mplementierung einer retargierbaren {P}rogrammiersprache f\"ur fernprogrammierbare {R}oboter},
       school = {Universit\"at des Saarlandes},
       year = {2005},
     }

17. Modellierung dreidimensionaler Simulationen mit Hilfe von Verhaltensautomaten
    C. Lambert
    Universität des Saarlandes, 2004. [bib]
    

    @mastersthesis{Lambert04,
       author = {Christian Lambert},
       title = {{M}odellierung dreidimensionaler {S}imulationen mit {H}ilfe von {V}erhaltensautomaten},
       school = {Universit\"at des Saarlandes},
       year = {2004},
     }

18. Instruktionsanordnung durch Tabu-Suche
    S. Wiegratz
    Universität des Saarlandes, 2004. [bib]
    

    @mastersthesis{Wiegratz04,
       author = {Steffen Wiegratz},
       title = {{I}nstruktionsanordnung durch {T}abu-{S}uche},
       school = {Universit\"at des Saarlandes},
       year = {2004},
     }

19. Analyse und Visualisierung von Softwaresystemen in Bezug auf Stabilität, Wartbarkeit und Wiederverwendbarkeit
    M. J. Wilhelm
    Universität des Saarlandes, 2004. [bib]
    

    @mastersthesis{Wilhelm04,
       author = {Michael Johannes Wilhelm},
       title = {{A}nalyse und {V}isualisierung von {S}oftwaresystemen in {B}ezug auf {S}tabilit\"at, {W}artbarkeit und {W}iederverwendbarkeit},
       school = {Universit\"at des Saarlandes},
       year = {2004},
     }

20. Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions
    O. Parshin
    Universität des Saarlandes, 2004. [bib]
    

    @mastersthesis{Parshin04,
       author = {Oleg Parshin},
       title = {Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions},
       school = {Universit\"at des Saarlandes},
       year = {2004},
     }

21. Ein Server-basierter Interpreter für ein Online-Tutorial über Programmieren in Java
    C. Bieg
    Universität des Saarlandes, 2003. [bib]
    

    @mastersthesis{Bieg03,
       author = {Claudia Bieg},
       title = {{E}in {S}erver-basierter {I}nterpreter f\"ur ein {O}nline-{T}utorial \"uber {P}rogrammieren in {J}ava},
       school = {Universit\"at des Saarlandes},
       year = {2003},
     }

22. Generic Reconstruction of Control Flow for Guarded Code from Assembly
    B. Decker
    Universität des Saarlandes, 2002. [bib]
    

    @mastersthesis{Decker02,
       author = {Bj\"orn Decker},
       title = {Generic Reconstruction of Control Flow for Guarded Code from Assembly},
       school = {Universit\"at des Saarlandes},
       year = {2002},
     }

23. A Control-Flow Analysis for Multi-Threaded Java with Security Applications
    J. Bauer
    Universität des Saarlandes, 2001. [ps]  [bib]
    

    @mastersthesis{Bauer01,
       author = {J\"org Bauer},
       title = {A Control-Flow Analysis for Multi-Threaded {Java} with Security Applications},
       school = {Universit\"at des Saarlandes},
       year = {2001},
       url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/diplom.ps.gz}
     }

24. Alexsa. Algorithm Explanation by Shape Analysis Extensions to the TVLA System
    R. Bieber
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Bieber01,
       author = {Ronald Bieber},
       title = {{Alexsa}. Algorithm Explanation by Shape Analysis Extensions to the {TVLA} System},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

25. Ein Framework für die Erfassung komponentenbasierter Modelle und deren Präsentation mittels Java3D
    P. Blanchebarbe
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Blanchebarbe01,
       author = {Peter Blanchebarbe},
       title = {{E}in {F}ramework f\"ur die {E}rfassung komponentenbasierter {M}odelle und deren {P}r\"asentation mittels {Java3D}},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

26. PSL – Eine Sprache zur Spezifikation von Datenflussanalysen
    D. Bobbert
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Bobbert01,
       author = {Daniel Bobbert},
       title = {{PSL} -- {E}ine {S}prache zur {S}pezifikation von {D}atenflussanalysen},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

27. Statischer Methodenaufruf in Java
    H. Dewes
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Dewes01,
       author = {Holger Dewes},
       title = {{S}tatischer {M}ethodenaufruf in {Java}},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

28. Generische Value-Analyse für Maschinenprogramme
    N. Fritz
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Fritz01,
       author = {Nico Fritz},
       title = {{G}enerische {V}alue-{A}nalyse f\"ur {M}aschinenprogramme},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

29. Layout animierter Graphen
    C. Görg
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Gorg01,
       author = {Carsten G\"org},
       title = {{L}ayout animierter {G}raphen},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

30. Implementierung und Anwendung der GANIMAL Laufzeitumgebung
    T. Weller
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Weller01,
       author = {Torsten Weller},
       title = {{I}mplementierung und {A}nwendung der {GANIMAL} {L}aufzeitumgebung},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

31. Generische Rekonstruktion von Kontrollflussgraphen aus Assemblerprogrammen
    S. Wilhelm
    Universität des Saarlandes, 2001. [bib]
    

    @mastersthesis{Wilhelm01,
       author = {Stephan Wilhelm},
       title = {{G}enerische {R}ekonstruktion von {K}ontrollflussgraphen aus {A}ssemblerprogrammen},
       school = {Universit\"at des Saarlandes},
       year = {2001},
     }

32. Implementierung von VRML mit Constraints
    J. Keller
    Universität des Saarlandes, 2000. [bib]
    

    @mastersthesis{Keller00,
       author = {J\"org Keller},
       title = {{I}mplementierung von {VRML} mit {C}onstraints},
       school = {Universit\"at des Saarlandes},
       year = {2000},
     }

33. Kooperative Lernsoftware
    M. Ohlmann
    Universität des Saarlandes, 2000. [bib]
    

    @mastersthesis{Ohlmann00,
       author = {Michael Ohlmann},
       title = {{K}ooperative {L}ernsoftware},
       school = {Universit\"at des Saarlandes},
       year = {2000},
     }

34. Analyse des Verhaltens von mehrstufigen Caches mit Schreibstrategien
    M. Haase
    Universität des Saarlandes, 1999. [bib]
    

    @mastersthesis{Haase99,
       author = {Michael Haase},
       title = {{A}nalyse des {V}erhaltens von mehrstufigen {C}aches mit {S}chreibstrategien},
       school = {Universit\"at des Saarlandes},
       year = {1999},
     }

35. Erstellung von Laufzeitgarantien für sicherheitskritische Systeme am Beispiel einer Flugsteuerung
    D. Kreutzer
    Universität des Saarlandes, 1999. [bib]
    

    @mastersthesis{Kreutzer99,
       author = {Daniel Kreutzer},
       title = {{E}rstellung von {L}aufzeitgarantien f\"ur sicherheitskritische {S}ysteme am {B}eispiel einer {F}lugsteuerung},
       school = {Universit\"at des Saarlandes},
       year = {1999},
     }

36. Generierung interaktiver Animationen von abstrakten Maschinen
    T. Kunze
    Universität des Saarlandes, 1999. [bib]
    

    @mastersthesis{Kunze99,
       author = {Thomas Kunze},
       title = {{G}enerierung interaktiver {A}nimationen von abstrakten {M}aschinen},
       school = {Universit\"at des Saarlandes},
       year = {1999},
     }

37. Entwurf und Implementierung eines Kontrollflußgenerators
    M. Schmidt
    Universität des Saarlandes, 1999. [bib]
    

    @mastersthesis{Schmidt99,
       author = {Michael Schmidt},
       title = {{E}ntwurf und {I}mplementierung eines {K}ontrollflu{\ss}generators},
       school = {Universit\"at des Saarlandes},
       year = {1999},
     }

38. Entwurfsmuster in verteilten Anwendungen am Beispiel des Projekts Televerwaltung Saar
    A. Placzek
    Universität des Saarlandes, 1998. [bib]
    

    @mastersthesis{Placzek98,
       author = {Andreas Placzek},
       title = {{E}ntwurfsmuster in verteilten {A}nwendungen am {B}eispiel des {P}rojekts {T}eleverwaltung {S}aar},
       school = {Universit\"at des Saarlandes},
       year = {1998},
     }

39. Datenbankbasiertes System zur Meßdatenerfassung, Bearbeitung, Berechnung und Präsentation bei statischen Seilversuchen
    R. Schlosser
    Universität des Saarlandes, 1998. [bib]
    

    @mastersthesis{Schlosser98,
       author = {Roland Schlosser},
       title = {{D}atenbankbasiertes {S}ystem zur {M}e{\ss}datenerfassung, {B}earbeitung, {B}erechnung und {P}r\"asentation bei statischen {S}eilversuchen},
       school = {Universit\"at des Saarlandes},
       year = {1998},
     }

40. Statische Pipeline-Analyse für Echtzeitsysteme
    J. Schneider
    Universität des Saarlandes, 1998. [bib]
    

    @mastersthesis{Schneider98a,
       author = {J\"orn Schneider},
       title = {{S}tatische {P}ipeline-{A}nalyse f\"ur {E}chtzeitsysteme},
       school = {Universit\"at des Saarlandes},
       year = {1998},
     }

41. Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden
    H. Theiling
    Universität des Saarlandes, 1998. [bib]
    

    @mastersthesis{Theiling98a,
       author = {Henrik Theiling},
       title = {{\"U}ber die {V}erwendung ganzzahliger linearer {P}rogrammierung zur {S}uche nach l\"angsten {P}rogrammpfaden},
       school = {Universit\"at des Saarlandes},
       year = {1998},
     }

42. Analyse der Datenverteilung für Implementierungen der Sprache 2DT auf Parallelrechnern mit verteiltem Speicher
    S. Bergmann
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Bergmann97,
       author = {Stephan Bergmann},
       title = {{A}nalyse der {D}atenverteilung f\"ur {I}mplementierungen der {S}prache {2DT} auf {P}arallelrechnern mit verteiltem {S}peicher},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

43. Ein Sortensystem für die logische Programmiersprache eXu KRL
    M. Ferdinand
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Ferdinand97f,
       author = {Matthias Ferdinand},
       title = {{E}in {S}ortensystem f\"ur die logische {P}rogrammiersprache {eXu KRL}},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

44. Genaue Laufzeiten für Kommunikationsoperationen paralleler Maschinen mit verteiltem Speicher
    R. Foschia
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Foschia97,
       author = {Riccardo Foschia},
       title = {{G}enaue {L}aufzeiten f\"ur {K}ommunikationsoperationen paralleler {M}aschinen mit verteiltem {S}peicher},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

45. Animation der semantischen Analyse
    A. Kerren
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Kerren97,
       author = {Andreas Kerren},
       title = {{A}nimation der semantischen {A}nalyse},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

46. Instruktionsanordnung und Registerallokation auf der Basis ganzzahliger linearer Programmierung für den digitalen Signalprozessor ADSP-2106x
    D. Kästner
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Kastner97,
       author = {Daniel K\"astner},
       title = {{I}nstruktionsanordnung und {R}egisterallokation auf der {B}asis ganzzahliger linearer {P}rogrammierung f\"ur den digitalen {S}ignalprozessor {ADSP-2106x}},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

47. Instruktionsanordnungen unter Verwendung graphbasierter Algorithmen für den digitalen Signalprozessor ADSP-2106x
    M. Langenbach
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Langenbach97,
       author = {Marc Langenbach},
       title = {{I}nstruktionsanordnungen unter {V}erwendung graphbasierter {A}lgorithmen f\"ur den digitalen {S}ignalprozessor {ADSP-2106x}},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

48. Generierung effizienter Datentypen für PAG
    O. Lauer
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Lauer97,
       author = {Oliver Lauer},
       title = {{G}enerierung effizienter {D}atentypen f\"ur {PAG}},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

49. Entwurf und Implementierung eines Frontends für Analysen zur Vorhersage des Cache- und Pipeline-Verhaltens
    T. Ramrath
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Ramrath97,
       author = {Thomas Ramrath},
       title = {{E}ntwurf und {I}mplementierung eines {F}rontends f\"ur {A}nalysen zur {V}orhersage des {C}ache- und {P}ipeline-{V}erhaltens},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

50. Parallele Simulation des Abflußgeschehens in Kanalnetzen
    R. Ruth
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Ruth97,
       author = {Ralf Ruth},
       title = {{P}arallele {S}imulation des {A}bflu{\ss}geschehens in {K}analnetzen},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

51. Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches
    M. Sicks
    Universität des Saarlandes, 1997. [bib]
    

    @mastersthesis{Sicks97,
       author = {Martin Sicks},
       title = {{A}dre{\ss}bestimmung zur {V}orhersage des {V}erhaltens von {D}aten-{C}aches},
       school = {Universit\"at des Saarlandes},
       year = {1997},
     }

52. Konfigurationsmanagement im LAN
    S. W. J. Mautes
    Universität des Saarlandes, 1996. [bib]
    

    @mastersthesis{Mautes96,
       author = {Stefan Wolfgang Johannes Mautes},
       title = {{K}onfigurationsmanagement im {LAN}},
       school = {Universit\"at des Saarlandes},
       year = {1996},
     }

53. Ein Übersetzer für die Wissensrepräsentationssprache eXu
    T. Müller
    Universität des Saarlandes, 1996. [bib]
    

    @mastersthesis{Muller96,
       author = {Thomas M\"uller},
       title = {{E}in {\"U}bersetzer f\"ur die {W}issensrepr\"asentationssprache {eXu}},
       school = {Universit\"at des Saarlandes},
       year = {1996},
     }

54. Beschreibungssprache zur Generierung von Datenstrukturen für den Übersetzerbau
    C. Rübel
    Universität des Saarlandes, 1996. [bib]
    

    @mastersthesis{Rubel96,
       author = {Christian R\"ubel},
       title = {{B}eschreibungssprache zur {G}enerierung von {D}atenstrukturen f\"ur den {\"U}bersetzerbau},
       school = {Universit\"at des Saarlandes},
       year = {1996},
     }

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

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

56. Entwicklung der Messwerterfassung und -auswertung für einen dynamischen Drahtseilprüfstand
    O. Backes
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Backes95,
       author = {Oliver Backes},
       title = {{E}ntwicklung der {M}esswerterfassung und -auswertung f\"ur einen dynamischen {D}rahtseilpr\"ufstand},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

57. Ein allgemeines Verfahren zur Hyperlink Generierung in strukturierter Dokumentation
    A. Engel
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Engel95,
       author = {Anette Engel},
       title = {{E}in allgemeines {V}erfahren zur {H}yperlink {G}enerierung in strukturierter {D}okumentation},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

58. Visualisierung der abstrakten P-Maschine
    G. Kohlmann
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Kohlmann95,
       author = {Gernot Kohlmann},
       title = {{V}isualisierung der abstrakten {P}-{M}aschine},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

59. Die Generierung von Synchronisierungscode eines parallelen Übersetzers im CoSy-Modell
    W. Kölsch
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Kolsch95,
       author = {Wolfgang K\"olsch},
       title = {{D}ie {G}enerierung von {S}ynchronisierungscode eines parallelen {\"U}bersetzers im {CoSy}-{M}odell},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

60. Entwurf und Implementierung eines Generators für Datenflußanalysatoren
    F. Martin
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Martin95b,
       author = {Florian Martin},
       title = {{E}ntwurf und {I}mplementierung eines {G}enerators f\"ur {D}atenflu{\ss}analysatoren},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

61. Zeigeranalyse für imperative Programmiersprachen
    C. Probst
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Probst95,
       author = {Christian Probst},
       title = {{Z}eigeranalyse f\"ur imperative {P}rogrammiersprachen},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

62. EXAM, Eine abstrakte Maschine zur Realisierung der ordnungssortierten Wissensrepräsentationssprache eXu
    M. Röhrig
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Rohrig95,
       author = {Martin R\"ohrig},
       title = {{EXAM}, {E}ine abstrakte {M}aschine zur {R}ealisierung der ordnungssortierten {W}issensrepr\"asentationssprache {eXu}},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

63. Statische Prozessverteilung in Hope
    P. Schwarz
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Schwarz95,
       author = {Peter Schwarz},
       title = {{S}tatische {P}rozessverteilung in {Hope}},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

64. Visualisierung der abstrakten Maschine WiM
    S. Wirtz
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Wirtz95,
       author = {Stefan Wirtz},
       title = {{V}isualisierung der abstrakten {M}aschine {WiM}},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

65. Transformationen zur Verbesserung der Datenlokalität in Bezug auf Cachespeicher
    P. Zeimetz
    Universität des Saarlandes, 1995. [bib]
    

    @mastersthesis{Zeimetz95,
       author = {Patrik Zeimetz},
       title = {{T}ransformationen zur {V}erbesserung der {D}atenlokalit\"at in {B}ezug auf {C}achespeicher},
       school = {Universit\"at des Saarlandes},
       year = {1995},
     }

66. Appraise - Ein abstrakter Interpreter für die Sprache Prolog
    W. Berger
    Universität des Saarlandes, 1994. [bib]
    

    @mastersthesis{Berger94,
       author = {Wolfgang Berger},
       title = {{Appraise} - {E}in abstrakter {I}nterpreter f\"ur die {S}prache {Prolog}},
       school = {Universit\"at des Saarlandes},
       year = {1994},
     }

67. Entwicklung und Implementierung eines Visualisierungswerkzeugs für Anwendungen im Übersetzerbau
    I. Lemke
    Universität des Saarlandes, 1994. [bib]
    

    @mastersthesis{Lemke94,
       author = {Iris Lemke},
       title = {{E}ntwicklung und {}Implementierung eines {V}isualisierungswerkzeugs f\"ur {A}nwendungen im {\"U}bersetzerbau},
       school = {Universit\"at des Saarlandes},
       year = {1994},
     }

68. Generische Baumanalysatorengeneratoren
    C. Peper
    Universität des Saarlandes, 1994. [bib]
    

    @mastersthesis{Peper94,
       author = {Christian Peper},
       title = {{G}enerische {B}aumanalysatorengeneratoren},
       school = {Universit\"at des Saarlandes},
       year = {1994},
     }

69. Automatisierte Softwareverteilung im LAN-/WAN-/Host-Environment
    M. J. Wilhelm
    Universität des Saarlandes, 1994. [bib]
    

    @mastersthesis{Wilhelm94,
       author = {Michael Johannes Wilhelm},
       title = {{A}utomatisierte {S}oftwareverteilung im {LAN}-/{WAN}-/{H}ost-{E}nvironment},
       school = {Universit\"at des Saarlandes},
       year = {1994},
     }

70. SiATeX. Eine interaktive Arbeits- und Graphikumgebung für TeX unter dem X11 Window System
    B. Braune
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Braune93,
       author = {Beatrix Braune},
       title = {{SiATeX}. {E}ine interaktive {A}rbeits- und {G}raphikumgebung f\"ur {TeX} unter dem {X11} {W}indow {S}ystem},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

71. Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 1: Parallelisierungsstrategie
    A. Dierstein
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Dierstein93,
       author = {Anne Dierstein},
       title = {{P}arallelisierung mit automatischer {D}atenaufteilung f\"ur imperative {P}rogrammiersprachen. {T}eil 1: {P}arallelisierungsstrategie},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

72. Alternativer Seitenumbruch für logisch ausgezeichnete Dokumente
    K. Emde
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Emde93,
       author = {Katja Emde},
       title = {{A}lternativer {S}eitenumbruch f\"ur logisch ausgezeichnete {D}okumente},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

73. Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 2: Automatische Datenaufteilung
    R. Hayer
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Hayer93,
       author = {Roman Hayer},
       title = {{P}arallelisierung mit automatischer {D}atenaufteilung f\"ur imperative {P}rogrammiersprachen. {T}eil 2: {A}utomatische {D}atenaufteilung},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

74. Lastverteilungsstrategien für die Parallele G-Maschine
    H. Korn
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Korn93,
       author = {Heinfried Korn},
       title = {{L}astverteilungsstrategien f\"ur die {P}arallele {G}-{M}aschine},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

75. Darstellung eines Graphen mit minimaler Überkreuzung der Kanten in der Ebene
    P. Mohammadzadeh
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Mohammadzadeh93,
       author = {Parinaz Mohammadzadeh},
       title = {{D}arstellung eines {G}raphen mit minimaler {\"U}berkreuzung der {K}anten in der {E}bene},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

76. Anwendung der Evolutionsstrategie zur Lastverteilung paralleler funktionaler Programme
    G. Müller
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Muller93,
       author = {G. M\"uller},
       title = {{A}nwendung der {E}volutionsstrategie zur {L}astverteilung paralleler funktionaler {P}rogramme},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

77. Generische Vektorisierung imperativer Programmiersprachen
    T. Vogelgesang
    Universität des Saarlandes, 1993. [bib]
    

    @mastersthesis{Vogelgesang93,
       author = {Timo Vogelgesang},
       title = {{G}enerische {V}ektorisierung imperativer {P}rogrammiersprachen},
       school = {Universit\"at des Saarlandes},
       year = {1993},
     }

78. PHOENICS – Eine interaktive, inkrementelle Programmierumgebung für Pascal
    M. Greim
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Greim92,
       author = {Michael Greim},
       title = {{PHOENICS} -- {E}ine interaktive, inkrementelle {P}rogrammierumgebung f\"ur {Pascal}},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

79. Algorithmen zum Linienschnitt-Problem
    B. Groß
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Gross92,
       author = {Bettina Gro{\ss}},
       title = {{A}lgorithmen zum {L}inienschnitt-{P}roblem},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

80. Spezifikation und Implementierung eines ADA-Font-Ends mittels übersetzer-erzeugender Systeme. Teil 1: Deklarationen, Nameclass-Analyse und Transformationen
    P. Keller
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Keller92,
       author = {Paul Keller},
       title = {{S}pezifikation und {I}mplementierung eines {ADA}-{F}ont-{E}nds mittels \"ubersetzer-erzeugender {S}ysteme. {T}eil 1: {D}eklarationen, {N}ameclass-{A}nalyse und {T}ransformationen},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

81. Analysen und Übersetzung von FORK – Teil 1
    K. Käppner
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Kappner92,
       author = {Karin K\"appner},
       title = {{A}nalysen und {\"U}bersetzung von {FORK} -- {T}eil 1},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

82. Partielle Auswertung für die funktionale Programmiersprache Hope
    V. Schöpfer
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Schopfer92,
       author = {Volker Sch\"opfer},
       title = {{P}artielle {A}uswertung f\"ur die funktionale {P}rogrammiersprache {Hope}},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

83. Visualisierung der abstrakten Maschine MaMa
    B. Steiner
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Steiner92,
       author = {Barbara Steiner},
       title = {{V}isualisierung der abstrakten {M}aschine {MaMa}},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

84. Analysen und Übersetzung von FORK – Teil 2
    M. Welter
    Universität des Saarlandes, 1992. [bib]
    

    @mastersthesis{Welter92,
       author = {Markus Welter},
       title = {{A}nalysen und {\"U}bersetzung von {FORK} -- {T}eil 2},
       school = {Universit\"at des Saarlandes},
       year = {1992},
     }

85. Konstruktion eines Baumtransformators für nicht eindeutige Termersetungssysteme
    J. Fechner
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Fechner91,
       author = {J\"urgen Fechner},
       title = {{K}onstruktion eines {B}aumtransformators f\"ur nicht eindeutige {T}ermersetungssysteme},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

86. Übersetzung der funktionalen Programmiersprache Hope für die parallele G-Maschine
    L. Fuchs
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Fuchs91,
       author = {Ludwin Fuchs},
       title = {{\"U}bersetzung der funktionalen {P}rogrammiersprache {Hope} f\"ur die parallele {G}-{M}aschine},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

87. Weiterentwicklung eines Codeselektorgenerators und Anwendung auf den NSC32000
    N. Mathis
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Mathis91,
       author = {Nicole Mathis},
       title = {{W}eiterentwicklung eines {C}odeselektorgenerators und {A}nwendung auf den {NSC32000}},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

88. Spezifikation und Vergleich der Basiswindowsysteme von X und NeWS unter Berücksichtigung der Graphikmodelle und Fensterbehandlung
    L. Meiss
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Meiss91,
       author = {Liane Meiss},
       title = {{S}pezifikation und {V}ergleich der {B}asiswindowsysteme von {X} und {NeWS} unter {B}er\"ucksichtigung der {G}raphikmodelle und {F}ensterbehandlung},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

89. Verteilte Garbage Collection Algorithmen
    A. Paltz
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Paltz91,
       author = {Andreas Paltz},
       title = {{V}erteilte {G}arbage {C}ollection {A}lgorithmen},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

90. PASCAL. Interpretation und Visualisierung
    N. Truxa
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Truxa91,
       author = {Nikola Truxa},
       title = {{PASCAL}. {I}nterpretation und {V}isualisierung},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

91. Automatische Erzeugung der Analysenkomponente eines Maschinencodeoptimierers nach dem Ansatz von Robert Giegerich
    D. Uebel
    Universität des Saarlandes, 1991. [bib]
    

    @mastersthesis{Uebel91,
       author = {Dirk Uebel},
       title = {{A}utomatische {E}rzeugung der {A}nalysenkomponente eines {M}aschinencodeoptimierers nach dem {A}nsatz von {R}obert {G}iegerich},
       school = {Universit\"at des Saarlandes},
       year = {1991},
     }

92. Ein Übersetzer für die funktionale Sprache TraFoLa
    M. Alt
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Alt90,
       author = {Martin Alt},
       title = {Ein \"Ubersetzer f\"ur die funktionale Sprache {TraFoLa}},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

93. Trama. Eine abstrakte Maschine zur Implementierung der funktionalen Programmiersprache TraFoLa
    C. Fecht
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Fecht90,
       author = {Christian Fecht},
       title = {{Trama}. {E}ine abstrakte {M}aschine zur {I}mplementierung der funktionalen {P}rogrammiersprache {TraFoLa}},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

94. Pattern-Matching in TraFoLa
    C. Ferdinand
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Ferdinand90a,
       author = {Christian Ferdinand},
       title = {Pattern-Matching in {TraFoLa}},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

95. Power Domain Constructions (Potenzbereich-Konstruktionen)
    R. Heckmann
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Heckmann90,
       author = {Reinhold Heckmann},
       title = {Power Domain Constructions ({P}otenzbereich-{K}onstruktionen)},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

96. Source-to-Source Transformation. Eine Studie des Transformatorsystems OPTRAN anhand eines SPL4-C-Compilers
    G. Horsch
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Horsch90,
       author = {G\"unter Horsch},
       title = {{S}ource-to-{S}ource {T}ransformation. {E}ine {S}tudie des {T}ransformatorsystems {OPTRAN} anhand eines {SPL4-C}-{C}ompilers},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

97. Spezifikation und Implementierung eines ADA-Front-Ends mittels Übersetzer-erzeugender Systeme. Teil 2: Auflösung der Überladung und Erzeugung der DIANA-Form
    T. Maas
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Maas90,
       author = {Thomas Maas},
       title = {{S}pezifikation und {I}mplementierung eines {ADA}-{F}ront-{E}nds mittels {\"U}bersetzer-erzeugender {S}ysteme. {T}eil 2: {A}ufl\"osung der {\"U}berladung und {E}rzeugung der {DIANA}-{F}orm},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

98. Entwicklung und Implementierung eines polymorphen Typsystems für die funktionale Programmiersprache TraFoLa
    G. Sander
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Sander90,
       author = {Georg Sander},
       title = {{E}ntwicklung und {I}mplementierung eines polymorphen {T}ypsystems f\"ur die funktionale {P}rogrammiersprache {TraFoLa}},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

99. Attributauswertung für zyklische Attributierungen
    E. Thieser
    Universität des Saarlandes, 1990. [bib]
    

    @mastersthesis{Thieser90,
       author = {Elisabeth Thieser},
       title = {{A}ttributauswertung f\"ur zyklische {A}ttributierungen},
       school = {Universit\"at des Saarlandes},
       year = {1990},
     }

100. Partielle Auswertung imperativer Programmiersprachen
     W. Backes
     Universität des Saarlandes, 1989. [bib]
     

     @mastersthesis{Backes89,
        author = {Wolfgang Backes},
        title = {{P}artielle {A}uswertung imperativer {P}rogrammiersprachen},
        school = {Universit\"at des Saarlandes},
        year = {1989},
      }

101. Registerverteilung mit Hilfe des baumtransformierenden Systems OPTRAN – Teil A – Spezifikationsprobleme und Vergleich unterschiedlicher Eigenschaften des OPTRAN-Systems
     B. Edelmann
     Universität des Saarlandes, 1989. [bib]
     

     @mastersthesis{Edelmann89,
        author = {Bernd Edelmann},
        title = {{R}egisterverteilung mit {H}ilfe des baumtransformierenden {S}ystems {OPTRAN} -- {T}eil {A} -- {S}pezifikationsprobleme und {V}ergleich unterschiedlicher {E}igenschaften des {OPTRAN}-{S}ystems},
        school = {Universit\"at des Saarlandes},
        year = {1989},
      }

102. Registerverteilung mit Hilfe des baumtransformierenden Systems OPTRAN – Teil B – Beschreibung und Vergleich eines lokalen-globalen Algorithmus mit einem rein globalen Algorithmus
     S. Edelmann
     Universität des Saarlandes, 1989. [bib]
     

     @mastersthesis{Edelmann89a,
        author = {Stefan Edelmann},
        title = {{R}egisterverteilung mit {H}ilfe des baumtransformierenden {S}ystems {OPTRAN} -- {T}eil {B} -- {B}eschreibung und {V}ergleich eines lokalen-globalen {A}lgorithmus mit einem rein globalen {A}lgorithmus},
        school = {Universit\"at des Saarlandes},
        year = {1989},
      }

103. Spezifikation von Graphiken und Realisierung graphischer Funktionen in einer Funktionalen Programmiersprache
     M. Hippchen
     Universität des Saarlandes, 1989. [bib]
     

     @mastersthesis{Hippchen89,
        author = {Markus Hippchen},
        title = {{S}pezifikation von {G}raphiken und {R}ealisierung graphischer {F}unktionen in einer {F}unktionalen {P}rogrammiersprache},
        school = {Universit\"at des Saarlandes},
        year = {1989},
      }

104. Konzept zur Hintereinanderschaltung von Transformationseinheiten sowie zur Implementierung zyklischer Attributierungen durch nichtzyklische unter Benutzung der Reattributierung
     W. Thome
     Universität des Saarlandes, 1989. [bib]
     

     @mastersthesis{Thome89,
        author = {Winfried Thome},
        title = {{K}onzept zur {H}intereinanderschaltung von {T}ransformationseinheiten sowie zur {I}mplementierung zyklischer {A}ttributierungen durch nichtzyklische unter {B}enutzung der {R}eattributierung},
        school = {Universit\"at des Saarlandes},
        year = {1989},
      }

105. Ein Pretty-Print Generator für das OPTRAN System
     T. Geiger
     Universität des Saarlandes, 1988. [bib]
     

     @mastersthesis{Geiger88,
        author = {Thomas Geiger},
        title = {{E}in {P}retty-{P}rint {G}enerator f\"ur das {OPTRAN} {S}ystem},
        school = {Universit\"at des Saarlandes},
        year = {1988},
      }

106. Ein Vergleich von Lambda- und Kombinatorgraphreduktion
     F. Gergen
     Universität des Saarlandes, 1988. [bib]
     

     @mastersthesis{Gergen88,
        author = {Franz-Werner Gergen},
        title = {{E}in {V}ergleich von {L}ambda- und {K}ombinatorgraphreduktion},
        school = {Universit\"at des Saarlandes},
        year = {1988},
      }

107. Dynamische Verwaltung von Codeblöcken bei der parallelen Implementierung funktionaler Sprachen
     M. Raber
     Universität des Saarlandes, 1988. [bib]
     

     @mastersthesis{Raber88,
        author = {Martin Raber},
        title = {{D}ynamische {V}erwaltung von {C}odebl\"ocken bei der parallelen {I}mplementierung funktionaler {S}prachen},
        school = {Universit\"at des Saarlandes},
        year = {1988},
      }

108. Verwaltung zyklicher Strukturen in parallelen Graphreduktionssystemen durch Reference Counting
     T. Remmel
     Universität des Saarlandes, 1988. [bib]
     

     @mastersthesis{Remmel88,
        author = {Thomas Remmel},
        title = {{V}erwaltung zyklicher {S}trukturen in parallelen {G}raphreduktionssystemen durch {R}eference {C}ounting},
        school = {Universit\"at des Saarlandes},
        year = {1988},
      }

109. Generierung des Höheren Kontrollflussgraphen
     R. Rojan
     Universität des Saarlandes, 1988. [bib]
     

     @mastersthesis{Rojan88,
        author = {Rudolf Rojan},
        title = {{G}enerierung des {H\"o}heren {K}ontrollflussgraphen},
        school = {Universit\"at des Saarlandes},
        year = {1988},
      }

110. Entwicklung eines Analysators für Maschinenbeschreibungen
     U. Schmitt
     Universität des Saarlandes, 1988. [bib]
     

     @mastersthesis{Schmitt88,
        author = {Ursula Schmitt},
        title = {{E}ntwicklung eines {A}nalysators f\"ur {M}aschinenbeschreibungen},
        school = {Universit\"at des Saarlandes},
        year = {1988},
      }

111. Ansatz eines Analysators von COBOL-Programmen für die Qualitätseigenschaft Prüfungsgerecht
     U. Barthen
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Barthen87,
        author = {Ulrike Barthen},
        title = {{A}nsatz eines {A}nalysators von {COBOL}-{P}rogrammen f\"ur die {Q}ualit\"atseigenschaft {P}r\"ufungsgerecht},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

112. Implementierung funktionaler Programmiersprachen durch Kombinatoren und Berechnung von Striktheitsinformation
     A. Lucks-Baus
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Lucks-Baus87,
        author = {Anette Lucks-Baus},
        title = {{I}mplementierung funktionaler {P}rogrammiersprachen durch {K}ombinatoren und {B}erechnung von {S}triktheitsinformation},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

113. Implementierung eines Verfahrens zur Striktheitsanalyse funktionaler Programme
     B. Bellmann
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Bellmann87,
        author = {Bernd Bellmann},
        title = {{I}mplementierung eines {V}erfahrens zur {S}triktheitsanalyse funktionaler {P}rogramme},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

114. Fallstudie eines Systementwicklungsprozeses am Beispiel der Spezifikation eines menügestützten Dialogsystems als Benutzeroberfläche für ein Mittfahrgelegenheitenvermittlungssystem
     F. W. Bollinger
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Bollinger87,
        author = {Friedrich Wilhelm Bollinger},
        title = {{F}allstudie eines {S}ystementwicklungsprozeses am {B}eispiel der {S}pezifikation eines men\"ugest\"utzten {D}ialogsystems als {B}enutzeroberfl\"ache f\"ur ein {M}ittfahrgelegenheitenvermittlungssystem},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

115. Komprimierung statischer Tabellen für ein baumtransformierendes System
     J. Börstler
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Borstler87,
        author = {J\"urgen B\"orstler},
        title = {{K}omprimierung statischer {T}abellen f\"ur ein baumtransformierendes {S}ystem},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

116. Entwicklung eines Previewers zur interaktiven Arbeit mit TeX
     B. Kuhn
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Kuhn87,
        author = {Brigitte Kuhn},
        title = {{E}ntwicklung eines {P}reviewers zur interaktiven {A}rbeit mit {TeX}},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

117. Eine Untersuchung geeigneter Netzwerke und Arbeitsverteilungsstrategien für die parallele Reduktion von Kombinatorcode
     J. Metzger
     Universität des Saarlandes, 1987. [bib]
     

     @mastersthesis{Metzger87,
        author = {J\"urgen Metzger},
        title = {{E}ine {U}ntersuchung geeigneter {N}etzwerke und {A}rbeitsverteilungsstrategien f\"ur die parallele {R}eduktion von {K}ombinatorcode},
        school = {Universit\"at des Saarlandes},
        year = {1987},
      }

118. Semantische Analyse für eine funktionale Porgrammiersprache mit polymorphem Typsystem
     M. Baston
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Baston86,
        author = {Michael Baston},
        title = {{S}emantische {A}nalyse f\"ur eine funktionale {P}orgrammiersprache mit polymorphem {T}ypsystem},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

119. Entwurf und Implementierung eines Literaturinformationssyestems als Beispiel der funktionalen Datenbankprogrammierung mit Hilfe der getypten funktionalen Sprache Hope
     H. David
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{David86,
        author = {Herwig David},
        title = {{E}ntwurf und {I}mplementierung eines {L}iteraturinformationssyestems als {B}eispiel der funktionalen {D}atenbankprogrammierung mit {H}ilfe der getypten funktionalen {S}prache {Hope}},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

120. Eine Modulbibliothek für Pascal-m
     W. Degenhardt
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Degenhardt86,
        author = {Wolfgang Degenhardt},
        title = {{E}ine {M}odulbibliothek f\"ur {Pascal-m}},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

121. Konzept eines Generierungssystems für Codeerzeugung: Die Übertragung des p-Codes auf wechselnde Zielmaschinen
     A. Demmer
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Demmer86,
        author = {Alexander Demmer},
        title = {{K}onzept eines {G}enerierungssystems f\"ur {C}odeerzeugung: {D}ie {\"U}bertragung des p-{C}odes auf wechselnde {Z}ielmaschinen},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

122. Eine interaktive Programmierumgebung für die funktionale Programmiersprache X
     G. Hickel
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Hickel86,
        author = {Georg Hickel},
        title = {{E}ine interaktive {P}rogrammierumgebung f\"ur die funktionale {P}rogrammiersprache {X}},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

123. Komplexe Attribute; Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System
     P. Lipps
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Lipps86,
        author = {Peter Lipps},
        title = {{K}omplexe {A}ttribute; {M}echanismen zur {V}erwaltung und {B}erechnung in einem baumtransformierenden {S}ystem},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

124. Gernerierung eines effizienten Attributschedulers für ein baumtransformierendes System
     M. Olk
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Olk86,
        author = {Matthias Olk},
        title = {{G}ernerierung eines effizienten {A}ttributschedulers f\"ur ein baumtransformierendes {S}ystem},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

125. Registerverteilung und Codeselektion für wechselnde Zielmaschinen
     T. Rauber
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Rauber86,
        author = {Thomas Rauber},
        title = {{R}egisterverteilung und {C}odeselektion f\"ur wechselnde {Z}ielmaschinen},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

126. Vollständige Transfereinheiten vom Typ 1
     P. Schley
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Schley86,
        author = {Peter Schley},
        title = {{V}ollst\"andige {T}ransfereinheiten vom {T}yp 1},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

127. Effiziente Attributspeicherwaltung für ein baumtransformierendes System
     H. Tittelbach
     Universität des Saarlandes, 1986. [bib]
     

     @mastersthesis{Tittelbach86,
        author = {Heiner Tittelbach},
        title = {{E}ffiziente {A}ttributspeicherwaltung f\"ur ein baumtransformierendes {S}ystem},
        school = {Universit\"at des Saarlandes},
        year = {1986},
      }

128. BISAM – Ein maschinenunabhängiger Binder für Pascal-m
     W. Keber
     Universität des Saarlandes, 1985. [bib]
     

     @mastersthesis{Keber85,
        author = {Wolfgang Keber},
        title = {{BISAM} -- {E}in maschinenunabh\"angiger {B}inder f\"ur {Pascal-m}},
        school = {Universit\"at des Saarlandes},
        year = {1985},
      }

129. Verfahren zur Generierung LR(k)-Parser-gesteuerter Attributauswerter
     R. F. Lackes
     Universität des Saarlandes, 1985. [bib]
     

     @mastersthesis{Lackes85,
        author = {Richard Friedrich Lackes},
        title = {{V}erfahren zur {G}enerierung {LR(k)}-{P}arser-gesteuerter {A}ttributauswerter},
        school = {Universit\"at des Saarlandes},
        year = {1985},
      }

130. Direkte Generierung der Attributberechnung in Form von p-Code
     R. Mansfeld
     Universität des Saarlandes, 1985. [bib]
     

     @mastersthesis{Mansfeld85,
        author = {Roman Mansfeld},
        title = {{D}irekte {G}enerierung der {A}ttributberechnung in {F}orm von p-{C}ode},
        school = {Universit\"at des Saarlandes},
        year = {1985},
      }

131. Task-Konzept in ADA
     M. Aziz
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Aziz83,
        author = {Magda Aziz},
        title = {{T}ask-{K}onzept in {ADA}},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

132. Praktische Erfahrungen mit der Anwendung von Software-Engineering Metoden unter besonderer Berücksichtigung von Anforderungen der On-line Transaktionsverarbeitung
     R. Guthor
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Guthor83,
        author = {Rainer Guthor},
        title = {{P}raktische {E}rfahrungen mit der {A}nwendung von {S}oftware-{E}ngineering {M}etoden unter besonderer {B}er\"ucksichtigung von {A}nforderungen der {O}n-line {T}ransaktionsverarbeitung},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

133. Spezifikation einer Datenbasis als Teil eines Mitfahrgelegenheitenvermittlungssystems
     T. Heubel
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Heubel83,
        author = {Thomas Heubel},
        title = {{S}pezifikation einer {D}atenbasis als {T}eil eines {M}itfahrgelegenheitenvermittlungssystems},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

134. Techniken zur Unterstützung quellsprachnahen Testens
     C. Kimmel
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Kimmel83,
        author = {Christian Kimmel},
        title = {{T}echniken zur {U}nterst\"utzung quellsprachnahen {T}estens},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

135. Attributierte Transformationsgrammatiken
     M. Schmigalla
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Schmigalla83,
        author = {Michael Schmigalla},
        title = {{A}ttributierte {T}ransformationsgrammatiken},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

136. Ein System zur Verwaltung getrennt übersetzbarer Einheiten der Programmiersprache ADA
     F. Schuhmacher
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Schuhmacher83,
        author = {Franz-Rudolf Schuhmacher},
        title = {{E}in {S}ystem zur {V}erwaltung getrennt \"ubersetzbarer {E}inheiten der {P}rogrammiersprache {ADA}},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

137. ADA-Editor. Teil II – Aspekte der Implementierung
     B. Sieloff
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Sieloff83,
        author = {Bernard Sieloff},
        title = {{ADA}-{E}ditor. {T}eil {II} -- {A}spekte der {I}mplementierung},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

138. Attributierte Transformationsgrammatiken: die Baumanalyse und Untersuchungen zu Transformationsstrategien
     B. Weisgerber
     Universität des Saarlandes, 1983. [bib]
     

     @mastersthesis{Weisgerber83,
        author = {Beatrix Weisgerber},
        title = {{A}ttributierte {T}ransformationsgrammatiken: die {B}aumanalyse und {U}ntersuchungen zu {T}ransformationsstrategien},
        school = {Universit\"at des Saarlandes},
        year = {1983},
      }

139. Implementierung eines Compiler-erzeugenden-Systems auf einem Mikrorechner: der Attributierungsgenerator
     W. Dithmar
     Universität des Saarlandes, 1982. [bib]
     

     @mastersthesis{Dithmar82,
        author = {Wolfram Dithmar},
        title = {{I}mplementierung eines {C}ompiler-erzeugenden-{S}ystems auf einem {M}ikrorechner: der {A}ttributierungsgenerator},
        school = {Universit\"at des Saarlandes},
        year = {1982},
      }

140. Implementierung eines Compiler-Generators auf einem Mikrorechner: Intraktives Lernprogramm
     F. Jakobs
     Universität des Saarlandes, 1982. [bib]
     

     @mastersthesis{Jakobs82,
        author = {Franz-Josef Jakobs},
        title = {{I}mplementierung eines {C}ompiler-{G}enerators auf einem {M}ikrorechner: {I}ntraktives {L}ernprogramm},
        school = {Universit\"at des Saarlandes},
        year = {1982},
      }

141. ADA-Editor. Teil I – Grundlagen
     U. Kasper
     Universität des Saarlandes, 1982. [bib]
     

     @mastersthesis{Kasper82,
        author = {Udo Kasper},
        title = {{ADA}-{E}ditor. {T}eil {I} -- {G}rundlagen},
        school = {Universit\"at des Saarlandes},
        year = {1982},
      }

142. Pascal Testsystem Simplifier
     V. Licher
     Universität des Saarlandes, 1982. [bib]
     

     @mastersthesis{Licher82,
        author = {Veronika Licher},
        title = {{P}ascal {T}estsystem {S}implifier},
        school = {Universit\"at des Saarlandes},
        year = {1982},
      }

143. Ein LALR(1)-Parsergenerator
     H. Oberhauser
     Universität des Saarlandes, 1982. [bib]
     

     @mastersthesis{Oberhauser82,
        author = {Hans-Georg Oberhauser},
        title = {{E}in {LALR(1)}-{P}arsergenerator},
        school = {Universit\"at des Saarlandes},
        year = {1982},
      }

144. Ein LR-Scanner-Generator
     P. Pfahler
     Universität des Saarlandes, 1982. [bib]
     

     @mastersthesis{Pfahler82,
        author = {Peter Pfahler},
        title = {{E}in {LR}-{S}canner-{G}enerator},
        school = {Universit\"at des Saarlandes},
        year = {1982},
      }

145. Paketorientierte Übertragungsdienste in Verteilten Systemen
     M. Schneider
     Universität des Saarlandes, 1981. [bib]
     

     @mastersthesis{Schneider81,
        author = {Martina Schneider},
        title = {{P}aketorientierte {\"U}bertragungsdienste in {V}erteilten {S}ystemen},
        school = {Universit\"at des Saarlandes},
        year = {1981},
      }

146. Pascal Testsystem: Ablaufsteuerung
     A. Brück
     Universität des Saarlandes, 1980. [bib]
     

     @mastersthesis{Bruck80,
        author = {Arno Br\"uck},
        title = {{Pascal} {T}estsystem: {A}blaufsteuerung},
        school = {Universit\"at des Saarlandes},
        year = {1980},
      }

147. Pascal Testsystem: Symbolische Ausführung
     H. Dorr
     Universität des Saarlandes, 1980. [bib]
     

     @mastersthesis{Dorr80,
        author = {Hans-J\"urgen Dorr},
        title = {{Pascal} {T}estsystem: {S}ymbolische {A}usf\"uhrung},
        school = {Universit\"at des Saarlandes},
        year = {1980},
      }

148. Ein LR-Scanner-Generator
     J. Lörscher
     Universität des Saarlandes, 1980. [bib]
     

     @mastersthesis{Lorscher80,
        author = {Josef L\"orscher},
        title = {{E}in {LR}-{S}canner-{G}enerator},
        school = {Universit\"at des Saarlandes},
        year = {1980},
      }

149. Automatische Implementierung von monotonen Rahmen für Datenflussprobleme
     T. Räuchle
     Universität des Saarlandes, 1980. [bib]
     

     @mastersthesis{Rauchle80,
        author = {Thomas R\"auchle},
        title = {{A}utomatische {I}mplementierung von monotonen {R}ahmen f\"ur {D}atenflussprobleme},
        school = {Universit\"at des Saarlandes},
        year = {1980},
      }

150. Die Realisierung des LCF-Kommandos SIMPL durch Baumtransformatoren
     M. Holbach
     Universität des Saarlandes, 1979. [bib]
     

     @mastersthesis{Holbach79,
        author = {Manfred Holbach},
        title = {{D}ie {R}ealisierung des {LCF}-{K}ommandos {SIMPL} durch {B}aumtransformatoren},
        school = {Universit\"at des Saarlandes},
        year = {1979},
      }