Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure





Forschung

Main Interests:

. Software-Engineering
. Programming Languages

Special Interests

  • Composition of  Software Components
  • Component Systems and Service Oriented Architectures, Web Services
  • Model Driven Approaches, Code Generators and their Verification
  • Compiler Construction, Compiler Verification
  • Software Model Checking and Verification
  • Reusability

Dissertationen (In Progress)

Lebendigkeitsprüfung in Komponentensystemen unter Berücksichtigungunbeschränkter Rekursion und Nebenläufigkeit
(Bearbeiterin: Mandy Weißbach)

Übertragung von Methoden und Verfahren des klassischen Übersetzerbaus im Bereich der Entwicklung von Modellierungswerkzeugen
(Bearbeiter: Maik Schöpe)

Grammatikalische Methoden zur Plagiatserkennung mittels Autorenanalyse
(Bearbeiter: Sebastian Wendt)

Codeanalyse zur nebenläufigen Ausführung von Transaktionen auf Mehrkernarchitekturen
(Bearbeiter: Rene Franke)

Dissertationen (Erstgutachter)

Verbesserung von Modellprüfern für symbolische Kellersysteme durch Zustandsreduktion.
(Bearbeiter: Dirk Richter, abgeschlossen 2012)
Zweitgutachter: Jens Knoop

Protokollprüfung in Komponentensystemen unter Berücksichtigung unbeschränkter Rekursion und Nebenläufigkeit
(Bearbeiter: Andreas Both, abgeschlossen 2010)
Zweitgutachter: Prof. Dr. Heinz W. Schmidt

Korrekte Codegeneratoren für speicherprogrammierbare Steuerungen
(Bearbeiter: Dirk Pollmächer, abgeschlossen 2008)
Zweitgutachter: Wolfgang Reisig

Dissertationen (Zweitgutachten)

Scalable Translation Validation - Tools, Techniques and Framework (2014)
Bearbeiter: Roland Lezuo
Erstgutachter: Andreas Krall (TU Wien)

Multiprozessor Task Scheduling - Entwicklung und Vergleich von Algorithmen zur optimalen Auslastung von Parallelrechnern (2014)
Bearbeiter: Kai Baumgarten
Erstgutachter: Thomas Rauber (Universität Bayreuth)

Statische Analyse von Laufzeitmodi in Kahn-Prozess-Netzwerken (2012)
(Bearbeiter: Michael Beyer)
Erstgutachterin: Sabine Glesner (TU Berlin)

Composition Operators for Components and Web Services (2011)
Bearbeiter: Cuong M. Tran Phd-Thesis University of Manchester
Supervisor: Kung-Kiu Lau (University of Manchester)

A Tool for Generating Progreams with Mixed Task and Data Parallelism (2001)
Bearbeiterin: Ursula Fissgus
Erstgutachter:  Thomas Rauber (Martin-Luther-Universität Halle-Wittenberg)
Zweitgutachterin: Gudula Rünger

Zum Seitenanfang