Fides Aarts

Available identifiers

zbMath Open aarts.fidesMaRDI QIDQ479468

List of research outcomes

Publication	Date of Publication	Type
Learning Register Automata with Fresh Value Generation	2016-02-25	Paper
Generating models of infinite-state communication protocols using regular inference with abstraction	2015-03-24	Paper
Improving active Mealy machine learning for protocol conformance testing	2014-12-05	Paper
Automata Learning through Counterexample Guided Abstraction Refinement	2012-11-08	Paper
A Theory of History Dependent Abstractions for Learning Interface Automata	2012-09-25	Paper
Learning I/O Automata	2010-08-31	Paper

Research outcomes over time

This page was built for person: Fides Aarts