LearnLib2: Ein skalierbares Framework zur beobachtungsbasierten Extrapolation von Verhaltensmodellen

Keine Zusammenfassung vorhanden

Projektbezogene Publikationen (Auswahl)

• Introduction to Active Automata Learning from a Practical Perspective. In: SFM, Springer LNCS Bd. 6659, S. 256– 296 (2011)
  Bernhard Steffen, Falk Howar, Maik Merten
  
• Active learning of interface programs. Dissertation, TU Dortmund (2012)
  Falk Howar
  
• Active automata learning for real-life applications. Dissertation, TU Dortmund (2013)
  Maik Merten
  
• Learning register automata: from languages to program structures. In: Machine Learning, Bd. 96, Nr. 1–2, S. 65–98 (2014)
  Isberner, Malte; Howar, Falk & Steffen, Bernhard
  
• A succinct canonical register automaton model. In: Journal of Logic and Algebraic Methods in Programming, Bd. 84, Nr. 1, S. 54–66 (2015)
  Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Merten, Maik & Steffen, Bernhard
  
• Foundations of Active Automata Learning: An Algorithmic Perspective. Dissertation, TU Dortmund (2015)
  Malte Isberner