Verifikationsverfahren für die modellbasierte Softwareentwicklung

• Verfahren zur Modellanalyse auf Basis von Model Checking und Theorembeweisen
• Skalierbarkeit der Verfahren, verbesserte Transparenz, intelligentes Feedback

Modellierung und Verifikation nebenläufiger Systeme

• Untersuchung von Designpattern in nebenläufigen actor-basierten Umgebungen
• Spezifikationssprachen zur Beschreibung nebenläufiger Systeme

Software Engineering für eingebettete Systeme (Safety & Security)

• Sicherheitsprüfung neuartiger Architekturen, z.B. Virtualisierungskonzepte bei sicherheitskritischen Systemen
• Umgang mit Information-Flow-Control-Sprachen
• Betrachtung konstruktiver Verfahren und Standards, wie ISO26262 und Common Criteria