Junior Researcher
Radboud University Nijmegen
Interests
- Automated Verification
- Automata Learning/Model Inference
- Abstraction Techniques
- Model Based Testing
- Model Checking
Publications
2009
Inference and Abstraction of Communication Protocols
PDFFides Aarts
Master's thesis, Radboud University Nijmegen and Uppsala University, November 2009
2010
Learning I/O Automata
PDFFides Aarts and Frits Vaandrager
In Proceedings CONCUR 2010, 21th International Conference on Concurrency Theory, pages 71-85
Paris, France, August 31 - September 3, 2010
Inference and Abstraction of the Biometric Passport
PDFFides Aarts, Julien Schmaltz and Frits Vaandrager
In Proceedings ISoLA 2010, 4th International Symposium On Leveraging Applications
of Formal Methods, Verification and Validation
Crete, Greece, October 18-20, 2010
Generating Models of Infinite-State Communication Protocols
using Regular Inference with Abstraction
PDF
Fides Aarts, Bengt Jonsson and Johan Uijen
In Proceedings ICTSS 2010, 22nd IFIP International Conference on Testing Software and Systems
Natal, Brazil, November 8-12, 2010
