Harco Kuppens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2019
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2015 | ICTAC | Learning Register Automata with Fresh Value Generation. | Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
| 2014 | ISoLA | Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. | Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager |
| 2012 | FM | Automata Learning through Counterexample Guided Abstraction Refinement. | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |