Maik Merten

23 papers A 2B 2Journal 5Unranked 13
YearRankTypeTitle / Venue / Authors
2020 — conf
VITMaze - Die Java Coding-Challenge für Verwaltungsinformatiker.
DeLFI
Patrick Stalljohann, Maik Merten
2015 J jnl
A succinct canonical register automaton model.
J. Log. Algebraic Methods Program.
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2014 J jnl
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
Int. J. Softw. Tools Technol. Transf.
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2013 — —
Active automata learning for real life applications.
Maik Merten
2013 J jnl
Simplicity Driven Application Development.
J. Integr. Des. Process. Sci.
Maik Merten, Bernhard Steffen
2012 — conf
Automated Inference of Models for Black Box Systems Based on Interface Descriptions.
ISoLA (1)
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
2012 — conf
Automated Learning Setups in Automata Learning.
ISoLA (1)
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
2012 — conf
Automated continuous quality assurance.
FormSERA@ICSE
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
2012 A conf
Demonstrating Learning of Register Automata.
TACAS
Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
2012 — conf
LearnLib Tutorial: From Finite Automata to Register Interface Programs.
ISoLA (1)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
2012 J jnl
Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring.
ERCIM News
Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen
2012 — conf
Rehasport: The Challenge of Small Margin Healthcare Accounting.
ISoLA (Revised Selected Papers)
Markus Doedt, Thomas Göke, Jan Pardo, Maik Merten
2012 — conf
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
ISoLA (1)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
2011 B conf
A Succinct Canonical Register Automaton Model.
ATVA
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2011 B conf
Automata Learning with Automated Alphabet Abstraction Refinement.
VMCAI
Falk Howar, Bernhard Steffen, Maik Merten
2011 — conf
Automata Learning with On-the-Fly Direct Hypothesis Construction.
ISoLA Workshops
Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
2011 — conf
Introduction to Active Automata Learning from a Practical Perspective.
SFM
Bernhard Steffen, Falk Howar, Maik Merten
2011 A conf
Next Generation LearnLib.
TACAS
Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
2011 — conf
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.
ISoLA Workshops
Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
2010 — conf
From ZULU to RERS - Lessons Learned in the ZULU Challenge.
ISoLA (1)
Falk Howar, Bernhard Steffen, Maik Merten
2010 — conf
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective.
ISoLA (2)
Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
2009 J jnl
Dynamic testing via automata learning.
Int. J. Softw. Tools Technol. Transf.
Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria
2008 — conf
Hybrid test of web applications with webtest.
TAV-WEB
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten