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

Detailseite

Institution

Druckansicht

Technische Universität Dortmund
Fakultät für Informatik
Informatik V - Lehrstuhl Programmiersysteme

Adresse Otto-Hahn-Straße 14
44227 Dortmund
Deutschland

GERiT Diese Institution in GERiT

44227 Dortmund

Projekte

Sachbeihilfen
- laufende Projekte
  - StdLearnLib: Auf dem Weg zu einer Standardbibliothek für Automatenlernen
    (Antragsteller Howar, Falk ; Steffen, Bernhard )
- abgeschlossene Projekte
  - Constraint-Basierte operationelle Konsistenz evolvierender Software Systeme
    (Antragsteller Hähnle, Reiner ; Steffen, Bernhard )
  - LearnLib2: Ein skalierbares Framework zur beobachtungsbasierten Extrapolation von Verhaltensmodellen
    (Antragsteller Steffen, Bernhard )
WBP Stelle
- laufende Projekte
  - Systematische Qualitätsbewertung von statischen Call-Graph-Analysen
    (Antragsteller Helm, Dominik )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Externe zielgerichtete Suche in impliziten Graphen
    (Antragsteller Steffen, Bernhard )

© 2024 DFG Kontakt / Impressum / Datenschutz