Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Joost-Pieter Katoen

Address Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
Ahornstraße 2
52056 Aachen

Projects

As Applicant
- Current projects
  - Probabilistic Model Checking Under Partial Observability With Multiple Objectives (Research Grants)
- Completed projects
  - Parameter Synthesis for Reliable, Performant and Efficient Wireless Network Protocols (Research Grants)
As Spokesperson
- Current projects
  - GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (Research Training Groups)
- Completed projects
  - GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn) (Research Training Groups)
As Participating Researcher
- Completed projects
  - EXC 89: Ultra High-speed Mobile Information and Communication (UMIC) (Clusters of Excellence)
As Participating Person
- Completed projects
  - Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme (Research Grants)
  - Validation of stochastic systems (Research Grants)
  - Validation of Stochastic Systems 2 (Research Grants)
  - Counterexample generation for stochastic systems using Bounded Model Checking (Research Grants)
As Co-Investigator
- Completed projects
  - Advancing Automated Analysis of Concurrent Pointer Programs (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy