Professor Dr. Bernhard Steffen

Adresse Technische Universität Dortmund
Fakultät für Informatik
Informatik V - Lehrstuhl Programmiersysteme
Otto-Hahn-Straße 14
44227 Dortmund

Projekte

Als Antragsteller
- laufende Projekte
  - StdLearnLib: Auf dem Weg zu einer Standardbibliothek für Automatenlernen (Sachbeihilfen)
- abgeschlossene Projekte
  - Externe zielgerichtete Suche in impliziten Graphen (Schwerpunktprogramme)
  - LearnLib2: Ein skalierbares Framework zur beobachtungsbasierten Extrapolation von Verhaltensmodellen (Sachbeihilfen)
  - Constraint-Basierte operationelle Konsistenz evolvierender Software Systeme (Sachbeihilfen)