Falk Howar

Cited by

	All	Since 2019
Citations	3042	1788
h-index	28	20
i10-index	64	47

380

190

285

20102011201220132014201520162017201820192020202120222023202410 50 122 72 169 164 156 172 280 264 263 328 361 293 278

Public access

View all

17 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 RakamaricAmazon Web Services (AWS)Verified email at amazon.com
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Robin PhilippVolkswagen AGVerified email at volkswagen.de
Marc JasperTU Dortmund UniversityVerified 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
Johannes NeubauerPostdoctoral researcher in computer science, TU DortmundVerified email at cs.tu-dortmund.de
Vishwanath RamanPrivacy Architect, Oasis LabsVerified email at oasislabs.com
Kasper Søe LuckowAmazon Web ServicesVerified email at amazon.com
Dr.-Ing. Lukas HartjenVolkswagen AGVerified email at volkswagen.de
Stefan NaujokatResearcher, TU DortmundVerified email at tu-dortmund.de
Paul FiterauAssistant Professor at Uppsala University, SwedenVerified email at it.uu.se

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	256	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	234	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	193	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	140	2016
Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	135	2012
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	108	2016
Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten Verification, Model Checking, and Abstract Interpretation: 12th …, 2011	102	2011
Next generation learnlib M Merten, B Steffen, F Howar, T Margaria Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011	93	2011
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	78	2018
Learning register automata: from languages to program structures M Isberner, F Howar, B Steffen Machine Learning 96, 65-98, 2014	75	2014
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	66	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	49	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	47	2010
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
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
Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring M Mauritz, F Howar, A Rausch Leveraging Applications of Formal Methods, Verification and Validation …, 2016	44	2016
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	44	2013
Learning extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen International Conference on Software Engineering and Formal Methods, 250-264, 2014	43	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	41	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