Suivre
Falk Howar
Falk Howar
Adresse e-mail validée de tu-dortmund.de - Page d'accueil
Titre
Citée par
Citée par
Année
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
2332014
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
2122015
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
1812011
Active learning for extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Formal Aspects of Computing 28 (2), 233-263, 2016
1352016
Inferring canonical register automata
F Howar, B Steffen, B Jonsson, S Cassel
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
1312012
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
1022011
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
972016
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
932011
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
732018
Learning register automata: from languages to program structures
M Isberner, F Howar, B Steffen
Machine Learning 96, 65-98, 2014
722014
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
612013
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
472010
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
462012
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
452013
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
452012
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
452011
Learning extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
International Conference on Software Engineering and Formal Methods, 250-264, 2014
432014
RALib: A LearnLib extension for inferring EFSMs
S Cassel, F Howar, B Jonsson
DIFTS. hp://www. faculty. ece. vt. edu/chaowang/di s2015/papers/paper 5, 2015
412015
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
402015
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
402014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20