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)
Debugging von Serviceorientierte Systemen
(Bearbeiter: Sebastian Beyer)
Modell-basierte Codegeneratoren zur Lösung von Optimierproblemen
(Bearbeiter: Benjamin Saul)
Ü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)
Lebendigkeitsprüfung in Komponentensystemen unter Berücksichtigungunbeschränkter Rekursion und Nebenläufigkeit
(Bearbeiterin: Mandy Weißbach) Zweitgutachter: Welf Löwe, (Tag der Verteidigung 12.12.2019)
Typische Muster bei der DSL-Implementierung unter Verwendung von geordneten Attributgrammatiken Berg, Christian; Zimmermann, Wolf ; Aßmann, Uwe ; Halle, 2019, 1 Online-Ressource (211 Seiten); [Tag der Verteidigung: 28.02.2019] Bibliographie: Dissertation
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