Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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
  - 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 )

© 2024 DFG Kontakt / Impressum / Datenschutz