Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Stefan Leue

Address Universität Konstanz
Fachbereich Informatik und Informationswissenschaft
Chair for Software and Systems Engineering
Box 67
78457 Konstanz

ORCID-ID 0000-0002-4259-624X

Projects

As Applicant
- Current projects
  - SCADNet - Structural Causal Analysis of Deep Neural Networks (Research Grants)
- Completed projects
  - Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems (Research Grants)
  - Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten. (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 1042: Explorative Analysis and Visualisation of Large Information Spaces (Research Training Groups)
As Cooperation Partner
- Completed projects
  - Causal Reasoning in NetKAT (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy