Ein Framework für die Testautomatisierung bei Fahrer-Assistenz-Systemen
Test und Absicherung von Funktionen mit synthetischen Umfeld- und Fahrzeugeigendaten
Entwicklung und Gestaltung variabler Bedienelemente für ein Bedien- und Anzeigesystem im Fahrzeug
Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering
Formale ergänzen traditionelle Methoden in der Softwareentwicklung