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: Isberner:Malte
Contributed to:
2015
2014
2013Wrote 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.