Maik Merten

According to our database, Maik Merten authored at least 22 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

VITMaze - Die Java Coding-Challenge für Verwaltungsinformatiker.

Patrick Stalljohann, Maik Merten

Proceedings of the DELFI 2020, 2020

2015

A succinct canonical register automaton model.

Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen

J. Log. Algebraic Methods Program., 2015

2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu

Int. J. Softw. Tools Technol. Transf., 2014

2013

Active automata learning for real life applications.

Maik Merten

PhD thesis, 2013

Simplicity Driven Application Development.

Maik Merten, Bernhard Steffen

J. Integr. Des. Process. Sci., 2013

2012

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring.

Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen

ERCIM News, 2012

Demonstrating Learning of Register Automata.

Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automated Learning Setups in Automata Learning.

Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated Inference of Models for Black Box Systems Based on Interface Descriptions.

Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

LearnLib Tutorial: From Finite Automata to Register Interface Programs.

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Rehasport: The Challenge of Small Margin Healthcare Accounting.

Markus Doedt, Thomas Göke, Jan Pardo, Maik Merten

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2012

Automated continuous quality assurance.

Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

Automata Learning with Automated Alphabet Abstraction Refinement.

Falk Howar, Bernhard Steffen, Maik Merten

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Next Generation LearnLib.

Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Introduction to Active Automata Learning from a Practical Perspective.

Bernhard Steffen, Falk Howar, Maik Merten

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Automata Learning with On-the-Fly Direct Hypothesis Construction.

Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.

Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

2010

From ZULU to RERS - Lessons Learned in the ZULU Challenge.

Falk Howar, Bernhard Steffen, Maik Merten

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On Handling Data in Automata Learning - Considerations from the CONNECT Perspective.

Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Dynamic testing via automata learning.

Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria

Int. J. Softw. Tools Technol. Transf., 2009

2008

Hybrid test of web applications with webtest.

Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten

Proceedings of the 2008 Workshop on Testing, 2008