Fides Aarts

According to our database1, Fides Aarts authored at least 11 papers between 2010 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
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

2014
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

2013
Formal Models of Bank Cards for Free.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
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

2010
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


  Loading...