Martin Zimmermann

Ein Blick auf Echtzeit-Überwachungsmethoden für Systemleistung und Sicherheit.

Entdecke, wie HyperLTL-Modellprüfung die Sicherheit von Softwaresystemen verbessert.

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.