Project Details

Professor Dr.-Ing. Joost-Pieter Katoen

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

Projects

As Applicant
- Current projects
  - Probabilistic Model Checking Under Partial Observability With Multiple Objectives (Research Grants)
  - Mixing Formal Methods and Learning Techniques for Strategy Synthesis in Partially Observable Markov Decision Processes (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)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Joost-Pieter Katoen

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Joost-Pieter Katoen

Additional Information

Textvergrößerung und Kontrastanpassung