Projekte

Projekte der Arbeitsgruppe

Entwurf von Rechen- und Kommunikationssystemen


Aktuelle Projekte:
Validation of Stochastic Systems (VOSS) (DFG und NWO)
Effiziente Verifikation von Performability-Eigenschaften verteilter Systeme (PerformVer) (DFG)


Frühere Projekte:
Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen (BDDana) (DFG)
Automatische Verifikation von Qualitätsmerkmalen Verteilter Systeme (AutoVer) (DFG)
Stochastische Modellierung und Verifikation(StochVer) (DAAD)