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

Detailseite

Institution

Druckansicht

Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Algebraische und logische Grundlagen der Informatik

Adresse 01062 Dresden
Deutschland

GERiT Diese Institution in GERiT

01062 Dresden

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Computerunterstützte Verifikation mit abstrakten Modellen
    (Antragstellerin Baier, Christel )
  - Modellprüfung für temporale Logiken und gewichtete probabilistische Strukturen
    (Antragstellerin Baier, Christel )
  - Nicht-Mehrdeutigkeit, Alternierung und Nichtstandardakzeptanz in automatenbasierter Modellprüfung probabilistischer Systeme
    (Antragstellerin Baier, Christel )
  - Reduktionsmethoden zur Verifikation omega-regulärer und temporallogischer Eigenschaften für kommunizierende probabilistische Prozesse
    (Antragstellerin Baier, Christel )
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
    (Antragstellerinnen / Antragsteller Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )
  - Synthesis and Analysis of Component Connectors (SYANCO)
    (Antragstellerin Baier, Christel )
  - Validation of Stochastic Systems 2
    (Antragstellerin Baier, Christel )
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen
    (Antragstellerinnen / Antragsteller Baier, Christel ; Härtig, Hermann ; Tews, Hendrik )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Formale Methoden für die quantitative Analyse und Optimierung von Energiemodellen
    (Teilprojektleiterin Baier, Christel )
Transregios
- laufende Projekte
  - Dynamische, Hybride und Probabilistische Systeme: Verifikation & Erklärung
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Majumdar, Rupak ; Ouaknine, Joël )
  - Interaktive Exploration visueller Modelle
    (Teilprojektleiterinnen / Teilprojektleiter Baader, Franz ; Baier, Christel ; Dachselt, Raimund )
  - Komposition und Abstraktion mit Erklärungen
    (Teilprojektleiterinnen / Teilprojektleiter Apel, Sven ; Baier, Christel ; Gaggl, Sarah Alice ; Hermanns, Holger )
- abgeschlossene Projekte
  - Analyse und Erklärung dynamischer und hybrider Systeme
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Ouaknine, Joël )
  - Probabilistische Kausalität und Erklärungen
    (Teilprojektleiterinnen / Teilprojektleiter Baier, Christel ; Finkbeiner, Bernd ; Majumdar, Rupak )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1763: Quantitative Logiken und Automaten
    (Sprecher Baader, Franz )
  - GRK 1907: RoSI: Rollenbasierte Software-Infrastrukturen für durchgängig-kontextsensitive Systeme
    (Sprecher Lehner, Wolfgang )
Exzellenzcluster (ExStra)
- laufende Projekte
  - EXC 2050: Centre for Tactile Internet with Human-in-the-Loop (CeTI)
    (Sprecherinnen / Sprecher Fitzek, Frank Hanns Paul ; Li, Ph.D., Shu-Chen ; Strufe, Thorsten )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 1056: Zentrum für Perspektiven in der Elektronik Dresden
    (Sprecher Fettweis, Gerhard P. )

© 2024 DFG Kontakt / Impressum / Datenschutz