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

Detailseite

Person

Druckansicht

Professor Dr.-Ing. Holger Hermanns

Adresse Universität des Saarlandes
Saarland Informatics Campus
Campus, Geb. E1 3
66123 Saarbrücken

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Validation of Stochastic Systems 2 (Sachbeihilfen)
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Sachbeihilfen)
Als Sprecher
- laufende Projekte
  - TRR 248: Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt (Transregios)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme (Graduiertenkollegs)
  - GSC 209: Saarbrücker Graduiertenschule für Informatik (Graduiertenschulen)
Als Teilprojektleiter
- laufende Projekte
  - Komposition und Abstraktion mit Erklärungen (Transregios)
  - Überwachung dynamischer verlässlicher Systeme (Transregios)
  - Verständlichkeit und gesellschaftliche Risiken (Transregios)
  - Zentrale Aufgaben des Sonderforschungsbereichs (Transregios)
- abgeschlossene Projekte
  - Automatische Stabilitätsbeweisführung für Hybride Systeme (Transregios)
  - Dynamische Kommunikationssysteme (Transregios)
  - Verifikation von Verlässlichkeitseigenschaften (Transregios)

© 2024 DFG Kontakt / Impressum / Datenschutz