Falk Howar

Available identifiers

zbMath Open howar.falkMaRDI QIDQ478385

List of research outcomes

Publication	Date of Publication	Type
Active automata learning as black-box search and lazy partition refinement	2023-07-26	Paper
A taxonomy and reductions for common register automata formalisms	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	2016-08-04	Paper
Learning register automata: from languages to program structures	2014-12-05	Paper
A succinct canonical register automaton model	2014-12-03	Paper
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations	2012-11-21	Paper
Demonstrating Learning of Register Automata	2012-06-29	Paper
Inferring Canonical Register Automata	2012-06-15	Paper
A Succinct Canonical Register Automaton Model	2011-10-07	Paper
Automata Learning with Automated Alphabet Abstraction Refinement	2011-02-15	Paper

Research outcomes over time

This page was built for person: Falk Howar