Technische Universität Dortmund
Fakultät für Informatik
Informatik IV - Lehrstuhl für praktische Informatik
Address
August-Schmidt-Straße 12
44227 Dortmund
Deutschland
GERiT
This institution in GERiT
44227 Dortmund
Projects
Priority Programmes
Completed projects
Modulare temporallogische Spezifikationen hybrider Systeme
(Applicant
Krumm, Heiko
)
Research Grants
Completed projects
A modular Framework for Modeling User Mobility in Wireless Networks considering varying Data Granularity
(Applicant
Kriege, Jan
)
Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER)
(Applicant
Müller, Norbert
)
Modellbasierte Validierung von SLAs für verteilte Softwaresysteme
(Applicant
Buchholz, Peter
)
Rationale Ankunfts- und Bedienprozesse zur Leistungs- und Zuverlässigkeitsanalyse
(Applicant
Buchholz, Peter
)
Collaborative Research Centres
Completed projects
Effiziente Analyseverfahren
(Project Heads
Buchholz, Peter
;
Kemper, Peter
)
Modellierung und Analyse von Multimediasystemen
(Project Head
Buchholz, Peter
)
Strukturierte GNL-Modelle und effiziente Simulation
(Project Heads
Bause, Falko
;
Buchholz, Peter
)
Research Training Groups
Current projects
GRK 2193: Adaption Intelligence of Factories in a Dynamic and Complex Environment
(Spokesperson
Rehof, Jakob
)
Completed projects
GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
(Spokesperson
Vogler, Heiko
)
GRK 1855: Discrete Optimisation of Technical Systems under Uncertainty
(Spokesperson
Buchholz, Peter
)