Fides Aarts
发表
Frits W. Vaandrager,
Fides Aarts,
Faranak Heidarian,
2012,
FM.
Fides Aarts,
2009
.
Frits W. Vaandrager,
Sicco Verwer,
Jan Tretmans,
2014,
Machine Learning.
Frits W. Vaandrager,
Fides Aarts,
Faranak Heidarian,
2012,
CONCUR.
Frits W. Vaandrager,
Julien Schmaltz,
Fides Aarts,
2010,
ISoLA.
Generating models of infinite-state communication protocols using regular inference with abstraction
Bengt Jonsson,
Frits W. Vaandrager,
Fides Aarts,
2015,
Formal Methods Syst. Des..
Frits W. Vaandrager,
Sicco Verwer,
Fides Aarts,
2012
.
Frits W. Vaandrager,
Fides Aarts,
Harco Kuppens,
2015,
ICTAC.
Frits W. Vaandrager,
Sicco Verwer,
Jan Tretmans,
2012,
ICGI.
Joeri de Ruiter,
Erik Poll,
Fides Aarts,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
Fides Aarts,
Bengt Jonsson,
Johan Uijen,
2010,
ICTSS.
Fides Aarts,
F. Aarts,
2014
.
Frits W. Vaandrager,
Fides Aarts,
F. Vaandrager,
2010,
CONCUR.
Frits W. Vaandrager,
Falk Howar,
Fides Aarts,
2014,
ISoLA.