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 × Estonia
1 × France
1 × USA
Collaborated with:
F.Howar B.Jonsson B.Steffen M.Merten
Talks about:
automata (2) regist (2) learn (2) demonstr (1) machin (1) extend (1) state (1) infer (1) finit (1) canon (1)

Person: Sofia Cassel

DBLP DBLP: Cassel:Sofia

Contributed to:

SEFM 20142014
TACAS 20122012
VMCAI 20122012

Wrote 3 papers:

SEFM-2014-CasselHJS #finite #learning #state machine
Learning Extended Finite State Machines (SC, FH, BJ, BS), pp. 250–264.
TACAS-2012-MertenHSCJ #automaton #learning
Demonstrating Learning of Register Automata (MM, FH, BS, SC, BJ), pp. 466–471.
VMCAI-2012-HowarSJC #automaton #canonical
Inferring Canonical Register Automata (FH, BS, BJ, SC), pp. 251–266.

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.