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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Falk Howar