Follow
Maik Merten
Maik Merten
Teacher, Federal University of Applied Administrative Sciences
Verified email at tu-dortmund.de - Homepage
Title
Cited by
Cited by
Year
Introduction to active automata learning from a practical perspective
B Steffen, F Howar, M Merten
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
1962011
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
1032011
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
952011
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11, 307-324, 2009
952009
The RERS grey-box challenge 2012: Analysis of event-condition-action systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
492012
From zulu to rers: Lessons learned in the zulu challenge
F Howar, B Steffen, M Merten
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
472010
Rigorous examination of reactive systems: The RERS challenges 2012 and 2013
F Howar, M Isberner, M Merten, B Steffen, D Beyer, CS Păsăreanu
International Journal on Software Tools for Technology Transfer 16, 457-464, 2014
452014
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
452011
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
382008
On Handling Data in Automata Learning: Considerations from the CONNECT Perspective
F Howar, B Jonsson, M Merten, B Steffen, S Cassel
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
302010
Active automata learning for real life applications
M Merten
292013
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
282015
Never-stop learning: Continuous validation of learned models for evolving systems through monitoring
A Bertolino, A Calabrò, M Merten, B Steffen
ERCIM News 2012 (88), 2012
272012
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
232011
Demonstrating learning of register automata
M Merten, F Howar, B Steffen, S Cassel, B Jonsson
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
212012
Automated learning setups in automata learning
M Merten, M Isberner, F Howar, B Steffen, T Margaria
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
192012
From ZULU to RERS-Lessons learned in the ZULU challenge
BS Falk Howar, M Merten
ISoLA (1) 6415, 687-704, 2010
192010
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
182012
Simplicity Driven Application Development
M Merten, B Steffen
Journal of Integrated Design and Process Science, 2013
142013
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
142012
The system can't perform the operation now. Try again later.
Articles 1–20