Project Details
Person
Professorin Dr. Christel Baier
Address
Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Algebraische und logische Grundlagen der Informatik
01062 Dresden
-
As Applicant
-
Completed projects
-
Validation of Stochastic Systems 2 (Research Grants) -
Computerunterstützte Verifikation mit abstrakten Modellen (Research Grants)
-
Synthesis and Analysis of Component Connectors (SYANCO) (Research Grants)
-
Temporal Logics and Probabilistic Model Checking for Weighted Structures (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Current projects
-
EXC 2050: Centre for Tactile Internet with Human-in-the-Loop (CeTI) (Clusters of Excellence (ExStra))
-
-
Completed projects
-
GRK 1763: Quantitative Logics and Automata (Research Training Groups)
-
EXC 1056: Center for Advancing Electronics Dresden (cfAED) (Clusters of Excellence)
-
GRK 1907: RoSI: Role-based Software-Infrastructures for Continuous-Context-Sensitive Systems (Research Training Groups)
-
-
Current projects
-
As Project Head
-
Current projects
-
Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication (CRC/Transregios)
-
Composition and Abstraction with Explications (CRC/Transregios)
-
Interactive Exploration of Visual Models (CRC/Transregios)
-
-
Completed projects
-
Analysing and Explicating Dynamical and Hybrid Systems (CRC/Transregios)
-
Probabilistic Causality and Explications (CRC/Transregios)
-
Formal Methods for Quantitative Analysis and Optimization of Energy Models (Collaborative Research Centres)
-
-
Current projects
