Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Stefan Leue

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

ORCID-ID 0000-0002-4259-624X

Projekte

Als Antragsteller
- laufende Projekte
  - SCADNet - Strukturelle kausale Analyse von tiefen neuronalen Netzen (Sachbeihilfen)
- abgeschlossene Projekte
  - Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems (Sachbeihilfen)
  - Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten. (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1042: Explorative Analyse und Visualisierung großer Datenräume (Graduiertenkollegs)
Als Kooperationspartner
- abgeschlossene Projekte
  - Kausale Beweisführung in NetKAT (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz