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
)
