Maik Merten Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Antonia 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)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli: Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) 2012: 79-96
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen: LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) 2012: 587-590
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria: Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer: The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) 2012: 608-614
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson: Demonstrating Learning of Register Automata. TACAS 2012: 466-471
2011
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen: A Succinct Canonical Register Automaton Model. ATVA 2011: 366-380
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Steffen, Falk Howar, Maik Merten: Introduction to Active Automata Learning from a Practical Perspective. SFM 2011: 256-296
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria: Next Generation LearnLib. TACAS 2011: 220-223
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Falk Howar, Bernhard Steffen, Maik Merten: Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI 2011: 263-277
2010
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Falk 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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Falk Howar, Bernhard Steffen, Maik Merten: From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) 2010: 687-704
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria: Dynamic testing via automata learning. STTT 11(4): 307-324 (2009)
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7

Coauthor Index

1Antonia Bertolino
[j2]
2Dirk Beyer
[c9]
3Antonello Calabrò
[j2]
4Sofia Cassel
[c8] [c7] [c3]
5Falk Howar
[c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
6Malte Isberner
[c11] [c10] [c9]
7Bengt Jonsson
[c8] [c7] [c3]
8Tiziana Margaria (Tiziana Margaria-Steffen)
[c10] [c5] [j1] [c1]
9Patrizio Pelliccione
[c12]
10Harald Raffelt
[j1] [c1]
11Bernhard Steffen
[j2] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [j1] [c1]
12Massimo Tivoli
[c12]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 10:44:03 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page