Diplomarbeiten

MoDeST

• Static Analysis of MoDeST Specifications
  Henrik Bohnenkamp
  2 Nov 2005
• Connecting MoDeST to PRISM via MOTOR
  Henrik Bohnenkamp
  2 Nov 2005

Modelling Concurrent Systems

• LTL-Model Checker für Haskell (Runtime Verification of Concurrent Haskell)
  Volker Stolz  (stolz@i2.informatik.rwth-aachen.de)
• Abstraktion von Erlang-Programmen im pi-Kalkül
  Thomas Noll  ( noll@cs.rwth-aachen.de)

• Beschreibung des pi-Kalküls in der Rewriting Logic
  Thomas Noll  ( noll@cs.rwth-aachen.de)

Functional Programming

• Effekt-Annotationen für Haskell
  Volker Stolz  (stolz@i2.informatik.rwth-aachen.de)
• LTL-Model Checker für Haskell (Runtime Verification of Concurrent Haskell)
  Volker Stolz  (stolz@i2.informatik.rwth-aachen.de)

Beendete Diplomarbeiten

2002

• Philipp Lucas
  Analyse von Message Sequence Charts
  Betreuung: Benedikt Bollig, Martin Leucker

• Vazha Amiranashvili:
  A Rewriting Logic Formalization of Core Erlang Semantics
  Master Thesis, RWTH Aachen, 2002, 146 pages.
  (PostScript, PDF)

2001

• Mario Joußen
  Reverse Engineering von Kommunikationsprotokollen aus verteilten Erlang Anwendungen (PostScript) (PDF)
  Betreuung: Frank Huch  (huch@i2.informatik.rwth-aachen.de)
• Thomas Böttcher
  Debugger für Concurrent Haskell
  Aufgabenstellung
  Betreuung: Frank Huch  ( huch@i2.informatik.rwth-aachen.de)
• Volker Stolz
  Robuste verteilte Programmierung in Haskell
  Betreuung: Frank Huch  ( huch@i2.informatik.rwth-aachen.de)
• Michael Weber
  Paralleles Model Checking, Abstract
  Betreuung: Martin Leucker

2000

• Christoph Brochhaus
  Implementierung eines graphischen Spezifikationstools für Erlang-Prozesse
  im Rahmen des Projekts: Ein Tool zur graphischen Spezifikation von Erlangprogrammen
  Betreuung: Frank Huch  ( huch@i2.informatik.rwth-aachen.de)
• Ulrich Norbisrath
  Erweiterung von Haskell um portbasierte Kommunikation zur verteilten Programmierung
  Betreuung: Frank Huch  ( huch@i2.informatik.rwth-aachen.de)
• Benedikt Bollig
  Entwurf und Analyse von Spurlogiken
  Betreuung: Martin Leucker
• Thomas Höfer
  Untersuchungen zum Einsatz verteilter boolescher Ausdrucksdiagramme in der Verifikation, Abstract
  Betreuung: Martin Leucker
• Sven Dorf:
  Transaktionsbasierte Anomalieerkennung für sicherheitsrelevante System- und Anwendungsprozesse
  Diplomarbeit, RWTH Aachen, 2000, 110 Seiten.
  (Zweitbetreuung mit R. Büschkes, Lehrstuhl für Informatik IV)
• Ralf Welter
  Simulation einer um Caching erweiterten STG-Maschine
  Diplomarbeit, RWTH Aachen, Februar 2000.
• Axel Simon
  Ein Typprüfungsassistent für Haskell
  Betreuung: Olaf Chitil  ( chitil@i2.informatik.rwth-aachen.de)

1999

• Jörg Dölfer
  Automatische Verifikation graphischer Spezifikationen von Erlang-Prozessen.
  im Rahmen des Projekts: Ein Tool zur graphischen Spezifikation von Erlangprogrammen
  Betreuung: Frank Huch  ( huch@i2.informatik.rwth-aachen.de)
• Martin Lange
  Spielbasiertes Model Checking für den alternierungsfreien mu-Kalkül
  Betreuung: Martin Leucker
• Philipp van Hüllen
  Design und Implementierung eines Spezifikationssprachen-Compilers
  Betreuung: Martin Leucker
• Mark Borning:
  Transaktionsbasierte Anomalieerkennung in Kommunikationsnetzen
  Diplomarbeit, RWTH Aachen, 1999, 124 Seiten.
  (Zweitbetreuung mit R. Büschkes, Lehrstuhl für Informatik IV)
• Claus Jürgensen
  Kategorientheoretisch fundierte Programmtransformationen für Haskell
  Diplomarbeit, RWTH Aachen, Oktober 1999.

1998

• Stephan Tobies
  Implementierung einer Verifikationsplattform für verteilte Systeme
  Betreuung: Martin Leucker
• Guido Freiberg:
  Skelett-basierte Lösungen für die "Salishan Problems"
  Diplomarbeit, RWTH Aachen, 1998.

1996

• Achim Müller:
  Syntaktische Transformationen natürlichsprachlicher Sätze - Baumtransformationen
  Diplomarbeit, RWTH Aachen, 1996, 120 Seiten.
• Frank Huch:
  Syntaktische Analyse natürlichsprachlicher Sätze - Fehleranalyse und Recovery
  Diplomarbeit, RWTH Aachen, 1996, 126 Seiten.
• Stefan Roßmanith:
  Kombination von LR-Parsing und paralleler Auswertung attributierter Grammatiken
  Diplomarbeit, RWTH Aachen, 1996, 106 Seiten.

1995

• Olaf Chitil:
  Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung
  Diplomarbeit, RWTH Aachen, 1995, 191 Seiten.
• Michael Zenzes:
  Attributierte Grammatiken höherer Ordnung und Logikprogramme
  Diplomarbeit, RWTH Aachen, 1995, 100 Seiten.
• Marc Spielmann:
  Vergleich von primitiv rekursiven Funktionen höherer Ordnung mit mehrfach rekursiven Funktionen
  Diplomarbeit, RWTH Aachen, 1995, 137 Seiten.
• Ingo Krahn:
  Fehleranalyse und Recovery bei syntaktischen Transformationen natürlichsprachlicher Texte
  Diplomarbeit, RWTH Aachen, 1995, 127 Seiten.
• Jürgen Nelz:
  Die Berechnungsstärke attributierter Grammatiken höherer Ordnung
  Diplomarbeit, RWTH Aachen, 1995, 213 Seiten.

1994

• Michael Mosler:
  Implementierung eines Parallelisierungsalgorithmus für imperative Programme
  Diplomarbeit, RWTH Aachen, 1994, 88 Seiten.

1993

• Can Adam Albayrak:
  Vergleichende Gegenüberstellung der Parameterübergabemechanismen Call-by-name und Call-by-value im Rahmen funktionaler Programme
  Diplomarbeit, RWTH Aachen, 1993, 146 Seiten.

1992

• Klaudia Bock:
  Erarbeitung eines objektorientierten Konzeptes zur Editierung statischer Eigenschaften und zur Spezifikation des dynamischen Verhaltens von Applikationsobjekten
  Diplomarbeit, RWTH Aachen, 1992, 115 Seiten.