Harco Kuppens

Automata Learning through Counterexample Guided Abstraction Refinement

Frits W. Vaandrager, Fides Aarts, Faranak Heidarian, 2012, FM.

Benchmarks for Automata Learning and Conformance Testing

Frits W. Vaandrager, Harco Kuppens, Daniel Neider, 2018, Models, Mindsets, Meta.

Improving active Mealy machine learning for protocol conformance testing

Frits W. Vaandrager, Sicco Verwer, Jan Tretmans, 2014, Machine Learning.

Learning Register Automata with Fresh Value Generation

Frits W. Vaandrager, Fides Aarts, Harco Kuppens, 2015, ICTAC.

Learning and Testing the Bounded Retransmission Protocol

Frits W. Vaandrager, Sicco Verwer, Jan Tretmans, 2012, ICGI.

Video surveillance using distance maps

Egon L. van den Broek, Theo E. Schouten, Harco Kuppens, 2006, Electronic Imaging.

RERS 2019: Combining Synthesis with Real-World Models

Frits W. Vaandrager, Bernhard Steffen, Markus Schordan, 2019, TACAS.

Algorithms for Inferring Register Automata - A Comparison of Existing Approaches

Frits W. Vaandrager, Falk Howar, Fides Aarts, 2014, ISoLA.