Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
Adresse
Ahornstraße 2
52056 Aachen
Deutschland
GERiT
Diese Institution in GERiT
52056 Aachen
Projekte
Sachbeihilfen
laufende Projekte
Das Verschmelzen von formalen Methoden und Lerntechniken für die Strategiesynthese in partiell beobachtbaren Markov-Entscheidungsprozessen
(Antragsteller
Katoen, Joost-Pieter
)
Erreichbarkeitsanalyse für stochastische hybride Systeme
(Antragstellerinnen
Remke, Anne
;
Ábrahám, Erika
)
Probabilistisches Model Checking Unter teilweise Beobachtung Für Mehrere Eigenschaften
(Antragsteller
Katoen, Joost-Pieter
)
SMT Techniken für arithmetische Theorien
(Antragstellerin
Ábrahám, Erika
)
abgeschlossene Projekte
Automatische Analyse nebenläufiger Pointerprogramme
(Antragsteller
Noll, Thomas
)
Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme
(Antragsteller
Herzog, Ulrich
)
Berechnung von Gegenbeispielen für stochastische Systeme unter Verwendung von Bounded Model Checking
(Antragstellerin
Ábrahám, Erika
)
Ein Werkzeugkasten für die Erreichbarkeitsanalyse hybrider Systeme mittels geometrischer Approximationen
(Antragstellerinnen / Antragsteller
Kowalewski, Stefan
;
Ábrahám, Erika
)
Entwicklung von neuartigen Online-Verfahren zur optimalen Steuerung hybrider Antriebssysteme
(Antragstellerinnen / Antragsteller
Abel, Dirk
;
Ábrahám, Erika
)
Parametersynthese für zuverlässige, performante und effiziente Protokolle für Drahtlosnetzwerke
(Antragsteller
Katoen, Joost-Pieter
)
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
(Antragstellerinnen / Antragsteller
Baier, Christel
;
Hermanns, Holger
;
Siegle, Markus
;
Ábrahám, Erika
)
Validation of Stochastic Systems 2
(Antragsteller
Haverkort, Boudewijn R.
)
Validation of Stochastic Systems 2
(Antragstellerin
Baier, Christel
)
Graduiertenkollegs
laufende Projekte
GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik.
(Sprecher
Katoen, Joost-Pieter
)
abgeschlossene Projekte
GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)
(Sprecher
Katoen, Joost-Pieter
;
Thomas, Wolfgang
)
Exzellenzcluster
abgeschlossene Projekte
EXC 89: Universaler mobiler Zugang zu Information und Kommunikation
(Sprecher
Ascheid, Gerd
)
