Fides Aarts
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2015
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2013 | ICST | Formal Models of Bank Cards for Free. | Fides Aarts, Joeri de Ruiter, Erik Poll |
| 2012 | CONCUR | A Theory of History Dependent Abstractions for Learning Interface Automata. | Fides Aarts, Faranak Heidarian, Frits W. Vaandrager |
| 2012 | FM | Automata Learning through Counterexample Guided Abstraction Refinement. | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
| 2010 | CONCUR | Learning I/O Automata. | Fides Aarts, Frits W. Vaandrager |
| 2010 | ISoLA | Inference and Abstraction of the Biometric Passport. | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |