LearnLib2: Ein skalierbares Framework zur beobachtungsbasierten Extrapolation von Verhaltensmodellen

• Applicant: Professor Dr. Bernhard Steffen
• Subject Area: Software Engineering and Programming Languages
• Term: from 2003 to 2013
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5393360

• Final Report Year: 2016

Final Report Abstract

No abstract available

Publications

• 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)
  Malte Isberner, Falk Howar, Bernhard Steffen
  
• A succinct canonical register automaton model. In: Journal of Logic and Algebraic Methods in Programming, Bd. 84, Nr. 1, S. 54–66 (2015)
  Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
  
• Foundations of Active Automata Learning: An Algorithmic Perspective. Dissertation, TU Dortmund (2015)
  Malte Isberner