| The TTT algorithm: a redundancy-free approach to active automata learning M Isberner, F Howar, B Steffen Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 268 | 2014 |
| The open-source learnLib: a framework for active automata learning M Isberner, F Howar, B Steffen Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 241 | 2015 |
| JDart: A Dynamic Symbolic Analysis Framework K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ... Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 110 | 2016 |
| Learning register automata: from languages to program structures M Isberner, F Howar, B Steffen Machine Learning 96, 65-98, 2014 | 77 | 2014 |
| Foundations of active automata learning: an algorithmic perspective M Isberner | 71 | 2015 |
| 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 | 49 | 2012 |
| 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 | 45 | 2014 |
| Inferring semantic interfaces of data structures F Howar, M Isberner, B Steffen, O Bauer, B Jonsson Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 45 | 2012 |
| Property-driven benchmark generation: synthesizing programs of realistic structure B Steffen, M Isberner, S Naujokat, T Margaria, M Geske International Journal on Software Tools for Technology Transfer 16, 465-479, 2014 | 41 | 2014 |
| Domain-specific code generator modeling: a case study for multi-faceted concurrent systems S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 31 | 2014 |
| Inferring automata with state-local alphabet abstractions M Isberner, F Howar, B Steffen NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 29 | 2013 |
| Synthesizing semantic web service compositions with jMosel and Golog T Margaria, D Meyer, C Kubczak, M Isberner, B Steffen The Semantic Web-ISWC 2009: 8th International Semantic Web Conference, ISWC …, 2009 | 27 | 2009 |
| ALEX: mixed-mode learning of web applications at ease A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 25 | 2016 |
| Automated mediator synthesis: Combining behavioural and ontological reasoning A Bennaceur, C Chilton, M Isberner, B Jonsson Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013 | 22 | 2013 |
| Machine learning for emergent middleware A Bennaceur, V Issarny, D Sykes, F Howar, M Isberner, B Steffen, ... Trustworthy Eternal Systems via Evolving Software, Data and Knowledge …, 2013 | 22 | 2013 |
| Active automata learning: from DFAs to interface programs and beyond B Steffen, F Howar, M Isberner International Conference on Grammatical Inference, 195-209, 2012 | 21 | 2012 |
| An abstract framework for counterexample analysis in active automata learning M Isberner, B Steffen International Conference on Grammatical Inference, 79-93, 2014 | 20 | 2014 |
| 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 |
| Taming test inputs for separation assurance D Giannakopoulou, F Howar, M Isberner, T Lauderdale, Z Rakamarić, ... Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 18 | 2014 |
| Tailored generation of concurrent benchmarks B Steffen, F Howar, M Isberner, S Naujokat, T Margaria International Journal on Software Tools for Technology Transfer 16, 543-558, 2014 | 16 | 2014 |
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
