Harco Kuppens

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 3

Top Topics

Machine Learning

Algorithmic Approaches

Protocol Specification

Coloured Petri Nets

Top Venues

Models, Mindsets, Meta

Publications

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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta (2018)
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager
Learning Register Automata with Fresh Value Generation. ICTAC (2015)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96 (1-2) (2014)
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) (2014)
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
Automata Learning through Counterexample Guided Abstraction Refinement. FM (2012)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Learning and Testing the Bounded Retransmission Protocol. ICGI (2012)
Theo E. Schouten, Harco Kuppens, Egon L. van den Broek
Video surveillance using distance maps. Real-Time Image Processing (2006)