Falk Howar
Falk Howar
Bestätigte E-Mail-Adresse bei tu-dortmund.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Introduction to active automata learning from a practical perspective
B Steffen, F Howar, M Merten
International School on Formal Methods for the Design of Computer …, 2011
1222011
The TTT algorithm: a redundancy-free approach to active automata learning
M Isberner, F Howar, B Steffen
International Conference on Runtime Verification, 307-322, 2014
942014
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
International Conference on Tools and Algorithms for the Construction and …, 2011
872011
The open-source LearnLib
M Isberner, F Howar, B Steffen
International Conference on Computer Aided Verification, 487-495, 2015
832015
Inferring canonical register automata
F Howar, B Steffen, B Jonsson, S Cassel
International Workshop on Verification, Model Checking, and Abstract …, 2012
802012
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
International Workshop on Verification, Model Checking, and Abstract …, 2011
802011
Active learning for extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Formal Aspects of Computing 28 (2), 233-263, 2016
732016
Learning register automata: from languages to program structures
M Isberner, F Howar, B Steffen
Machine Learning 96 (1-2), 65-98, 2014
532014
From zulu to rers
F Howar, B Steffen, M Merten
International Symposium On Leveraging Applications of Formal Methods …, 2010
462010
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
392013
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
392011
The RERS grey-box challenge 2012: analysis of event-condition-action systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer
International Symposium On Leveraging Applications of Formal Methods …, 2012
382012
Inferring semantic interfaces of data structures
F Howar, M Isberner, B Steffen, O Bauer, B Jonsson
International Symposium On Leveraging Applications of Formal Methods …, 2012
362012
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
352013
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
342016
Rigorous examination of reactive systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer, CS Păsăreanu
International Journal on Software Tools for Technology Transfer 16 (5), 457-464, 2014
312014
Learning extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
International Conference on Software Engineering and Formal Methods, 250-264, 2014
292014
Verifying the safety of a flight-critical system
G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai
International Symposium on Formal Methods, 308-324, 2015
282015
Towards an architecture for runtime interoperability
A Bennaceur, G Blair, F Chauvel, H Gang, N Georgantas, P Grace, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
272010
On handling data in automata learning
F Howar, B Jonsson, M Merten, B Steffen, S Cassel
International Symposium On Leveraging Applications of Formal Methods …, 2010
262010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20