Browsing by Author "Aarts, Fides"

Now showing items 1-8 of 8

Learning Register Automata with Fresh Value Generation
Aarts, Fides ; Fiterau-Brostean, P. ; Kuppens, H.C.W. ; Vaandrager, F.W.
2017, Dataset
Generating models of infinite-state communication protocols using regular inference with abstraction
Aarts, F.D. ; Jonsson, B.; Uijen, J.A.B.M.; Vaandrager, F.
2015, Article / Letter to editor (Formal Methods in System Design, vol. 46, iss. 1, (2015), pp. 1-41)
Learning Register Automata with Fresh Value Generation
Aarts, Fides ; Fiterau-Brostean, P. ; Kuppens, H.; Vaandrager, F.W.
2015, Part of book or chapter of book (Leucker, M. (ed.), Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015. Proceedings, pp. 165-183)
Tomte : bridging the gap between active learning and real-world systems
Aarts, F.D.
2014, Dissertation
Algorithms for Inferring Register Automata
Aarts, F.D. ; Howar, F.; Kuppens, H.C.W. ; Vaandrager, F.
2014, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, pp. 202-219)
Generating Models of In nite-State Communication Protocols using Regular Inference with Abstraction
Aarts, F.D. ; Jonsson, B.; Uijen, J.; Vaandrager, F.W.
2013, External research report
Formal models of bank cards for free
Aarts, Fides ; Ruiter, J. de ; Poll, E. ; Ruiter, J.E.J. de
2013, Article in monograph or in proceedings (ICSTW 2013 : IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops : proceedings, pp. 461-468)
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
Aarts, Fides ; Jonsson, B.; Uijen, Johan
2010, Part of book or chapter of book (Petrenko, A.; Maldonado, J. (ed.), Testing Software and Systems, pp. 188-204)

Now showing items 1-8 of 8

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Aarts, Fides"

Search Repository

Browse

All of Repository