Has participated in:
-
Komponentenbasierte Überwachung hybrider Systeme durch den Einsatz formaler Methoden
-
Hierarchical Hybrid Monitoring for Autonomous Systems
-
An Integrated Monitor-Diagnosis-Reconfiguration Scheme for (Semi-) Autonomous Systems
-
Dependable component-based design on the Example of a Heating Control System