Video surveillance using distance maps. - Theo E. Schouten; Harco Kuppens; Egon L. van den Broek (Real-Time Image Processing, 2006)

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)

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)

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

Benchmarks for Automata Learning and Conformance Testing. - Daniel Neider; Rick Smetsers; Frits W. Vaandrager; Harco Kuppens (Models, Mindsets, Meta, 2018)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)