Search Results

Documents authored by Schlingloff, Holger


Document
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)

Authors: Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff

Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13181 ``VaToMAS - Verification and Testing of Multi-Agent Systems''.

Cite as

Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff. VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). In Dagstuhl Reports, Volume 3, Issue 4, pp. 151-187, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{lomuscio_et_al:DagRep.3.4.151,
  author =	{Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger},
  title =	{{VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)}},
  pages =	{151--187},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.151},
  URN =		{urn:nbn:de:0030-drops-41746},
  doi =		{10.4230/DagRep.3.4.151},
  annote =	{Keywords: Model checking, Specification-based testing, Multi-agent systems, Controller synthesis, Temporal logic}
}
Document
08351 Abstracts Collection – Evolutionary Test Generation

Authors: Holger Schlingloff, Tanja E. J. Vos, and Joachim Wegener

Published in: Dagstuhl Seminar Proceedings, Volume 8351, Evolutionary Test Generation (2009)


Abstract
From September 24th to September 29th 2008 the Dagstuhl Seminar 08351 ``Evolutionary Test Generation '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Holger Schlingloff, Tanja E. J. Vos, and Joachim Wegener. 08351 Abstracts Collection – Evolutionary Test Generation. In Evolutionary Test Generation. Dagstuhl Seminar Proceedings, Volume 8351, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{schlingloff_et_al:DagSemProc.08351.1,
  author =	{Schlingloff, Holger and Vos, Tanja E. J. and Wegener, Joachim},
  title =	{{08351 Abstracts Collection – Evolutionary Test Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.1},
  URN =		{urn:nbn:de:0030-drops-20231},
  doi =		{10.4230/DagSemProc.08351.1},
  annote =	{Keywords: Software-testing, evolutionary algoritms, meta-heuristic search}
}
Document
08351 Summary – Evolutionary Test Generation

Authors: Holger Schlingloff, Tanja E. J. Vos, and Joachim Wegener

Published in: Dagstuhl Seminar Proceedings, Volume 8351, Evolutionary Test Generation (2009)


Abstract
From September 24th to September 29th 2008 the Dagstuhl Seminar 08351 ``Evolutionary Test Generation '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. This paper contains an executive summary of the seminar and the open problems that were found.

Cite as

Holger Schlingloff, Tanja E. J. Vos, and Joachim Wegener. 08351 Summary – Evolutionary Test Generation. In Evolutionary Test Generation. Dagstuhl Seminar Proceedings, Volume 8351, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{schlingloff_et_al:DagSemProc.08351.2,
  author =	{Schlingloff, Holger and Vos, Tanja E. J. and Wegener, Joachim},
  title =	{{08351 Summary – Evolutionary Test Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.2},
  URN =		{urn:nbn:de:0030-drops-20224},
  doi =		{10.4230/DagSemProc.08351.2},
  annote =	{Keywords: Software-testing, evolutionary algoritms, meta-heuristic search}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail