Fides Aarts

According to our database, Fides Aarts authored at least 11 papers between 2010 and 2015.

Collaborative distances:

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

2015

Generating models of infinite-state communication protocols using regular inference with abstraction.

Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager

Formal Methods Syst. Des., 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

2013

Formal Models of Bank Cards for Free.

Fides Aarts, Joeri de Ruiter, Erik Poll

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

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

A Theory of History Dependent Abstractions for Learning Interface Automata.

Fides Aarts, Faranak Heidarian, Frits W. Vaandrager

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2010

Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.

Fides Aarts, Bengt Jonsson, Johan Uijen

Proceedings of the Testing Software and Systems, 2010

Inference and Abstraction of the Biometric Passport.

Fides Aarts, Julien Schmaltz, Frits W. Vaandrager

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Learning I/O Automata.

Fides Aarts, Frits W. Vaandrager

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010