Falk Howar

Cited by

	All	Since 2018
Citations	2417	1471
h-index	26	19
i10-index	55	42

340

170

255

2010201120122013201420152016201720182019202020212022202310 43 128 73 163 161 154 164 273 263 232 336 331 35

Public access

View all

13 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
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Robin PhilippVolkswagen AG, TU DortmundVerified email at tu-dortmund.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
Fabian SchuldtInstitut für RegelungstechnikVerified email at ifr.ing.tu-bs.de
Markus SchordanLawrence Livermore National LaboratoryVerified email at llnl.gov
Stephan WindmüllerTechnische Universität DortmundVerified email at tu-dortmund.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.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	177	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	172	2015
Introduction to Active Automata Learning from a Practical Perspective. B Steffen, F Howar, M Merten SFM 11, 256-296, 2011	166	2011
Inferring canonical register automata F Howar, B Steffen, B Jonsson, S Cassel Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	122	2012
Active learning for extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Formal Aspects of Computing 28 (2), 233-263, 2016	121	2016
Automata learning with automated alphabet abstraction refinement F Howar, B Steffen, M Merten Verification, Model Checking, and Abstract Interpretation: 12th …, 2011	97	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	78	2016
Learning register automata: from languages to program structures M Isberner, F Howar, B Steffen Machine Learning 96, 65-98, 2014	67	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	55	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	51	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	48	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	45	2010
A succinct canonical register automaton model S Cassel, F Howar, B Jonsson, M Merten, B Steffen Automated Technology for Verification and Analysis: 9th International …, 2011	44	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	42	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	39	2013
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	38	2015
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	38	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	37	2016
Learning extended finite state machines S Cassel, F Howar, B Jonsson, B Steffen Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014	37	2014

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