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
1762011
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
Verification, Model Checking, and Abstract Interpretation: 12thá…, 2011
1022011
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 17thá…, 2011
922011
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
922009
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
462012
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
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
452011
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
402014
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
372008
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
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
262012
Active automata learning for real life applications
M Merten
252013
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
232015
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
202011
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
192012
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
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
182012
From ZULU to RERS-Lessons learned in the ZULU challenge
BS Falk Howar, M Merten
ISoLA (1) 6415, 687-704, 2010
182010
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
142011
Simplicity Driven Application Development
M Merten, B Steffen
Journal of Integrated Design and Process Science, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20