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

Detailseite

Institution

Druckansicht

Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik

Adresse Nöthnitzer Straße 46
01187 Dresden
Deutschland

GERiT Diese Institution in GERiT

01187 Dresden

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns
    (Antragsteller Hohmuth, Michael )
  - Koalgebraische Softwareverifikation
    (Antragsteller Reichel, Horst )
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
    (Antragstellerinnen / Antragsteller Baier, Christel ; Härtig, Hermann ; Tews, Hendrik )
Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken (DIAMOND)
    (Antragsteller Krötzsch, Markus )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Hochleistungs-Pipeline zur Wissensverarbeitung
    (Teilprojektleiter Krötzsch, Markus )
Transregios
- laufende Projekte
  - Beschreibungslogische Erklärungen
    (Teilprojektleiter Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
  - Verteiltes Wissen und Informationsfluss
    (Teilprojektleiterinnen / Teilprojektleiter Dachselt, Raimund ; Finkbeiner, Bernd ; Krötzsch, Markus ; Schmuck, Anne-Kathrin )
  - Wissensbasierte Inspektion
    (Teilprojektleiterinnen / Teilprojektleiter Apel, Sven ; Dachselt, Raimund ; Gaggl, Sarah Alice ; Krötzsch, Markus ; Krüger, Antonio )
- abgeschlossene Projekte
  - Logik-basierte, verständliche Supervision zur Laufzeit
    (Teilprojektleiter Fetzer, Christof ; Krötzsch, Markus ; Weidenbach, Christoph )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 191: Werkzeuge zum effektiven Einsatz paralleler und verteilter Rechnersysteme
    (Sprecher Kabitzsch, Klaus )
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken
    (Sprecher Vogler, Heiko )

© 2024 DFG Kontakt / Impressum / Datenschutz