Forschung
Übersicht
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)
Composition Operators for Components and Web Services (2011)
(Bearbeiter: Cuong M. Tran) Phd-Thesis University of Manchester
Supervisor: Kung-Kiu Lau
A Tool for Generating Progreams with Mixed Task and Data Parallelism (2001)
(Bearbeiterin: Ursula Fissgus)
Erstgutachter: Thomas Rauber
Zweitgutachterin: Gudula Rünger