Fides Aarts

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 2

Top Topics

Machine Learning

Communication Protocol

Algorithmic Approaches

Top Venues

Publications

Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager
Generating models of infinite-state communication protocols using regular inference with abstraction. Formal Methods Syst. Des. 46 (1) (2015)
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, Joeri de Ruiter, Erik Poll
Formal Models of Bank Cards for Free. ICST Workshops (2013)
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)
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager
A Theory of History Dependent Abstractions for Learning Interface Automata. CONCUR (2012)
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager
Inference and Abstraction of the Biometric Passport. ISoLA (1) (2010)
Fides Aarts, Frits W. Vaandrager
Learning I/O Automata. CONCUR (2010)
Fides Aarts, Bengt Jonsson, Johan Uijen
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. ICTSS (2010)