Falk Howar

Cited by

	All	Since 2018
Citations	2629	1671
h-index	27	21
i10-index	56	43

360

180

270

2010201120122013201420152016201720182019202020212022202310 51 121 72 168 161 157 167 276 263 234 334 349 214

Public access

View all

14 articles

2 articles

available

not available

Based on funding mandates

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 IsbernerRed HatVerified email at redhat.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
Malte MuesTU DortmundVerified email at tu-dortmund.de
Andreas RauschFull Professor for Software Systems Engineering, Institute for Software & Systems Engineering, TUVerified email at tu-clausthal.de
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at ul.ie
Zvonimir RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Marc JasperTU Dortmund UniversityVerified email at tu-dortmund.de
Robin PhilippVolkswagen AG, TU DortmundVerified email at tu-dortmund.de
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Fabian SchuldtInstitut für RegelungstechnikVerified email at ifr.ing.tu-bs.de
Vishwanath RamanPrivacy Architect, Oasis LabsVerified email at oasislabs.com
Kasper Søe LuckowAmazon Web ServicesVerified email at amazon.com
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundVerified email at cs.tu-dortmund.de
Markus SchordanGoogleVerified email at google.com
Stephan WindmüllerTechnische Universität DortmundVerified email at tu-dortmund.de
Lukas HartjenTU BraunschweigVerified email at tu-braunschweig.de

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
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	207	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	186	2015
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	175	2011
Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal Aspects of Computing 28, 233-263, 2016	129	2016
Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	125	2012
Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten Verification, Model Checking, and Abstract Interpretation: 12th …, 2011	100	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
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	82	2016
Learning register automata: from languages to program structures M Isberner, F Howar, B Steffen Machine Learning 96, 65-98, 2014	70	2014
Active automata learning in practice: an annotated bibliography of the years 2011 to 2016 F Howar, B Steffen Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018	65	2018
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	55	2013
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	46	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	46	2010
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
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	43	2012
Verifying the safety of a flight-critical system G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015	41	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	41	2014
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	41	2013
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	39	2014
Towards the verification of safety-critical autonomous systems in dynamic environments A Aniculaesei, D Arnsberger, F Howar, A Rausch arXiv preprint arXiv:1612.04977, 2016	38	2016

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

Follow

Cited by

Co-authors