Falk Howar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Unsupervised automata learning via discrete optimization	2025-12-15	Paper
Active automata learning as black-box search and lazy partition refinement Lecture Notes in Computer Science	2023-07-26	Paper
A taxonomy and reductions for common register automata formalisms Model Checking, Synthesis, and Learning	2023-05-26	Paper
Grey-Box Learning of Register Automata	2023-03-21	Paper
$$\textsc {Reach}$$ on Register Automata via History Independence	2022-12-07	Paper
Combining black-box and white-box techniques for learning register automata	2022-02-16	Paper
Active learning for extended finite state machines Formal Aspects of Computing	2016-08-04	Paper
Learning register automata: from languages to program structures Machine Learning	2014-12-05	Paper
A succinct canonical register automaton model Journal of Logical and Algebraic Methods in Programming	2014-12-03	Paper
A succinct canonical register automaton model for data domains with binary relations Automated Technology for Verification and Analysis	2012-11-21	Paper
Demonstrating Learning of Register Automata Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Inferring canonical register automata Lecture Notes in Computer Science	2012-06-15	Paper
A Succinct Canonical Register Automaton Model Automated Technology for Verification and Analysis	2011-10-07	Paper
Automata learning with automated alphabet abstraction refinement Lecture Notes in Computer Science	2011-02-15	Paper

Research outcomes over time

This page was built for person: Falk Howar