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

Introduction to Active Automata Learning from a Practical Perspective. In: SFM, Springer LNCS Bd. 6659, S. 256– 296 (2011)
Bernhard Steﬀen, 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 Steﬀen
(See online at https://doi.org/10.1007/s10994-013-5419-7)
A succinct canonical register automaton model. In: Journal of Logic and Algebraic Methods in Programming, Bd. 84, Nr. 1, S. 54–66 (2015)
Soﬁa Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steﬀen
(See online at https://doi.org/10.1016/j.jlamp.2014.07.004)
Foundations of Active Automata Learning: An Algorithmic Perspective. Dissertation, TU Dortmund (2015)
Malte Isberner