Falk Howar

Falk Howar

Technische Universität Dortmund - Dortmund / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1780087
Dortmund University of Technology
person_outline Falk Howar's MOST POPULAR ARTICLES
1-) The open-source learnLib: a framework for active automata learning Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
2-) Introduction to active automata learning from a practical perspective Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
3-) Active learning for extended finite state machines Formal aspects of computing 28 (2), 233-263, 2016
4-) Inferring canonical register automata Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
5-) Inferring canonical register automataF Howar, B Steffen, B Jonsson, S CasselVerification, Model Checking, and Abstract Interpretation: 13th …, 20121402012