Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
