1. Aarts, F.: Tomte: Bridging the Gap between Active Learning and Real-World Systems. PhD thesis, Radboud University Nijmegen (October 2014)
2. Lecture Notes in Computer Science;F. Aarts,2012
3. Lecture Notes in Computer Science;F. Aarts,2010
4. Aarts, F., Jonsson, B., Uijen, J., Vaandrager, F.W.: Generating models of infinite-state communication protocols using regular inference with abstraction. In: Formal Methods in System Design (to appear, 2014)
5. Aarts, F., Kuppens, H., Tretmans, G.J., Vaandrager, F.W., Verwer, S.: Learning and testing the bounded retransmission protocol. In: Heinz, J., de la Higuera, C., Oates, T. (eds.) Proceedings 11th International Conference on Grammatical Inference (ICGI 2012), University of Maryland, College Park, USA, September 5-8. JMLR Workshop and Conference Proceedings, vol. 21, pp. 4–18 (2012)