| 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 | 225 | 2011 |
| Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten International Workshop on Verification, Model Checking, and Abstract …, 2011 | 111 | 2011 |
| Dynamic testing via automata learning H Raffelt, M Merten, B Steffen, T Margaria International journal on software tools for technology transfer 11 (4), 307-324, 2009 | 104 | 2009 |
| Next generation learnlib M Merten, B Steffen, F Howar, T Margaria International Conference on Tools and Algorithms for the Construction and …, 2011 | 98 | 2011 |
| 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 | 50 | 2012 |
| From zulu to rers: Lessons learned in the zulu challenge F Howar, B Steffen, M Merten International Symposium On Leveraging Applications of Formal Methods …, 2010 | 49 | 2010 |
| 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 (5), 457-464, 2014 | 47 | 2014 |
| 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 | 45 | 2011 |
| 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 | 41 | 2008 |
| Active automata learning for real life applications M Merten | 31 | 2013 |
| On Handling Data in Automata Learning: Considerations from the CONNECT Perspective F Howar, B Jonsson, M Merten, B Steffen, S Cassel International Symposium On Leveraging Applications of Formal Methods …, 2010 | 31 | 2010 |
| 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 | 30 | 2015 |
| 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), 28-29, 2012 | 28 | 2012 |
| 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 | 27 | 2011 |
| 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 | 21 | 2012 |
| 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 | 20 | 2012 |
| From ZULU to RERS-Lessons learned in the ZULU challenge BS Falk Howar, M Merten ISoLA (1) 6415, 687-704, 2010 | 20 | 2010 |
| 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 | 19 | 2012 |
| 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 | 16 | 2011 |
| Simplicity Driven Application Development M Merten, B Steffen Journal of Integrated Design and Process Science, 2013 | 15 | 2013 |
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
