Detailseite

Professor Dr.-Ing. Joost-Pieter Katoen

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe 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)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Joost-Pieter Katoen

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Joost-Pieter Katoen

Zusatzinformationen

Textvergrößerung und Kontrastanpassung