Fides Aarts
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Learning register automata with fresh value generation Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
| Generating models of infinite-state communication protocols using regular inference with abstraction Formal Methods in System Design | 2015-03-24 | Paper |
| Improving active Mealy machine learning for protocol conformance testing Machine Learning | 2014-12-05 | Paper |
| Automata Learning through Counterexample Guided Abstraction Refinement FM 2012: Formal Methods | 2012-11-08 | Paper |
| A theory of history dependent abstractions for learning interface automata Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Learning I/O automata CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Research outcomes over time
This page was built for person: Fides Aarts
