Learning I/O Automata. - Fides Aarts; Frits W. Vaandrager (CONCUR, 2010)

Inference and Abstraction of the Biometric Passport. - Fides Aarts; Julien Schmaltz; Frits W. Vaandrager (ISoLA (1), 2010)

Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. - Fides Aarts; Bengt Jonsson 001; Johan Uijen (ICTSS, 2010)

A Theory of History Dependent Abstractions for Learning Interface Automata. - Fides Aarts; Faranak Heidarian; Frits W. Vaandrager (CONCUR, 2012)

Automata Learning through Counterexample Guided Abstraction Refinement. - Fides Aarts; Faranak Heidarian; Harco Kuppens; Petur Olsen; Frits W. Vaandrager (FM, 2012)

Learning and Testing the Bounded Retransmission Protocol. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (ICGI, 2012)

Formal Models of Bank Cards for Free. - Fides Aarts; Joeri de Ruiter; Erik Poll (ICST Workshops, 2013)

Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. - Fides Aarts; Falk Howar; Harco Kuppens; Frits W. Vaandrager (ISoLA (1), 2014)

Improving active Mealy machine learning for protocol conformance testing. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (Mach. Learn., 2014)

Tomte: bridging the gap between active learning and real-world systems. - Fides Aarts (2014)

Learning Register Automata with Fresh Value Generation. - Fides Aarts; Paul Fiterau-Brostean; Harco Kuppens; Frits W. Vaandrager (ICTAC, 2015)

Generating models of infinite-state communication protocols using regular inference with abstraction. - Fides Aarts; Bengt Jonsson 001; Johan Uijen; Frits W. Vaandrager (Formal Methods Syst. Des., 2015)