| Introduction to Active Automata Learning from a Practical Perspective. B Steffen, F Howar, M Merten SFM 11, 256-296, 2011 | 167 | 2011 |
| Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 98 | 2011 |
| Next generation learnlib M Merten, B Steffen, F Howar, T Margaria Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 92 | 2011 |
| 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 | 88 | 2009 |
| 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 | 48 | 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 | 45 | 2010 |
| A succinct canonical register automaton model S Cassel, F Howar, B Jonsson, M Merten, B Steffen Automated Technology for Verification and Analysis: 9th International …, 2011 | 44 | 2011 |
| 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 | 38 | 2014 |
| 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 | 37 | 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 | 29 | 2010 |
| 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 | 25 | 2012 |
| Active automata learning for real life applications M Merten | 24 | 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 | 23 | 2015 |
| 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 | 19 | 2012 |
| Automata learning with on-the-fly direct hypothesis construction M Merten, F Howar, B Steffen, T Margaria Leveraging Applications of Formal Methods, Verification, and Validation, 248-260, 2012 | 18 | 2012 |
| Automated inference of models for black box systems based on interface descriptions M Merten, F Howar, B Steffen, P Pellicione, M Tivoli Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 18 | 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 | 18 | 2012 |
| From ZULU to RERS-lessons learned in the ZULU challenge BS Falk Howar, M Merten ISoLA (1) 6415, 687-704, 2010 | 16 | 2010 |
| 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 | 13 | 2012 |
| The teachers’ crowd: the impact of distributed oracles on active automata learning F Howar, O Bauer, M Merten, B Steffen, T Margaria Leveraging Applications of Formal Methods, Verification, and Validation …, 2012 | 13 | 2012 |
Bernhard SteffenProfessor für Informatik, TU DortmundZweryfikowany adres z cs.uni-dortmund.de
