Professor Dr. Peter Buchholz

Adresse Technische Universität Dortmund
Fakultät für Informatik
Informatik IV - Lehrstuhl für praktische Informatik
44221 Dortmund

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Rationale Ankunfts- und Bedienprozesse zur Leistungs- und Zuverlässigkeitsanalyse (Sachbeihilfen)
  - Modellbasierte Validierung von SLAs für verteilte Softwaresysteme (Sachbeihilfen)
Als Sprecher
- abgeschlossene Projekte
  - GRK 1855: Diskrete Optimierung technischer Systeme unter Unsicherheit (Graduiertenkollegs)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2193: Anpassungsintelligenz von Fabriken im dynamischen und komplexen Umfeld (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Strukturierte GNL-Modelle und effiziente Simulation (Sonderforschungsbereiche)
  - Effiziente Analyseverfahren (Sonderforschungsbereiche)
  - Modellierung und Analyse von Multimediasystemen (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER) (Sachbeihilfen)