Professor Dr. Peter Buchholz

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

Projects

As Applicant
- Completed projects
  - Rationale Ankunfts- und Bedienprozesse zur Leistungs- und Zuverlässigkeitsanalyse (Research Grants)
  - Modellbasierte Validierung von SLAs für verteilte Softwaresysteme (Research Grants)
As Spokesperson
- Completed projects
  - GRK 1855: Discrete Optimisation of Technical Systems under Uncertainty (Research Training Groups)
As Participating Researcher
- Current projects
  - GRK 2193: Adaption Intelligence of Factories in a Dynamic and Complex Environment (Research Training Groups)
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (Research Training Groups)
As Project Head
- Completed projects
  - Strukturierte GNL-Modelle und effiziente Simulation (Collaborative Research Centres)
  - Effiziente Analyseverfahren (Collaborative Research Centres)
  - Modellierung und Analyse von Multimediasystemen (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER) (Research Grants)