| 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 | 205 | 2011 |
| Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 108 | 2011 |
| Next generation learnlib M Merten, B Steffen, F Howar, T Margaria Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 98 | 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 | 96 | 2009 |
| 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 | 49 | 2012 |
| 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 | 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 | 45 | 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 | 40 | 2008 |
| 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 | 31 | 2010 |
| Active automata learning for real life applications M Merten | 30 | 2013 |
| 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 | 29 | 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 | 27 | 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 | 23 | 2011 |
| 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 | 21 | 2012 |
| 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 |
| 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 | 19 | 2012 |
| From ZULU to RERS-Lessons learned in the ZULU challenge BS Falk Howar, M Merten ISoLA (1) 6415, 687-704, 2010 | 19 | 2010 |
| Simplicity Driven Application Development M Merten, B Steffen Journal of Integrated Design and Process Science, 2013 | 15 | 2013 |
| 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 | 15 | 2012 |
Bernhard SteffenProfessor für Informatik, TU DortmundПотвърден имейл адрес: cs.uni-dortmund.de