Maik Merten - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2020

VITMaze - Die Java Coding-Challenge für VerwaltungsinformatikerPatrick Stalljohann, Maik Merten. delfi 2020: 229-234 [doi]

2015

A succinct canonical register automaton modelSofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen. jlp, 84(1):54-66, 2015. [doi]

2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu. STTT, 16(5):457-464, 2014. [doi]

2013

Active automata learning for real life applicationsMaik Merten. PhD thesis, Dortmund University of Technology, 2013. [doi]

Simplicity Driven Application DevelopmentMaik Merten, Bernhard Steffen. jid, 17(3):9-23, 2013. [doi]

2012

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through MonitoringAntonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen. ercim, 2012(88), 2012. [doi]

Rehasport: The Challenge of Small Margin Healthcare AccountingMarkus Doedt, Thomas Göke, Jan Pardo, Maik Merten. ISoLA 2016: 3-18 [doi]

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action SystemsFalk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer. ISoLA 2012: 608-614 [doi]

LearnLib Tutorial: From Finite Automata to Register Interface ProgramsFalk Howar, Malte Isberner, Maik Merten, Bernhard Steffen. ISoLA 2012: 587-590 [doi]

Demonstrating Learning of Register AutomataMaik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson. TACAS 2012: 466-471 [doi]

Automated Learning Setups in Automata LearningMaik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria. ISoLA 2012: 591-607 [doi]

Automated Inference of Models for Black Box Systems Based on Interface DescriptionsMaik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli. ISoLA 2012: 79-96 [doi]

Automated continuous quality assuranceJohannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar. ICSE 2012: 37-43 [doi]

2011

A Succinct Canonical Register Automaton ModelSofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen. ATVA 2011: 366-380 [doi]

Automata Learning with Automated Alphabet Abstraction RefinementFalk Howar, Bernhard Steffen, Maik Merten. vmcai 2011: 263-277 [doi]

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata LearningFalk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria. ISoLA 2012: 232-247 [doi]

Automata Learning with On-the-Fly Direct Hypothesis ConstructionMaik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria. ISoLA 2012: 248-260 [doi]

Next Generation LearnLibMaik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria. TACAS 2011: 220-223 [doi]

Introduction to Active Automata Learning from a Practical PerspectiveBernhard Steffen, Falk Howar, Maik Merten. sfm 2011: 256-296 [doi]

2010

From ZULU to RERS - Lessons Learned in the ZULU ChallengeFalk Howar, Bernhard Steffen, Maik Merten. ISoLA 2010: 687-704 [doi]

On Handling Data in Automata Learning - Considerations from the CONNECT PerspectiveFalk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel. ISoLA 2010: 221-235 [doi]

2009

Dynamic testing via automata learningHarald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria. STTT, 11(4):307-324, 2009. [doi]

2008

Hybrid test of web applications with webtestHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten. ISSTA 2008: 1-7 [doi]

Sign in or sign up to see more results.

runs on WebDSL