Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Joost-Pieter Katoen

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

Projekte

Als Antragsteller
- laufende Projekte
  - Probabilistisches Model Checking Unter teilweise Beobachtung Für Mehrere Eigenschaften (Sachbeihilfen)
  - Das Verschmelzen von formalen Methoden und Lerntechniken für die Strategiesynthese in partiell beobachtbaren Markov-Entscheidungsprozessen (Sachbeihilfen)
- abgeschlossene Projekte
  - Parametersynthese für zuverlässige, performante und effiziente Protokolle für Drahtlosnetzwerke (Sachbeihilfen)
Als Sprecher
- laufende Projekte
  - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn) (Graduiertenkollegs)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - EXC 89: Universaler mobiler Zugang zu Information und Kommunikation (Exzellenzcluster)
Als Beteiligte Person
- abgeschlossene Projekte
  - Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme (Sachbeihilfen)
  - Validation of Stochastic Systems 2 (Sachbeihilfen)
  - Validation of Stochastic Systems 2 (Sachbeihilfen)
  - Berechnung von Gegenbeispielen für stochastische Systeme unter Verwendung von Bounded Model Checking (Sachbeihilfen)
Als Mitverantwortlich
- abgeschlossene Projekte
  - Automatische Analyse nebenläufiger Pointerprogramme (Sachbeihilfen)

© 2025 DFG Kontakt / Impressum / Datenschutz