dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maik Merten (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen: Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. ERCIM News 2012(88): (2012)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen: A Succinct Canonical Register Automaton Model. ATVA 2011: 366-380
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Falk Howar, Maik Merten: Introduction to Active Automata Learning from a Practical Perspective. SFM 2011: 256-296
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria: Next Generation LearnLib. TACAS 2011: 220-223
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Howar, Bernhard Steffen, Maik Merten: Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI 2011: 263-277
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Howar, Bernhard Steffen, Maik Merten: From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) 2010: 687-704
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel: On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. ISoLA (2) 2010: 221-235
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria: Dynamic testing via automata learning. STTT 11(4): 307-324 (2009)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7

Selection of 9 from 9 records - Maik Merten has 8 coauthors

Last update 2012-02-17 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page