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 × Spain
1 × Sweden
1 × USA
Collaborated with:
F.Howar B.Steffen A.Bennaceur C.Chilton B.Jonsson D.Giannakopoulou T.Lauderdale Z.Rakamaric V.Raman
Talks about:
learn (2) framework (1) behaviour (1) synthesi (1) automata (1) ontolog (1) reason (1) mediat (1) combin (1) sourc (1)

Person: Malte Isberner

DBLP DBLP: Isberner:Malte

Contributed to:

CAV 20152015
ASE 20142014
SEFM 20132013

Wrote 3 papers:

CAV-2015-IsbernerHS #automaton #framework #learning #open source
The Open-Source LearnLib — A Framework for Active Automata Learning (MI, FH, BS), pp. 487–495.
ASE-2014-GiannakopoulouHILRR #assurance #testing
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
SEFM-2013-BennaceurCIJ #automation #behaviour #ontology #reasoning #synthesis
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.

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.