Member of the research staff at the Department of Computer Science 4 (Distributed Systems and Operating Systems Group) at University of Erlangen-Nuremberg.
Repeated reboots of the system failed to solve problem. -Unix fortune
Automatische Regressionstestgenerierung für modellbasierte Testfälle
Konzeption und Implementierung eines Verfahrens zur Analyse von Modellverfeinerungen und zur Testdatenerzeugung
Konzeption und Implementierung einer 'Round-Trip'- Vorgehensweise für den modellbasierten Test
Konzeption und Implementierung einer Produktlinienarchitektur für AUTOSAR-Softwarekomponenten
Übertragung existierender Model Checking Verfahren auf Automatenbeschreibungen in UML
Vergleichende Bewertung unterschiedlicher Authentifizierungsstrategien im Zusammenhang mit der Analyse und der Implementierung eines Erfassungssystems