Martin Zimmermann

Erforsche, wie Runtime Verification hilft, die Systemleistung durch Ereignistraces zu überprüfen.

Ein Blick auf Überwachungstechniken für zuverlässige Echtzeitsystemleistung.

Teamsemantik verbessert die Überprüfung komplexer Eigenschaften in Softwaresystemen.