Maik Merten
Maik Merten
Teacher, Federal University of Applied Administrative Sciences
Bestätigte E-Mail-Adresse bei tu-dortmund.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Introduction to active automata learning from a practical perspective
B Steffen, F Howar, M Merten
International School on Formal Methods for the Design of Computer …, 2011
1222011
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
International Conference on Tools and Algorithms for the Construction and …, 2011
872011
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
International Workshop on Verification, Model Checking, and Abstract …, 2011
802011
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11 (4), 307, 2009
782009
From zulu to rers
F Howar, B Steffen, M Merten
International Symposium On Leveraging Applications of Formal Methods …, 2010
462010
A succinct canonical register automaton model
S Cassel, F Howar, B Jonsson, M Merten, B Steffen
International Symposium on Automated Technology for Verification and …, 2011
392011
The RERS grey-box challenge 2012: analysis of event-condition-action systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer
International Symposium On Leveraging Applications of Formal Methods …, 2012
382012
Rigorous examination of reactive systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer, CS Păsăreanu
International Journal on Software Tools for Technology Transfer 16 (5), 457-464, 2014
312014
Hybrid test of web applications with webtest
H Raffelt, T Margaria, B Steffen, M Merten
Proceedings of the 2008 workshop on Testing, analysis, and verification of …, 2008
312008
On handling data in automata learning
F Howar, B Jonsson, M Merten, B Steffen, S Cassel
International Symposium On Leveraging Applications of Formal Methods …, 2010
262010
Never-stop learning: Continuous validation of learned models for evolving systems through monitoring
A Bertolino, A Calabrò, M Merten, B Steffen
202012
Demonstrating learning of register automata
M Merten, F Howar, B Steffen, S Cassel, B Jonsson
International Conference on Tools and Algorithms for the Construction and …, 2012
182012
A succinct canonical register automaton model
S Cassel, F Howar, B Jonsson, M Merten, B Steffen
Journal of Logical and Algebraic Methods in Programming 84 (1), 54-66, 2015
172015
Automated inference of models for black box systems based on interface descriptions
M Merten, F Howar, B Steffen, P Pellicione, M Tivoli
International Symposium On Leveraging Applications of Formal Methods …, 2012
162012
Automata learning with on-the-fly direct hypothesis construction
M Merten, F Howar, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2011
142011
The teachers’ crowd: the impact of distributed oracles on active automata learning
F Howar, O Bauer, M Merten, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2011
132011
Automated learning setups in automata learning
M Merten, M Isberner, F Howar, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2012
112012
LearnLib tutorial: from finite automata to register interface programs
F Howar, M Isberner, M Merten, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2012
112012
Automated continuous quality assurance
J Neubauer, B Steffen, O Bauer, S Windmüller, M Merten, T Margaria, ...
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
112012
Simplicity Driven Application Development
M Merten, B Steffen
Journal of Integrated Design and Process Science, 2013
92013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20