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

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

GERiT This institution in GERiT

44227 Dortmund

Projects

Research Grants
- Current projects
  - StdLearnLib: Towards a Standard Library for Automata Learning
    (Applicants Howar, Falk ; Steffen, Bernhard )
- Completed projects
  - Constraint-Based Operational Consistency of Evolving Software Systems (COCoS)
    (Applicants Hähnle, Reiner ; Steffen, Bernhard )
  - LearnLib2: Ein skalierbares Framework zur beobachtungsbasierten Extrapolation von Verhaltensmodellen
    (Applicant Steffen, Bernhard )
WBP Position
- Current projects
  - Systematic Quality Assessment of Static Call-Graph Analyses
    (Applicant Helm, Dominik )
Priority Programmes
- Completed projects
  - Externe zielgerichtete Suche in impliziten Graphen
    (Applicant Steffen, Bernhard )