Travelled to:1 × Brazil
1 × France
Collaborated with:B.Jonsson J.Uijen F.Heidarian H.Kuppens P.Olsen F.W.Vaandrager
Talks about:abstract (2) counterexampl (1) protocol (1) communic (1) automata (1) regular (1) infinit (1) generat (1) state (1) refin (1)
Person: Fides Aarts
DBLP: Aarts:Fides
Contributed to:
2012
2010Wrote 2 papers:
- FM-2012-AartsHKOV #abstraction #automaton #learning #refinement
- Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
- ICTSS-2010-AartsJU #abstraction #communication #generative #infinity #modelling #protocol #using
- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.