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

Detailseite

Institution

Druckansicht

Rheinisch-Westfälische Technische Hochschule Aachen
Lehr- und Forschungsgebiet Informatik II
- Programmiersprachen und Verifikation -

Adresse 52056 Aachen
Deutschland

GERiT Diese Institution in GERiT

52056 Aachen

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Automatische Terminierungsanalyse für funktionale, imperative und logische Programmiersprachen
    (Antragsteller Giesl, Jürgen )
  - Automatische Terminierungs- und Komplexitätsanalyse imperativer Programme
    (Antragsteller Giesl, Jürgen )
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
    (Antragstellerinnen / Antragsteller Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )
Forschungsstipendien
- abgeschlossene Projekte
  - Verifikation imperativer Programme
    (Antragsteller Giesl, Jürgen )
Graduiertenkollegs
- laufende Projekte
  - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik.
    (Sprecher Katoen, Joost-Pieter )

© 2024 DFG Kontakt / Impressum / Datenschutz