Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe Programmiersprachen und Verifikation
Address
52056 Aachen
Deutschland
GERiT
This institution in GERiT
52056 Aachen
Projects
Research Grants
Completed projects
Automated Termination and Complexity Analysis of Imperative Programs
(Applicant
Giesl, Jürgen
)
Automatische Terminierungsanalyse für funktionale, imperative und logische Programmiersprachen
(Applicant
Giesl, Jürgen
)
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
(Applicants
Baier, Christel
;
Hermanns, Holger
;
Siegle, Markus
;
Ábrahám, Erika
)
Research Fellowships
Completed projects
Verification of imperative programs
(Applicant
Giesl, Jürgen
)
Research Training Groups
Current projects
GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic
(Spokesperson
Katoen, Joost-Pieter
)
Additional Information
© 2026
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
