Concepedia

Maik Merten

MM

8

Publications

251

Citations

8

H-Index

2008

Active since

Affiliations

TU Dortmund University(Current)

University of Potsdam

Maik Merten is an author at TU Dortmund University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringSoftware Design

Publications per year

2008–2015

8

Publications

8

Dynamic testing via automata learning

Harald Raffelt, Maik Merten, Bernhard Steffen et al. · International Journal on Software Tools for Technology Transfer · 2009 · 99 citations

Engineering, Program Analysis, Automated Reasoning +9

Rigorous examination of reactive systems

Falk Howar, Malte Isberner, Maik Merten et al. · International Journal on Software Tools for Technology Transfer · 2014 · 44 citations

Rigorous Examination, Engineering, Formal Methods +3

Hybrid test of web applications with webtest

Harald Raffelt, Tiziana Margaria, Bernhard Steffen et al. · 2008 · 29 citations

Software Maintenance, Engineering, Software Engineering +20

From ZULU to RERS Lessons learned in the ZULU challenge

Falk Howar, Bernhard Steffen, Maik Merten · 2015 · 23 citations

Automata learning with automated alphabet abstraction refinement

Falk Howar, Bernhard Steffen, Maik Merten · Verification, Model Checking and Abstract Interpretation · 2011 · 18 citations

Artificial Intelligence, Symbolic Learning, Logical Automaton +9

Rows per page

1–5 of 8