| The TTT algorithm: a redundancy-free approach to active automata learning M Isberner, F Howar, B Steffen International Conference on Runtime Verification, 307-322, 2014 | 151 | 2014 |
| The open-source LearnLib M Isberner, F Howar, B Steffen International Conference on Computer Aided Verification, 487-495, 2015 | 142 | 2015 |
| JDart: A Dynamic Symbolic Analysis Framework K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ... International Conference on Tools and Algorithms for the Construction and …, 2016 | 70 | 2016 |
| Learning register automata: from languages to program structures M Isberner, F Howar, B Steffen Machine Learning 96 (1), 65-98, 2014 | 66 | 2014 |
| 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 | 47 | 2012 |
| Foundations of active automata learning: an algorithmic perspective M Isberner | 44 | 2015 |
| Inferring semantic interfaces of data structures F Howar, M Isberner, B Steffen, O Bauer, B Jonsson International Symposium On Leveraging Applications of Formal Methods …, 2012 | 42 | 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 (5), 465-479, 2014 | 38 | 2014 |
| Rigorous examination of reactive systems 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 | 36 | 2014 |
| Inferring automata with state-local alphabet abstractions M Isberner, F Howar, B Steffen NASA Formal Methods Symposium, 124-138, 2013 | 25 | 2013 |
| Domain-specific code generator modeling: a case study for multi-faceted concurrent systems S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay International Symposium On Leveraging Applications of Formal Methods …, 2014 | 22 | 2014 |
| Automated mediator synthesis: Combining behavioural and ontological reasoning A Bennaceur, C Chilton, M Isberner, B Jonsson International Conference on Software Engineering and Formal Methods, 274-288, 2013 | 22 | 2013 |
| Machine learning for emergent middleware A Bennaceur, V Issarny, D Sykes, F Howar, M Isberner, B Steffen, ... International Workshop on Eternal Systems, 16-29, 2012 | 21 | 2012 |
| Active automata learning: from DFAs to interface programs and beyond B Steffen, F Howar, M Isberner International Conference on Grammatical Inference, 195-209, 2012 | 19 | 2012 |
| Synthesizing semantic web service compositions with jMosel and Golog T Margaria, D Meyer, C Kubczak, M Isberner, B Steffen International Semantic Web Conference, 392-407, 2009 | 19 | 2009 |
| 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 | 17 | 2014 |
| ALEX: mixed-mode learning of web applications at ease A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen International Symposium on Leveraging Applications of Formal Methods, 655-671, 2016 | 16 | 2016 |
| An abstract framework for counterexample analysis in active automata learning M Isberner, B Steffen International Conference on Grammatical Inference, 79-93, 2014 | 15 | 2014 |
| Property-driven benchmark generation B Steffen, M Isberner, S Naujokat, T Margaria, M Geske International SPIN Workshop on Model Checking of Software, 341-357, 2013 | 15 | 2013 |
| 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 | 14 | 2012 |
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
