Universität Konstanz
Fachbereich Informatik und Informationswissenschaft
Chair for Software and Systems Engineering
Adresse
Box 67
78457 Konstanz
Deutschland
GERiT
Diese Institution in GERiT
78457 Konstanz
Projekte
Sachbeihilfen
laufende Projekte
SCADNet - Strukturelle kausale Analyse von tiefen neuronalen Netzen
(Antragsteller
Leue, Stefan
)
abgeschlossene Projekte
Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems
(Antragsteller
Leue, Stefan
)
Kausale Beweisführung in NetKAT
(Antragstellerin
Caltais, Georgiana
)
Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten.
(Antragsteller
Leue, Stefan
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 1042: Explorative Analyse und Visualisierung großer Datenräume
(Sprecher
Saupe, Dietmar
)
