TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


DARTS image

Dagstuhl Artifacts Series (DARTS)


The Dagstuhl Artifacts Series (DARTS) publishes evaluated research data and artifacts in all areas of computer science. An artifact can be any kind of content related to computer science research, e.g., experimental data, source code, virtual machines containing a complete setup, test suites, or tools. In contrast to existing repositories for research data and artifacts like Zenodo or figshare, DARTS focuses on artifacts that underwent an evaluation process before their publication.

An artifact should be related to a research paper (which does not necessarily have to be published within a series of Dagstuhl Publishing but which should be clearly citable, e.g., by a DOI) and should help to verify the repeatability and correctness of the experiments/implementations described in the related paper.

The series is organized as a periodical consisting of one volume per year. Each volume can consist of several issues. Thereby, DARTS currently focuses on special issues that are related to a conference.

Publications
DARTS webportal: Archive of all published DARTS volumes.
DARTS @ dblp
Aims and Scope

The DARTS series aims at the provision of a publication venue for evaluated research data and artifacts. An artifact can be any kind of content related to computer science research, e.g., experimental data, source code, virtual machines containing a complete setup, test suites, or tools. In contrast to existing repositories for research data and artifacts, DARTS focuses on artifacts that underwent an evaluation process before their publication.

The scope of DARTS covers all areas of computer science.


Open Access Policy
Artifacts in DARTS are published electronically according to the principles of open access, i.e., they are available online and free of charge.
License
Each artifact description is published under a Creative Commons CC BY license (http://creativecommons.org/licenses/by/4.0/).
The actual artifact is published under a Open Source license to be found in the artifact description.
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license (https://creativecommons.org/publicdomain/zero/1.0/legalcode).

Processing Charge
For an initial pilot phase there will be no publication charges.

ISSN
2509-8195
Identifier
Each issue is assigned a DOI and a URN.
Each article is assigned a DOI and a URN.
To facilitate author identification, the Open Researcher and Contributor ID (ORCID) is optionally included during upload so that authors can be uniquely linked to their ORCID iD.

Longterm Preservation

Publication Ethics
Dagstuhl Publishing as the publisher of the series adheres to the Core Practices of the the Committee on Publication Ethics (COPE) and the Guidelines for Safeguarding Good Research Practice released by the German Research Foundation (Deutsche Forschungsgemeinschaft - DFG). We expect all parties (so authors, editors, and reviewers) involved in the publication and review process of contributions to be published in the series to follow these core practises and the guidelines. Allegations of misconduct will be investigated in accordance with the COPE Best Practice Guidelines as far as is practicable. If notified of a potential breach of publication ethics, we encourage editors and authors to inform Dagstuhl Publishing contact as soon as possible.
Editorial Board

Constitution

The editorial board oversees the selection of issues to be included in DARTS. The board is monitored by the Scientific Advisory Board of Schloss Dagstuhl. In its initial configuration, the board consists of at least 2 members with a background of artifact evaluation in computer science and the scientific director of Schloss Dagstuhl or his/her representative. The editorial board may give itself rules of internal procedures.

Editorial Policy

To publish an issue in the Dagstuhl Artifacts Series (DARTS), the organizers of a conference must submit a proposal covering the following issues:

  • Information about the conference
    • Content: Topics, size of the articles, number of articles, ...
    • Peer Review: How is the peer review process organized?
    • Timeline: Coarse schedule regarding the deadline for submission, duration of the peer review process or notification deadline, respectively, deadline for submission of camera-ready documents for both research papers as well as research artifacts.
    • Proceedings: Where are the proceedings published?
  • Artifact Evaluation Process:
    • Description of the artifact evaluation process: Which parties are involved? How is the relation of the artifact evaluation committee and the regular program committee of the conference and how/when are decisions synchronized?
    • List of the artifact evaluation committee members.

The proposal will be processed by Dagstuhl's editorial office and then forwarded to the DARTS Editorial Board for a timely decision. The following decisions are possible: (1) acceptance, (2) request for revised re-submission, or (3) rejection.


Artifact Evaluation

All artifacts to be published within DARTS need to undergo some sort of systematic evaluation process, typically administered by an evaluation committee. Thereby, it should be ensured that the artifact is well documented, easy to reuse, consistent, and complete with respect to the claims made in the related research paper.
It is up to the editors of a special issue to organize the evaluation process and to provide the methodology for the evaluation. As a suggestion, the guidelines for Artifact Evaluation for Software Conferences can serve as basis. The description of the artifact evaluation process has to be publicly available and is part of the preface of the issue and of the proposal.


Templates and Example Files

Please download the current version of the DARTS style along with an example file and detailed author instructions:

darts-v2021 v2021.1.2

For older releases and an issue tracker, see our GitHub archive.


Artifact Description

Each artifact is published with a separate description which should

  • contain information of the scope of the artifact,
  • list the content of the artifact,
  • provide information about the origin of the artifact (e.g., reference to version control platforms like GitHub including a version number (if applicable)),
  • specify the platform on which the artifact has been tested (if applicable),
  • provide a reference to the license of the artifact (DARTS requires the usage of free and open source software licenses. The license of the artifact can be different from the license of the artifact description. The description is released under a Creative Commons Attribution 4.0 International license (CC BY 4.0), i.e., the authors retain their copyright. For a incomplete list of free licenses, please visit http://www.gnu.org/licenses/license-list.en.html and https://opensource.org/licenses/.),
  • provide the MD5 sum of the artifact,
  • contain the size of the artifact,
  • specify keywords,
  • provide the DOI, as well as
  • provide a reference to the related research paper.

Metadata

Each artifact is published with machine-readable metadata including the following information according to the DataCite Metadata Schema:

  • title
  • authors (The list of authors of the artifact may include people who are not authors of the related paper, but contributed to creating the artifact.)
  • keywords \ subjects
  • publisher
  • publication date
  • type (e.g., DataCite properties resourceTypeGeneral and resourceType)
  • DOI
  • identifier (e.g., DOI) of the related research paper
  • size
  • version (if applicable)
  • license

File formats

DARTS accepts any kind of data file formats for the artifacts. However, it can not guarantee continued access and preservation of obsolete or obscure formats. For that reason, open, non-proprietary and well-documented formats are highly recommended wherever possible.


FAQ
Author Approval
  • During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
  • authors approve or ask for (minor) corrections
  • Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
  • Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
  • Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
  • Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).

If you click on "Save and Finish Author Approval", we are notified about your request.

Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).

In case these checks are positive, we implement the changes both in the metadata (if necessary) AND in the LaTeX file.

In any case, even if we cannot make the requested changes, you will be informed by E-mail.


IMPORTANT! Please note that only minor corrections should be done at this stage. Here, "minor" also refers to the total number of changes. (We have already had inquiries with 50 change requests, most of them typos. Although each request is minor, the implementation is time-consuming in sum.) Requests that exceed our processing capacities and thus endanger the timely publication of the whole volume may be rejected.

As soon as some authorized user (usually you or your co-authors, if any) finishes the approval request and submits it to Dagstuhl Publishing (this happens at the end of Step 2), we are notified about your request.

Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).

In case these checks are positive, we implement the changes both in the metadata AND in the LaTeX file.


Note that, when submitting the approval, you can decide on if you want to see the changed document again or if you consider the document as approved after the changes have been made (without a further preview).


In any case, even if we cannot make the requested changes, you will be informed by E-mail.

Publication Workflow
  • During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
  • authors approve or ask for (minor) corrections
  • Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
  • Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
  • Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
  • Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).
LaTeX Style

Here is an example of a completely filled author macro:

\author{John Q. Public}
{Institute of Pure Nonsense, Dummy University, Atlantis
 \and \url{http://www.myhomepage.edu}}
{johnqpublic@dummyuni.org}
{https://orcid.org/0000-0002-1825-0097}
{funded by the man in the moon.}

Please note:

  • Use full first and last name.
  • City and country belong to the minimum requirements on an affiliation.
  • If an author has several different affiliations, please clearly separate them with the keyword \and.
  • E-mail, ORCID, and funding are optional.
  • Author macros cannot be shared! Please use separate author macros even if two or more authors have the same affiliation!

This macro sets the page header of odd pages, which is an abbreviated version of the concatenated author string. Sample usage:

\authorrunning{J.\,Q. Public, A.\,E. Access, and E. Example}

Please...

  • abbreviate first names
  • in case of middle initials: use \, as illustrated in the example
  • be consistent with the \author macros
  • in case of 2 authors: concatenate with " and "
  • in case of 3 or more authors, see the sample for concatenation
  • in case of overfull \hboxes: use the name of the first author and "et al."

\ccsdesc{...} is for classification information following the ACM 2012 Computing Classification System. Sample usage:

\ccsdesc{Theory of computation~Proof complexity}
\ccsdesc{Theory of computation~Quantum complexity theory}

Please feel free to use our ACM 2012 Subject Finder to search for appropriate classifications and to generate the necessary LaTeX code.

Using this macro, you specify the copyright holder (appearing at the bottom of the title page) which is usually the team of authors. Sample usage:

\Copyright{John Q. Public, Adam E. Access, and Eve Example}

Please...

  • use full first and last names
  • be consistent with the \author macros
  • in case of 2 authors: concatenate with " and "
  • in case of 3 or more authors, see the sample for concatenation

This macro should be used to capture general (i.e. not author-specific) funding information.

If a funding can be clearly assigned to an author, please use the last part of the \author macro instead.

Sample usage:

\keywords{Theory of Everything, indefinite Metrics, abstract Nonsense}

Please note:

  • comma as delimiter
  • first word and every proper noun should be capitalized

We expect you to provide your DARTS artifact as a single (compressed) file. To calculate the md5-sum of this file on your local machine, please type:

  • md5 [artifact_filename] in a Linux/Mac OS terminal
  • CertUtil -hashfile [artifact_filename] MD5 in a Windows Shell

The output should be a 32 byte hex string. Use this string as argument of the mdsum-macro, e.g., \mdsum{b157da23549e1d718bb16d22ded6d941}.

Not found?

Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!

Front Matter

Each issue in the Dagstuhl Artifacts Series (DARTS) has a preface written by the chairs of the artifact evaluation committee that describes the artifact evaluation process. This description is also an essential part of the proposal.


Front Matter Template and Example Files

Please download the current version of the DARTS front matter style along with an example file:

dartsmaster-v2021 v2021.1.2
FAQ
Author Approval
  • During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
  • authors approve or ask for (minor) corrections
  • Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
  • Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
  • Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
  • Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).

If you click on "Save and Finish Author Approval", we are notified about your request.

Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).

In case these checks are positive, we implement the changes both in the metadata (if necessary) AND in the LaTeX file.

In any case, even if we cannot make the requested changes, you will be informed by E-mail.


IMPORTANT! Please note that only minor corrections should be done at this stage. Here, "minor" also refers to the total number of changes. (We have already had inquiries with 50 change requests, most of them typos. Although each request is minor, the implementation is time-consuming in sum.) Requests that exceed our processing capacities and thus endanger the timely publication of the whole volume may be rejected.

As soon as some authorized user (usually you or your co-authors, if any) finishes the approval request and submits it to Dagstuhl Publishing (this happens at the end of Step 2), we are notified about your request.

Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).

In case these checks are positive, we implement the changes both in the metadata AND in the LaTeX file.


Note that, when submitting the approval, you can decide on if you want to see the changed document again or if you consider the document as approved after the changes have been made (without a further preview).


In any case, even if we cannot make the requested changes, you will be informed by E-mail.

Publication Workflow
  • During this period (of usually 3 working days) authors are shown a pdf preview of their paper along with the extracted metadata.
  • authors approve or ask for (minor) corrections
  • Dagstuhl Publishing asks authors to help with resolving issues detected during the final typesetting (if any)
  • Dagstuhl Publishing checks the correction requests and revises the papers (if possible)
  • Authors are informed at an early stage on the dates and can authorize other persons to do the approval on behalf of them (if necessary).
  • Editors are not involved in this process, but can see the revisions in a change-log (during the editor approval step).
LaTeX Style

This macro sets the page header of odd pages, which is an abbreviated version of the concatenated author string. Sample usage:

\authorrunning{J.\,Q. Public, A.\,E. Access, and E. Example}

Please...

  • abbreviate first names
  • in case of middle initials: use \, as illustrated in the example
  • be consistent with the \author macros
  • in case of 2 authors: concatenate with " and "
  • in case of 3 or more authors, see the sample for concatenation
  • in case of overfull \hboxes: use the name of the first author and "et al."

\ccsdesc{...} is for classification information following the ACM 2012 Computing Classification System. Sample usage:

\ccsdesc{Theory of computation~Proof complexity}
\ccsdesc{Theory of computation~Quantum complexity theory}

Please feel free to use our ACM 2012 Subject Finder to search for appropriate classifications and to generate the necessary LaTeX code.

Using this macro, you specify the copyright holder (appearing at the bottom of the title page) which is usually the team of authors. Sample usage:

\Copyright{John Q. Public, Adam E. Access, and Eve Example}

Please...

  • use full first and last names
  • be consistent with the \author macros
  • in case of 2 authors: concatenate with " and "
  • in case of 3 or more authors, see the sample for concatenation

This macro should be used to capture general (i.e. not author-specific) funding information.

If a funding can be clearly assigned to an author, please use the last part of the \author macro instead.

Sample usage:

\keywords{Theory of Everything, indefinite Metrics, abstract Nonsense}

Please note:

  • comma as delimiter
  • first word and every proper noun should be capitalized

We expect you to provide your DARTS artifact as a single (compressed) file. To calculate the md5-sum of this file on your local machine, please type:

  • md5 [artifact_filename] in a Linux/Mac OS terminal
  • CertUtil -hashfile [artifact_filename] MD5 in a Windows Shell

The output should be a 32 byte hex string. Use this string as argument of the mdsum-macro, e.g., \mdsum{b157da23549e1d718bb16d22ded6d941}.

Not found?

Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!

Recently published volumes
  • DARTS, Vol. 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)
    Angeliki Kritikakou and Matthias Becker
  • DARTS, Vol. 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
    Alessandra Gorla and Stefan Winter
  • DARTS, Vol. 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
    William G. J. Halfond and Quentin Stiévenart
  • DARTS, Vol. 7, Issue 1, Special Issue of the 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)
    Alessandro Biondi and Angeliki Kritikakou
  • DARTS, Vol. 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
    Lisa Nguyen Quang Do and Manuel Rigger
  • DARTS, Vol. 6, Issue 1, Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
    Alessandro V. Papadopoulos and Alessandro Biondi
  • DARTS, Vol. 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
    Maria Christakis and Manuel Rigger
  • DARTS, Vol. 5, Issue 1, Special Issue of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
    Sophie Quinton, Sebastian Altmeyer, and Alessandro Papadopoulos
  • DARTS, Vol. 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
    Maria Christakis, Philipp Haller, and Marianna Rapoport
  • DARTS, Vol. 4, Issue 2, Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
    Sebastian Altmayer and Martina Maggio
  • DARTS, Vol. 4, Issue 1, Special Issue of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018)
    Philipp Haller, Michael Pradel, and Tijs van der Storm
  • DARTS, Vol. 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
    Philipp Haller, Michael Pradel, and Tijs van der Storm
  • DARTS, Vol. 3, Issue 1, Special Issue of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017)
    Javier Cámara, Bashar Nuseibeh, and David Garlan
  • DARTS, Vol. 1, Issue 1, Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015)
    Camil Demetrescu
  • DARTS, Vol. 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
    Matthew Flatt and Tijs van der Storm