Hauptinhalt
Downloadable publications of Bernhard Steffen
2012
- 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.
2011
- 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.
2010
