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
Lehr- und Forschungsgebiet Informatik II
- 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
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
