Universität Konstanz
Fachbereich Informatik und Informationswissenschaft
Chair for Software and Systems Engineering
Address
Box 67
78457 Konstanz
Deutschland
GERiT
This institution in GERiT
78457 Konstanz
Projects
Research Grants
Current projects
SCADNet - Structural Causal Analysis of Deep Neural Networks
(Applicant
Leue, Stefan
)
Completed projects
Causal Reasoning in NetKAT
(Applicant
Caltais, Georgiana
)
Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems
(Applicant
Leue, Stefan
)
Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten.
(Applicant
Leue, Stefan
)
Research Training Groups
Completed projects
GRK 1042: Explorative Analysis and Visualisation of Large Information Spaces
(Spokesperson
Saupe, Dietmar
)
