Fides Aarts

12 papers B 3C 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
Generating models of infinite-state communication protocols using regular inference with abstraction.
Formal Methods Syst. Des.
Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager
2015 C conf
Learning Register Automata with Fresh Value Generation.
ICTAC
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager
2014 — conf
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.
ISoLA (1)
Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager
2014 J jnl
Improving active Mealy machine learning for protocol conformance testing.
Mach. Learn.
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
2014 — —
Tomte: bridging the gap between active learning and real-world systems.
Fides Aarts
2013 — conf
Formal Models of Bank Cards for Free.
ICST Workshops
Fides Aarts, Joeri de Ruiter, Erik Poll
2012 B conf
A Theory of History Dependent Abstractions for Learning Interface Automata.
CONCUR
Fides Aarts, Faranak Heidarian, Frits W. Vaandrager
2012 B conf
Automata Learning through Counterexample Guided Abstraction Refinement.
FM
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager
2012 — conf
Learning and Testing the Bounded Retransmission Protocol.
ICGI
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
2010 C conf
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.
ICTSS
Fides Aarts, Bengt Jonsson, Johan Uijen
2010 — conf
Inference and Abstraction of the Biometric Passport.
ISoLA (1)
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager
2010 B conf
Learning I/O Automata.
CONCUR
Fides Aarts, Frits W. Vaandrager