Statistics
Publications
4
Citations
181
H-Index
4
Active since
2012
Affiliations
Radboud University Nijmegen(Current)
Fides Aarts is an author at Radboud University Nijmegen specializing in computing, computer science, and formal methods.
Publications per year
2012–2014
4
4
Formal Models of Bank Cards for Free
Fides Aarts, Joeri de Ruiter, Erik Poll · 2013 · 81 citations · Full text
Improving active Mealy machine learning for protocol conformance testing
Fides Aarts, Harco Kuppens, Jan Tretmans et al. · Machine Learning · 2013 · 29 citations · Full text
Learning and Testing the Bounded Retransmission Protocol
Fides Aarts, Harco Kuppens, Jan Tretmans et al. · Radboud Repository (Radboud University) · 2012 · 19 citations · Full text
1–4 of 4