Universität der Bundeswehr München
Fakultät für Informatik
Institut für Technische Informatik
Adresse
Werner-Heisenberg Weg 39
85577 Neubiberg
Deutschland
GERiT
Diese Institution in GERiT
85577 Neubiberg
Projekte
Sachbeihilfen
abgeschlossene Projekte
Effiziente Analyseverfahren für die Performability-Bewertung verteilter Systeme
(Antragsteller
Siegle, Markus
)
Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen
(Antragsteller
Herzog, Ulrich
)
Effiziente Verifikation von Performability-Eigenschaften verteilter Systeme
(Antragsteller
Siegle, Markus
)
EnICO – Energieeffiziente IndustrieClusterOptimierung
(Antragsteller
Rose, Oliver
;
Schmidt, Thorsten
)
Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme
(Antragsteller
Bode, Arndt
;
Siegle, Markus
)
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
(Antragstellerinnen / Antragsteller
Baier, Christel
;
Hermanns, Holger
;
Siegle, Markus
;
Ábrahám, Erika
)
Simulationsbasierte dynamische Heuristik zur verteilten Optimierung komplexer Mehrziel-Multiprojekt-Multiressourcen-Produktionsprozesse
(Antragsteller
Rose, Oliver
;
Schmidt, Thorsten
)
Untersuchung und Weiterentwicklung von Closed-Looped-Einstartregeln für Halbleiterfertigungsanlagen
(Antragsteller
Rose, Oliver
)
Validation of Stochastic Systems 2
(Antragsteller
Siegle, Markus
)
