Maik Merten

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Venues

ISoLA (1)

J. Log. Algebraic Methods Program.

J. Integr. Des. Process. Sci.

TACAS

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Patrick Stalljohann, Maik Merten
VITMaze - Die Java Coding-Challenge für Verwaltungsinformatiker. DeLFI (2020)
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
A succinct canonical register automaton model. J. Log. Algebraic Methods Program. 84 (1) (2015)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Maik Merten, Bernhard Steffen
Simplicity Driven Application Development. J. Integr. Des. Process. Sci. 17 (3) (2013)
Markus Doedt, Thomas Göke, Jan Pardo, Maik Merten
Rehasport: The Challenge of Small Margin Healthcare Accounting. ISoLA (Revised Selected Papers) (2012)
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)
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
Automated Learning Setups in Automata Learning. ISoLA (1) (2012)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) (2012)
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)
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
Automated continuous quality assurance. FormSERA@ICSE (2012)
Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
Demonstrating Learning of Register Automata. TACAS (2012)
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)
Bernhard Steffen, Falk Howar, Maik Merten
Introduction to Active Automata Learning from a Practical Perspective. SFM (2011)
Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
Next Generation LearnLib. TACAS (2011)
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
A Succinct Canonical Register Automaton Model. ATVA (2011)
Falk Howar, Bernhard Steffen, Maik Merten
Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI (2011)
Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops (2011)
Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops (2011)
Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. ISoLA (2) (2010)
Falk Howar, Bernhard Steffen, Maik Merten
From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) (2010)
Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria
Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
Hybrid test of web applications with webtest. TAV-WEB (2008)

Maik Merten.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maik Merten