Sie sind hier:

Bereichsnavigation

Hauptinhalt

A. Bertolino, A. Calabrò, M. Merten, B. Steffen: Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. In: ERCIM News 2012, Vol. 88, 2012.
F. Howar, M. Isberner, B. Steffen, O. Bauer, B. Jonsson: Inferring Semantic Interfaces of Data Structures. In: ISoLA (1) 2012, LNCS 7609, pp. 554-571, Springer-Verlag, 2012.
F. Howar, M. Isberner, M. Merten, B. Steffen: LearnLib Tutorial: From Finite Automata to Register Interface Programs. In: ISoLA (1) 2012, LNCS 7609, pp. 587-590, Springer-Verlag, 2012.
M. Merten, M. Isberner, B. Steffen, T. Margaria: Automated Learning Setups in Automata Learning. In: ISoLA (1) 2012, LNCS 7609, pp. 591-607, Springer-Verlag, 2012.
B. Steffen, F. Howar, M. Isberner: Active Automata Learning: From DFAs to Interface Programs and Beyond. In: JMLR W&CP Vol. 21, pp. 195-209, 2012.

B. Steffen, F. Howar, M. Merten: Introduction to Automata Learning from a Practical Perspective. In: SFM 2011, LNCS 6659, pp. 256-296, Springer-Verlag, 2011.
F. Howar, B. Steffen, M. Merten: Automata Learning with Automated Alphabet Abstraction Refinement. In: VMCAI 2011, LNCS 6538, pp. 263-277, Springer-Verlag, 2011.

F. Howar, B. Steffen, M. Merten: From ZULU to RERS - Lessons Learned in the ZULU Challenge. In: ISoLA (1) 2010, LNCS 6415, pp. 687-704, Springer-Verlag, 2010.