Falk Howar

Cited by

	All	Since 2016
Citations	1680	1076
h-index	23	18
i10-index	48	32

300

150

225

20102011201220132014201520162017201820192020202110 56 123 70 161 160 154 149 294 257 213 8

Co-authors

Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Maik MertenTeacher, Federal University of Applied Administrative SciencesVerified email at tu-dortmund.de
Malte IsbernerStackRox Inc.Verified email at stackrox.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Sofia CasselPostdoctoral researcher, KTH Royal Institute of TechnologyVerified email at kth.se
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at lero.ie
Zvonimir RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Andreas RauschFull Professor for Software Systems Engineering, Department of Informatics, TU ClausthalVerified email at tu-clausthal.de
Temesghen KahsaiResearch Scientist at NASA Ames Research CenterVerified email at nasa.gov
Malte MuesTU DortmundVerified email at tu-dortmund.de
Marc JasperTU Dortmund UniversityVerified email at tu-dortmund.de
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundVerified email at cs.tu-dortmund.de
Vishwanath RamanPrivacy Architect, Oasis LabsVerified email at oasislabs.com
Stephan WindmüllerTechnische Universität DortmundVerified email at tu-dortmund.de
Markus SchordanLawrence Livermore National LaboratoryVerified email at llnl.gov
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Amel BennaceurAcademic in Computing - Adaptive and Intelligent Systems, The Open UniversityVerified email at open.ac.uk
Massimo TivoliAssociate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at di.univaq.it
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk

Falk Howar

TU Dortmund

Verified email at tu-dortmund.de - Homepage

computer science formal methods automata learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	130	2011
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	104	2014
The open-source LearnLib M Isberner, F Howar, B Steffen International Conference on Computer Aided Verification, 487-495, 2015	93	2015
Next generation learnlib M Merten, B Steffen, F Howar, T Margaria International Conference on Tools and Algorithms for the Construction and …, 2011	88	2011
Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel International Workshop on Verification, Model Checking, and Abstract …, 2012	84	2012
Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten International Workshop on Verification, Model Checking, and Abstract …, 2011	82	2011
Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal Aspects of Computing 28 (2), 233-263, 2016	78	2016
Learning register automata: from languages to program structures M Isberner, F Howar, B Steffen Machine Learning 96 (1-2), 65-98, 2014	55	2014
From zulu to rers F Howar, B Steffen, M Merten International Symposium On Leveraging Applications of Formal Methods …, 2010	47	2010
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	43	2016
Active continuous quality control S Windmüller, J Neubauer, B Steffen, F Howar, O Bauer Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013	39	2013
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	39	2012
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	39	2011
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	37	2012
Hybrid learning: interface generation through static, dynamic, and symbolic analysis F Howar, D Giannakopoulou, Z Rakamarić Proceedings of the 2013 International Symposium on Software Testing and …, 2013	35	2013
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	31	2014
Verifying the safety of a flight-critical system G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai International Symposium on Formal Methods, 308-324, 2015	29	2015
Learning extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen International Conference on Software Engineering and Formal Methods, 250-264, 2014	29	2014
Active automata learning in practice F Howar, B Steffen Machine Learning for Dynamic Software Analysis: Potentials and Limits, 123-148, 2018	27	2018
Towards an architecture for runtime interoperability A Bennaceur, G Blair, F Chauvel, H Gang, N Georgantas, P Grace, ... International Symposium On Leveraging Applications of Formal Methods …, 2010	27	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors