Issue

Dagstuhl Reports, Volume 4, Issue 4



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue

Abstract
Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue

Cite as

Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue. In Dagstuhl Reports, Volume 4, Issue 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{DagRep.4.4,
  title =	{{Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4},
  URN =		{urn:nbn:de:0030-drops-47968},
  doi =		{10.4230/DagRep.4.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 4, Issue 4, 2014

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Table of Contents, Volume 4, Issue 4, 2014. In Dagstuhl Reports, Volume 4, Issue 4, pp. i-ii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{DagRep.4.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 4, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.i},
  URN =		{urn:nbn:de:0030-drops-47957},
  doi =		{10.4230/DagRep.4.4.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Authors: Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14171 "Evaluating Software-Verification Systems: Benchmarks and Competitions". The seminar brought together a large group of current and future competition organizers and participants, benchmark maintainers, as well as practitioners and researchers interested in the topic. The seminar was conducted as a highly-interactive event, with a wide spectrum of contributions from participants, including talks, tutorials, posters, tool demstrations, hands-on sessions, and a live competition.

Cite as

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan. Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). In Dagstuhl Reports, Volume 4, Issue 4, pp. 1-19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{beyer_et_al:DagRep.4.4.1,
  author =	{Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary},
  title =	{{Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)}},
  pages =	{1--19},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Beyer, Dirk and Huisman, Marieke and Klebanov, Vladimir and Monahan, Rosemary},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.1},
  URN =		{urn:nbn:de:0030-drops-46157},
  doi =		{10.4230/DagRep.4.4.1},
  annote =	{Keywords: Formal Verification, Deductive Verification, Automatic Verification, Theorem Proving, Model Checking, Program Analysis, Competition, Comparative Eval}
}
Document
Unifying Product and Software Configuration (Dagstuhl Seminar 14172)

Authors: Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö


Abstract
Research on computer-supported configuration of customizable products and services is currently carried out in two main communities: one community is mainly focused on the configuration of hardware artifacts, the other one is interested in configurable software systems and software product lines. Despite the significant overlap in research interests, the fields have mainly evolved in isolation in different fields such as Artificial Intelligence, Constraint Programming and Software Engineering. Yet, the communities have produced results that are applicable across the communities. The trend of products becoming increasingly heterogeneous, i.e., consisting of hardware, software and services, is furthermore increasingly blurring the line between the configuration domains in practice. This report documents the program and the outcomes of Dagstuhl Seminar 14172 "Unifying Product and Software Configuration". The seminar gathered researchers and practitioners working on configuration problems. The seminar consisted of invited presentations and working group sessions covering various topics of software and product configuration including knowledge representation issues, automated reasoning and configuration management and had a particular focus on the industry perspective.

Cite as

Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö. Unifying Product and Software Configuration (Dagstuhl Seminar 14172). In Dagstuhl Reports, Volume 4, Issue 4, pp. 20-35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{czarnecki_et_al:DagRep.4.4.20,
  author =	{Czarnecki, Krzysztof and Hubaux, Arnaud and Jackson, Ethan and Jannach, Dietmar and M\"{a}nnist\"{o}, Tomi},
  title =	{{Unifying Product and Software Configuration (Dagstuhl Seminar 14172)}},
  pages =	{20--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Czarnecki, Krzysztof and Hubaux, Arnaud and Jackson, Ethan and Jannach, Dietmar and M\"{a}nnist\"{o}, Tomi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.20},
  URN =		{urn:nbn:de:0030-drops-46162},
  doi =		{10.4230/DagRep.4.4.20},
  annote =	{Keywords: Product Configuration, Software Product Lines, Configuration Management}
}
Document
Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181)

Authors: Michael N. Huhns, Wolfgang Ketter, Ryszard Kowalczyk, Fabrice Saffre, and Rainer Unland


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14181 "Multi-agent systems and their role in future energy grids". A number of recent events (e.g. Fukushima, Japan, and the largest blackout in history, India) have once again increased global attention on climate change and resource depletion. The evaluation of the feasibility of current approaches for future energy generation, distribution, transportation, and consumption has become an important requirement for most countries. There is a general consensus on the need for a fundamental transformation of future energy grids. The development of an information and communication technology (ICT) support infrastructure was identified as the key challenge in the design of an end-to-end smart grid. A multiagent system, with agents located at the edges and nodes of the grid and representing the interests of end-users, distributors, and providers, enables intelligent decisions to be made at each node in the electric power distribution network (grid). The seminar fostered discussions among experts from all relevant disciplines is to develop the foundation for the necessary interdisciplinary solution from engineering, computer science, and business management. The outcome was an understanding and identification of the requirements on the information systems for future smart grids.

Cite as

Michael N. Huhns, Wolfgang Ketter, Ryszard Kowalczyk, Fabrice Saffre, and Rainer Unland. Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181). In Dagstuhl Reports, Volume 4, Issue 4, pp. 37-48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{huhns_et_al:DagRep.4.4.37,
  author =	{Huhns, Michael N. and Ketter, Wolfgang and Kowalczyk, Ryszard and Saffre, Fabrice and Unland, Rainer},
  title =	{{Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181)}},
  pages =	{37--48},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Huhns, Michael N. and Ketter, Wolfgang and Kowalczyk, Ryszard and Saffre, Fabrice and Unland, Rainer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.37},
  URN =		{urn:nbn:de:0030-drops-46179},
  doi =		{10.4230/DagRep.4.4.37},
  annote =	{Keywords: Multiagent Systems, Demand-Side Management, Smart Grid, Eneregy Distribution}
}
Document
Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)

Authors: Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14182 "Perspectives Workshop: Categorical Methods at the Crossroads". The aim of the meeting was to investigate the potential of category theory as a paradigm for mathematical modeling and applied science. The envisaged application areas included computation, physics, biology, complex systems, social and cognitive science and linguistics. Many of these areas were indeed tackled in the variety of topics dealt with during the workshop. Each working day followed the same structure: two survey lectures during the morning, followed by two/three shorter talks in the afternoon, and closed by a working group session. During these sessions the attendants split into several groups according to the main thematic areas that had been identified on the first day. Both surveys and talks are reported in the "Overview" section of the report, while a wrap-up of the discussions that occurred inside the working groups is reported in the "Working Groups" section.

Cite as

Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel. Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182). In Dagstuhl Reports, Volume 4, Issue 4, pp. 49-63, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{abramsky_et_al:DagRep.4.4.49,
  author =	{Abramsky, Samson and Baez, John C. and Gadducci, Fabio and Winschel, Viktor},
  title =	{{Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)}},
  pages =	{49--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Abramsky, Samson and Baez, John C. and Gadducci, Fabio and Winschel, Viktor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.49},
  URN =		{urn:nbn:de:0030-drops-46189},
  doi =		{10.4230/DagRep.4.4.49},
  annote =	{Keywords: Category theory, concurrency, economics, game theory, logics, quantum computing, semantics}
}

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