Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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 )

© 2024 DFG Kontakt / Impressum / Datenschutz