BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Aarts:Fides

Contributed to:

FM 20122012
ICTSS 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.