Sprungmarken
zum Hauptinhalt
zum Nebeninhalt
zur Hauptnavigation
zur Bereichsnavigation
zur Servicenavigation
Servicenavigation
English
Sitemap
Suche >
Direkt zu
Mitarbeiter
Lehrveranstaltungen
Hauptnavigation
Home
Lehre
Forschung
Projekte
Mitarbeiter
Kontakt
Sie sind hier:
TU Dortmund
>
Fakultät für Informatik
>
Lehrstuhl 5 für Programmiersysteme
>
Downloadable publications of Bernhard Steffen
Bereichsnavigation
Extra
+
PG AgES
PG: HeISs
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
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.
Anmerkungen bitte per Mail an sekr at ls5.cs.tu-dortmund.de
Seite bearbeiten
Zuletzt geändert am 13.04.2022 13:13
Barrierefreiheit
Datenschutz
Impressum