Professor Dr. Bernhard Steffen

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

Projects

As Applicant
- Current projects
  - StdLearnLib: Towards a Standard Library for Automata Learning (Research Grants)
- Completed projects
  - Externe zielgerichtete Suche in impliziten Graphen (Priority Programmes)
  - LearnLib2: Ein skalierbares Framework zur beobachtungsbasierten Extrapolation von Verhaltensmodellen (Research Grants)
  - Constraint-Based Operational Consistency of Evolving Software Systems (COCoS) (Research Grants)