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)
Protokollprüfung in Komponentensystemen unter Berücksichtigung unbeschränkter Rekursion und Nebenläufigkeit
(Bearbeiter: Andreas Both)
Verbesserung von Modellprüfern für symbolische Kellersysteme durch Zustandsreduktion.
(Bearbeiter: Dirk Richter)
Dissertationen (Erstgutachter)
Korrekte Codegeneratoren für speicherprogrammierbare Steuerungen
(Bearbeiter: Dirk Pollmächer, abgeschlossen 2008)
Zweitgutachter: Wolfgang Reisig
Dissertationen (Zweitgutachten)
A Tool for Generating Progreams with Mixed Task and Data Parallelism (2001)
(Bearbeiterin: Ursula Fissgus)
Erstgutachter: Thomas Rauber
Zweitgutachterin: Gudula Rünger