According to our database1, Fides Aarts authored at least 11 papers between 2010 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Generating models of infinite-state communication protocols using regular inference with abstraction.
Formal Methods Syst. Des., 2015
Learning Register Automata with Fresh Value Generation.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Improving active Mealy machine learning for protocol conformance testing.
Mach. Learn., 2014
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Formal Models of Bank Cards for Free.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Learning and Testing the Bounded Retransmission Protocol.
Proceedings of the Eleventh International Conference on Grammatical Inference, 2012
Automata Learning through Counterexample Guided Abstraction Refinement.
Proceedings of the FM 2012: Formal Methods, 2012
A Theory of History Dependent Abstractions for Learning Interface Automata.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.
Proceedings of the Testing Software and Systems, 2010
Inference and Abstraction of the Biometric Passport.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Learning I/O Automata.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010