Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation

Address Ahornstraße 2
52056 Aachen
Deutschland

GERiT This institution in GERiT

52056 Aachen

Projects

Research Grants
- Current projects
  - Mixing Formal Methods and Learning Techniques for Strategy Synthesis in Partially Observable Markov Decision Processes
    (Applicant Katoen, Joost-Pieter )
  - Probabilistic Model Checking Under Partial Observability With Multiple Objectives
    (Applicant Katoen, Joost-Pieter )
  - Reachability Analysis for Stochastic Hybrid Systems
    (Applicants Remke, Anne ; Ábrahám, Erika )
  - SMT Arithmetic Reasoning Techniques
    (Applicant Ábrahám, Erika )
- Completed projects
  - Advancing Automated Analysis of Concurrent Pointer Programs
    (Applicant Noll, Thomas )
  - A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
    (Applicants Kowalewski, Stefan ; Ábrahám, Erika )
  - Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme
    (Applicant Herzog, Ulrich )
  - Counterexample generation for stochastic systems using Bounded Model Checking
    (Applicant Ábrahám, Erika )
  - Entwicklung von neuartigen Online-Verfahren zur optimalen Steuerung hybrider Antriebssysteme
    (Applicants Abel, Dirk ; Ábrahám, Erika )
  - Parameter Synthesis for Reliable, Performant and Efficient Wireless Network Protocols
    (Applicant Katoen, Joost-Pieter )
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
    (Applicants Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )
  - Validation of stochastic systems
    (Applicant Haverkort, Boudewijn R. )
  - Validation of Stochastic Systems 2
    (Applicant Baier, Christel )
Research Training Groups
- Current projects
  - GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic
    (Spokesperson Katoen, Joost-Pieter )
- Completed projects
  - GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn)
    (Spokespersons Katoen, Joost-Pieter ; Thomas, Wolfgang )
Clusters of Excellence
- Completed projects
  - EXC 89: Ultra High-speed Mobile Information and Communication (UMIC)
    (Spokesperson Ascheid, Gerd )

© 2025 DFG Disclaimer / Copyright / Privacy Policy