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 × Austria
1 × Portugal
1 × United Kingdom
Collaborated with:
B.Bollig J.Katoen M.Leucker M.Schlütter V.Stolz D.Neider D.R.Piegdon
Talks about:
learn (2) play (2) framework (1) synthesi (1) scenario (1) automata (1) specif (1) replay (1) libalf (1) design (1)

Person: Carsten Kern

DBLP DBLP: Kern:Carsten

Contributed to:

CAV 20102010
TACAS 20072007
TACAS 20062006

Wrote 3 papers:

CAV-2010-BolligKKLNP #automaton #framework #learning #named
libalf: The Automata Learning Framework (BB, JPK, CK, ML, DN, DRP), pp. 360–364.
TACAS-2007-BolligKKL #design #game studies #learning #modelling #synthesis
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning (BB, JPK, CK, ML), pp. 435–450.
TACAS-2006-BolligKSS #named #specification
MSCan — A Tool for Analyzing MSC Specifications (BB, CK, MS, VS), pp. 455–458.

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.