Dagstuhl Seminar Proceedings, Volume 10051



Publication Details

  • published at: 2010-04-13
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols

Authors: Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska


Abstract
From Jan 31, 2010 to Feb 5, 2010, the Dagstuhl Seminar 10051 ``Quantitative and Qualitative Analysis of Network Protocols '' 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

Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska. 10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols. In Quantitative and Qualitative Analysis of Network Protocols. Dagstuhl Seminar Proceedings, Volume 10051, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{jonsson_et_al:DagSemProc.10051.1,
  author =	{Jonsson, Bengt and Kreiker, J\"{o}rg and Kwiatkowska, Marta},
  title =	{{10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols}},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10051},
  editor =	{Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.1},
  URN =		{urn:nbn:de:0030-drops-25186},
  doi =		{10.4230/DagSemProc.10051.1},
  annote =	{Keywords: Network protocols, verification, static analysis, quantitative modeling and model checking, graph transformation, process calculi}
}
Document
10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols

Authors: Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska


Abstract
This is the executive summary for the seminar Quantitative and Qualitative Analysis of Network Protocols held from Jan 31, 2010 to Feb 5, 2010.

Cite as

Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska. 10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols. In Quantitative and Qualitative Analysis of Network Protocols. Dagstuhl Seminar Proceedings, Volume 10051, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{jonsson_et_al:DagSemProc.10051.2,
  author =	{Jonsson, Bengt and Kreiker, J\"{o}rg and Kwiatkowska, Marta},
  title =	{{10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols}},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10051},
  editor =	{Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.2},
  URN =		{urn:nbn:de:0030-drops-25165},
  doi =		{10.4230/DagSemProc.10051.2},
  annote =	{Keywords: Executive summary}
}
Document
Spotlight Abstraction of Agents and Areas

Authors: Tobe Toben, Bernd Westphal, and Jan-Hendrik Rakow


Abstract
We present "spotlight abstraction" as a generic abstraction technique for the analysis of systems comprising an unbounded number of communicating agents. The abstraction principle is heterogeneous in the sense that the behaviour of a finite number of agents is preserved while the others are only abstractly represented. The precision of the abstraction can be tuned by an iterative procedure based on the analysis of counterexamples. Going beyond existing work, we show how to use the spotlight principle for analysing systems where the physical position of agents is relevant. To this end, we put the spotlight on areas rather than on fixed sets of agents.

Cite as

Tobe Toben, Bernd Westphal, and Jan-Hendrik Rakow. Spotlight Abstraction of Agents and Areas. In Quantitative and Qualitative Analysis of Network Protocols. Dagstuhl Seminar Proceedings, Volume 10051, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{toben_et_al:DagSemProc.10051.3,
  author =	{Toben, Tobe and Westphal, Bernd and Rakow, Jan-Hendrik},
  title =	{{Spotlight Abstraction of Agents and Areas}},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10051},
  editor =	{Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.3},
  URN =		{urn:nbn:de:0030-drops-25173},
  doi =		{10.4230/DagSemProc.10051.3},
  annote =	{Keywords: Spotlight Abstraction, Verification, Dynamic Communication Systems}
}

Filters


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