Harco Kuppens

According to our database, Harco Kuppens authored at least 8 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Benchmarks for Automata Learning and Conformance Testing.

Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens

Proceedings of the Models, Mindsets, 2018

2015

Learning Register Automata with Fresh Value Generation.

Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Improving active Mealy machine learning for protocol conformance testing.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Mach. Learn., 2014

Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.

Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2012

Learning and Testing the Bounded Retransmission Protocol.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Automata Learning through Counterexample Guided Abstraction Refinement.

Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager

Proceedings of the FM 2012: Formal Methods, 2012

2006

Video surveillance using distance maps.

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

Proceedings of the Real-Time Image Processing 2006, San Jose, CA, USA, January 15, 2006, 2006