Publications

Master/Diploma theses

  1. Towards Shape Analysis of B-Trees
    J. Herter
    Universität des Saarlandes, 2008. [pdf]  [bib]
  2. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]
  3. Generating Code from Abstracted VHDL Models
    M. A. Maksoud
    Universität des Saarlandes, 2007. [bib]
  4. A Pattern Matcher Generator for Retargetable Code Generation and Optimisation
    G. Gebhard
    Universität des Saarlandes, 2006. [pdf]  [bib]
  5. Analyse von Pfadausschlüssen auf Maschinencode
    I. Stein
    Universität des Saarlandes, Saarbrücken, 2006. [bib]
  6. Statische Berechnung sicherer Schleifengrenzen auf Maschinencode
    C. Cullmann
    Universität des Saarlandes, 2006. [bib]
  7. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
    S. Altmeyer
    Universität des Saarlandes, 2006. [bib]
  8. Interaktive dreidimensionale webbasierte Simulation von Meteoriteneinschlägen
    K. Chu
    Universität des Saarlandes, 2005. [bib]
  9. Algorithm Animation using Shape Analysis with Special Regard to Binary Trees
    S. Parduhn
    Universität des Saarlandes, 2005. [bib]
  10. Generisches Softwarepipelining auf Assemblerebene
    M. Pister
    Universität des Saarlandes, 2005. [pdf]  [bib]
  11. Hierarchisches Zeichnen dynamischer Graphen
    M. Pohl
    Universität des Saarlandes, 2005. [bib]
  12. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]
  13. Generisches Slicing auf Maschinencode
    M. Schlickling
    Universität des Saarlandes, 2005. [pdf]  [bib]
  14. Attributierte Transformationsgrammatiken: die Reattributierung
    A. Schütte
    Universität des Saarlandes, 2005. [bib]
  15. Checking Universally Quantified Temporal Properties with Three-Valued Analysis
    B. Wachter
    Universität des Saarlandes, 2005. [bib]
  16. Entwurf und Implementierung einer retargierbaren Programmiersprache für fernprogrammierbare Roboter
    A. Wagner
    Universität des Saarlandes, 2005. [bib]
  17. Modellierung dreidimensionaler Simulationen mit Hilfe von Verhaltensautomaten
    C. Lambert
    Universität des Saarlandes, 2004. [bib]
  18. Instruktionsanordnung durch Tabu-Suche
    S. Wiegratz
    Universität des Saarlandes, 2004. [bib]
  19. Analyse und Visualisierung von Softwaresystemen in Bezug auf Stabilität, Wartbarkeit und Wiederverwendbarkeit
    M. J. Wilhelm
    Universität des Saarlandes, 2004. [bib]
  20. Formal Simulation of Machine Instructions with Interrupts by Assembler Instructions
    O. Parshin
    Universität des Saarlandes, 2004. [bib]
  21. Ein Server-basierter Interpreter für ein Online-Tutorial über Programmieren in Java
    C. Bieg
    Universität des Saarlandes, 2003. [bib]
  22. Generic Reconstruction of Control Flow for Guarded Code from Assembly
    B. Decker
    Universität des Saarlandes, 2002. [bib]
  23. A Control-Flow Analysis for Multi-Threaded Java with Security Applications
    J. Bauer
    Universität des Saarlandes, 2001. [ps]  [bib]
  24. Alexsa. Algorithm Explanation by Shape Analysis Extensions to the TVLA System
    R. Bieber
    Universität des Saarlandes, 2001. [bib]
  25. Ein Framework für die Erfassung komponentenbasierter Modelle und deren Präsentation mittels Java3D
    P. Blanchebarbe
    Universität des Saarlandes, 2001. [bib]
  26. PSL – Eine Sprache zur Spezifikation von Datenflussanalysen
    D. Bobbert
    Universität des Saarlandes, 2001. [bib]
  27. Statischer Methodenaufruf in Java
    H. Dewes
    Universität des Saarlandes, 2001. [bib]
  28. Generische Value-Analyse für Maschinenprogramme
    N. Fritz
    Universität des Saarlandes, 2001. [bib]
  29. Layout animierter Graphen
    C. Görg
    Universität des Saarlandes, 2001. [bib]
  30. Implementierung und Anwendung der GANIMAL Laufzeitumgebung
    T. Weller
    Universität des Saarlandes, 2001. [bib]
  31. Generische Rekonstruktion von Kontrollflussgraphen aus Assemblerprogrammen
    S. Wilhelm
    Universität des Saarlandes, 2001. [bib]
  32. Implementierung von VRML mit Constraints
    J. Keller
    Universität des Saarlandes, 2000. [bib]
  33. Kooperative Lernsoftware
    M. Ohlmann
    Universität des Saarlandes, 2000. [bib]
  34. Analyse des Verhaltens von mehrstufigen Caches mit Schreibstrategien
    M. Haase
    Universität des Saarlandes, 1999. [bib]
  35. Erstellung von Laufzeitgarantien für sicherheitskritische Systeme am Beispiel einer Flugsteuerung
    D. Kreutzer
    Universität des Saarlandes, 1999. [bib]
  36. Generierung interaktiver Animationen von abstrakten Maschinen
    T. Kunze
    Universität des Saarlandes, 1999. [bib]
  37. Entwurf und Implementierung eines Kontrollflußgenerators
    M. Schmidt
    Universität des Saarlandes, 1999. [bib]
  38. Entwurfsmuster in verteilten Anwendungen am Beispiel des Projekts Televerwaltung Saar
    A. Placzek
    Universität des Saarlandes, 1998. [bib]
  39. Datenbankbasiertes System zur Meßdatenerfassung, Bearbeitung, Berechnung und Präsentation bei statischen Seilversuchen
    R. Schlosser
    Universität des Saarlandes, 1998. [bib]
  40. Statische Pipeline-Analyse für Echtzeitsysteme
    J. Schneider
    Universität des Saarlandes, 1998. [bib]
  41. Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden
    H. Theiling
    Universität des Saarlandes, 1998. [bib]
  42. Analyse der Datenverteilung für Implementierungen der Sprache 2DT auf Parallelrechnern mit verteiltem Speicher
    S. Bergmann
    Universität des Saarlandes, 1997. [bib]
  43. Ein Sortensystem für die logische Programmiersprache eXu KRL
    M. Ferdinand
    Universität des Saarlandes, 1997. [bib]
  44. Genaue Laufzeiten für Kommunikationsoperationen paralleler Maschinen mit verteiltem Speicher
    R. Foschia
    Universität des Saarlandes, 1997. [bib]
  45. Animation der semantischen Analyse
    A. Kerren
    Universität des Saarlandes, 1997. [bib]
  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]
  47. Instruktionsanordnungen unter Verwendung graphbasierter Algorithmen für den digitalen Signalprozessor ADSP-2106x
    M. Langenbach
    Universität des Saarlandes, 1997. [bib]
  48. Generierung effizienter Datentypen für PAG
    O. Lauer
    Universität des Saarlandes, 1997. [bib]
  49. Entwurf und Implementierung eines Frontends für Analysen zur Vorhersage des Cache- und Pipeline-Verhaltens
    T. Ramrath
    Universität des Saarlandes, 1997. [bib]
  50. Parallele Simulation des Abflußgeschehens in Kanalnetzen
    R. Ruth
    Universität des Saarlandes, 1997. [bib]
  51. Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches
    M. Sicks
    Universität des Saarlandes, 1997. [bib]
  52. Konfigurationsmanagement im LAN
    S. W. J. Mautes
    Universität des Saarlandes, 1996. [bib]
  53. Ein Übersetzer für die Wissensrepräsentationssprache eXu
    T. Müller
    Universität des Saarlandes, 1996. [bib]
  54. Beschreibungssprache zur Generierung von Datenstrukturen für den Übersetzerbau
    C. Rübel
    Universität des Saarlandes, 1996. [bib]
  55. Visualisierungstechniken für den Compilerbau
    G. Sander
    Universität des Saarlandes, 1996. [bib]
  56. Entwicklung der Messwerterfassung und -auswertung für einen dynamischen Drahtseilprüfstand
    O. Backes
    Universität des Saarlandes, 1995. [bib]
  57. Ein allgemeines Verfahren zur Hyperlink Generierung in strukturierter Dokumentation
    A. Engel
    Universität des Saarlandes, 1995. [bib]
  58. Visualisierung der abstrakten P-Maschine
    G. Kohlmann
    Universität des Saarlandes, 1995. [bib]
  59. Die Generierung von Synchronisierungscode eines parallelen Übersetzers im CoSy-Modell
    W. Kölsch
    Universität des Saarlandes, 1995. [bib]
  60. Entwurf und Implementierung eines Generators für Datenflußanalysatoren
    F. Martin
    Universität des Saarlandes, 1995. [bib]
  61. Zeigeranalyse für imperative Programmiersprachen
    C. Probst
    Universität des Saarlandes, 1995. [bib]
  62. EXAM, Eine abstrakte Maschine zur Realisierung der ordnungssortierten Wissensrepräsentationssprache eXu
    M. Röhrig
    Universität des Saarlandes, 1995. [bib]
  63. Statische Prozessverteilung in Hope
    P. Schwarz
    Universität des Saarlandes, 1995. [bib]
  64. Visualisierung der abstrakten Maschine WiM
    S. Wirtz
    Universität des Saarlandes, 1995. [bib]
  65. Transformationen zur Verbesserung der Datenlokalität in Bezug auf Cachespeicher
    P. Zeimetz
    Universität des Saarlandes, 1995. [bib]
  66. Appraise - Ein abstrakter Interpreter für die Sprache Prolog
    W. Berger
    Universität des Saarlandes, 1994. [bib]
  67. Entwicklung und Implementierung eines Visualisierungswerkzeugs für Anwendungen im Übersetzerbau
    I. Lemke
    Universität des Saarlandes, 1994. [bib]
  68. Generische Baumanalysatorengeneratoren
    C. Peper
    Universität des Saarlandes, 1994. [bib]
  69. Automatisierte Softwareverteilung im LAN-/WAN-/Host-Environment
    M. J. Wilhelm
    Universität des Saarlandes, 1994. [bib]
  70. SiATeX. Eine interaktive Arbeits- und Graphikumgebung für TeX unter dem X11 Window System
    B. Braune
    Universität des Saarlandes, 1993. [bib]
  71. Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 1: Parallelisierungsstrategie
    A. Dierstein
    Universität des Saarlandes, 1993. [bib]
  72. Alternativer Seitenumbruch für logisch ausgezeichnete Dokumente
    K. Emde
    Universität des Saarlandes, 1993. [bib]
  73. Parallelisierung mit automatischer Datenaufteilung für imperative Programmiersprachen. Teil 2: Automatische Datenaufteilung
    R. Hayer
    Universität des Saarlandes, 1993. [bib]
  74. Lastverteilungsstrategien für die Parallele G-Maschine
    H. Korn
    Universität des Saarlandes, 1993. [bib]
  75. Darstellung eines Graphen mit minimaler Überkreuzung der Kanten in der Ebene
    P. Mohammadzadeh
    Universität des Saarlandes, 1993. [bib]
  76. Anwendung der Evolutionsstrategie zur Lastverteilung paralleler funktionaler Programme
    G. Müller
    Universität des Saarlandes, 1993. [bib]
  77. Generische Vektorisierung imperativer Programmiersprachen
    T. Vogelgesang
    Universität des Saarlandes, 1993. [bib]
  78. PHOENICS – Eine interaktive, inkrementelle Programmierumgebung für Pascal
    M. Greim
    Universität des Saarlandes, 1992. [bib]
  79. Algorithmen zum Linienschnitt-Problem
    B. Groß
    Universität des Saarlandes, 1992. [bib]
  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]
  81. Analysen und Übersetzung von FORK – Teil 1
    K. Käppner
    Universität des Saarlandes, 1992. [bib]
  82. Partielle Auswertung für die funktionale Programmiersprache Hope
    V. Schöpfer
    Universität des Saarlandes, 1992. [bib]
  83. Visualisierung der abstrakten Maschine MaMa
    B. Steiner
    Universität des Saarlandes, 1992. [bib]
  84. Analysen und Übersetzung von FORK – Teil 2
    M. Welter
    Universität des Saarlandes, 1992. [bib]
  85. Konstruktion eines Baumtransformators für nicht eindeutige Termersetungssysteme
    J. Fechner
    Universität des Saarlandes, 1991. [bib]
  86. Übersetzung der funktionalen Programmiersprache Hope für die parallele G-Maschine
    L. Fuchs
    Universität des Saarlandes, 1991. [bib]
  87. Weiterentwicklung eines Codeselektorgenerators und Anwendung auf den NSC32000
    N. Mathis
    Universität des Saarlandes, 1991. [bib]
  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]
  89. Verteilte Garbage Collection Algorithmen
    A. Paltz
    Universität des Saarlandes, 1991. [bib]
  90. PASCAL. Interpretation und Visualisierung
    N. Truxa
    Universität des Saarlandes, 1991. [bib]
  91. Automatische Erzeugung der Analysenkomponente eines Maschinencodeoptimierers nach dem Ansatz von Robert Giegerich
    D. Uebel
    Universität des Saarlandes, 1991. [bib]
  92. Ein Übersetzer für die funktionale Sprache TraFoLa
    M. Alt
    Universität des Saarlandes, 1990. [bib]
  93. Trama. Eine abstrakte Maschine zur Implementierung der funktionalen Programmiersprache TraFoLa
    C. Fecht
    Universität des Saarlandes, 1990. [bib]
  94. Pattern-Matching in TraFoLa
    C. Ferdinand
    Universität des Saarlandes, 1990. [bib]
  95. Power Domain Constructions (Potenzbereich-Konstruktionen)
    R. Heckmann
    Universität des Saarlandes, 1990. [bib]
  96. Source-to-Source Transformation. Eine Studie des Transformatorsystems OPTRAN anhand eines SPL4-C-Compilers
    G. Horsch
    Universität des Saarlandes, 1990. [bib]
  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]
  98. Entwicklung und Implementierung eines polymorphen Typsystems für die funktionale Programmiersprache TraFoLa
    G. Sander
    Universität des Saarlandes, 1990. [bib]
  99. Attributauswertung für zyklische Attributierungen
    E. Thieser
    Universität des Saarlandes, 1990. [bib]
  100. Partielle Auswertung imperativer Programmiersprachen
    W. Backes
    Universität des Saarlandes, 1989. [bib]
  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]
  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]
  103. Spezifikation von Graphiken und Realisierung graphischer Funktionen in einer Funktionalen Programmiersprache
    M. Hippchen
    Universität des Saarlandes, 1989. [bib]
  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]
  105. Ein Pretty-Print Generator für das OPTRAN System
    T. Geiger
    Universität des Saarlandes, 1988. [bib]
  106. Ein Vergleich von Lambda- und Kombinatorgraphreduktion
    F. Gergen
    Universität des Saarlandes, 1988. [bib]
  107. Dynamische Verwaltung von Codeblöcken bei der parallelen Implementierung funktionaler Sprachen
    M. Raber
    Universität des Saarlandes, 1988. [bib]
  108. Verwaltung zyklicher Strukturen in parallelen Graphreduktionssystemen durch Reference Counting
    T. Remmel
    Universität des Saarlandes, 1988. [bib]
  109. Generierung des Höheren Kontrollflussgraphen
    R. Rojan
    Universität des Saarlandes, 1988. [bib]
  110. Entwicklung eines Analysators für Maschinenbeschreibungen
    U. Schmitt
    Universität des Saarlandes, 1988. [bib]
  111. Ansatz eines Analysators von COBOL-Programmen für die Qualitätseigenschaft Prüfungsgerecht
    U. Barthen
    Universität des Saarlandes, 1987. [bib]
  112. Implementierung funktionaler Programmiersprachen durch Kombinatoren und Berechnung von Striktheitsinformation
    A. Lucks-Baus
    Universität des Saarlandes, 1987. [bib]
  113. Implementierung eines Verfahrens zur Striktheitsanalyse funktionaler Programme
    B. Bellmann
    Universität des Saarlandes, 1987. [bib]
  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]
  115. Komprimierung statischer Tabellen für ein baumtransformierendes System
    J. Börstler
    Universität des Saarlandes, 1987. [bib]
  116. Entwicklung eines Previewers zur interaktiven Arbeit mit TeX
    B. Kuhn
    Universität des Saarlandes, 1987. [bib]
  117. Eine Untersuchung geeigneter Netzwerke und Arbeitsverteilungsstrategien für die parallele Reduktion von Kombinatorcode
    J. Metzger
    Universität des Saarlandes, 1987. [bib]
  118. Semantische Analyse für eine funktionale Porgrammiersprache mit polymorphem Typsystem
    M. Baston
    Universität des Saarlandes, 1986. [bib]
  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]
  120. Eine Modulbibliothek für Pascal-m
    W. Degenhardt
    Universität des Saarlandes, 1986. [bib]
  121. Konzept eines Generierungssystems für Codeerzeugung: Die Übertragung des p-Codes auf wechselnde Zielmaschinen
    A. Demmer
    Universität des Saarlandes, 1986. [bib]
  122. Eine interaktive Programmierumgebung für die funktionale Programmiersprache X
    G. Hickel
    Universität des Saarlandes, 1986. [bib]
  123. Komplexe Attribute; Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System
    P. Lipps
    Universität des Saarlandes, 1986. [bib]
  124. Gernerierung eines effizienten Attributschedulers für ein baumtransformierendes System
    M. Olk
    Universität des Saarlandes, 1986. [bib]
  125. Registerverteilung und Codeselektion für wechselnde Zielmaschinen
    T. Rauber
    Universität des Saarlandes, 1986. [bib]
  126. Vollständige Transfereinheiten vom Typ 1
    P. Schley
    Universität des Saarlandes, 1986. [bib]
  127. Effiziente Attributspeicherwaltung für ein baumtransformierendes System
    H. Tittelbach
    Universität des Saarlandes, 1986. [bib]
  128. BISAM – Ein maschinenunabhängiger Binder für Pascal-m
    W. Keber
    Universität des Saarlandes, 1985. [bib]
  129. Verfahren zur Generierung LR(k)-Parser-gesteuerter Attributauswerter
    R. F. Lackes
    Universität des Saarlandes, 1985. [bib]
  130. Direkte Generierung der Attributberechnung in Form von p-Code
    R. Mansfeld
    Universität des Saarlandes, 1985. [bib]
  131. Task-Konzept in ADA
    M. Aziz
    Universität des Saarlandes, 1983. [bib]
  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]
  133. Spezifikation einer Datenbasis als Teil eines Mitfahrgelegenheitenvermittlungssystems
    T. Heubel
    Universität des Saarlandes, 1983. [bib]
  134. Techniken zur Unterstützung quellsprachnahen Testens
    C. Kimmel
    Universität des Saarlandes, 1983. [bib]
  135. Attributierte Transformationsgrammatiken
    M. Schmigalla
    Universität des Saarlandes, 1983. [bib]
  136. Ein System zur Verwaltung getrennt übersetzbarer Einheiten der Programmiersprache ADA
    F. Schuhmacher
    Universität des Saarlandes, 1983. [bib]
  137. ADA-Editor. Teil II – Aspekte der Implementierung
    B. Sieloff
    Universität des Saarlandes, 1983. [bib]
  138. Attributierte Transformationsgrammatiken: die Baumanalyse und Untersuchungen zu Transformationsstrategien
    B. Weisgerber
    Universität des Saarlandes, 1983. [bib]
  139. Implementierung eines Compiler-erzeugenden-Systems auf einem Mikrorechner: der Attributierungsgenerator
    W. Dithmar
    Universität des Saarlandes, 1982. [bib]
  140. Implementierung eines Compiler-Generators auf einem Mikrorechner: Intraktives Lernprogramm
    F. Jakobs
    Universität des Saarlandes, 1982. [bib]
  141. ADA-Editor. Teil I – Grundlagen
    U. Kasper
    Universität des Saarlandes, 1982. [bib]
  142. Pascal Testsystem Simplifier
    V. Licher
    Universität des Saarlandes, 1982. [bib]
  143. Ein LALR(1)-Parsergenerator
    H. Oberhauser
    Universität des Saarlandes, 1982. [bib]
  144. Ein LR-Scanner-Generator
    P. Pfahler
    Universität des Saarlandes, 1982. [bib]
  145. Paketorientierte Übertragungsdienste in Verteilten Systemen
    M. Schneider
    Universität des Saarlandes, 1981. [bib]
  146. Pascal Testsystem: Ablaufsteuerung
    A. Brück
    Universität des Saarlandes, 1980. [bib]
  147. Pascal Testsystem: Symbolische Ausführung
    H. Dorr
    Universität des Saarlandes, 1980. [bib]
  148. Ein LR-Scanner-Generator
    J. Lörscher
    Universität des Saarlandes, 1980. [bib]
  149. Automatische Implementierung von monotonen Rahmen für Datenflussprobleme
    T. Räuchle
    Universität des Saarlandes, 1980. [bib]
  150. Die Realisierung des LCF-Kommandos SIMPL durch Baumtransformatoren
    M. Holbach
    Universität des Saarlandes, 1979. [bib]