Software Open Access

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

André, Etienne; Arias, Jaime; Petrucci, Laure; van de Pol, Jaco


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/1109c6e9-0567-4753-b456-49e1cda919e4/tacas21-artifact.zip"
      }, 
      "checksum": "md5:2af048a0bfd9c686211e2d29e7b88618", 
      "bucket": "1109c6e9-0567-4753-b456-49e1cda919e4", 
      "key": "tacas21-artifact.zip", 
      "type": "zip", 
      "size": 170272759
    }
  ], 
  "owners": [
    38959
  ], 
  "doi": "10.5281/zenodo.4115919", 
  "stats": {
    "version_unique_downloads": 8.0, 
    "unique_views": 51.0, 
    "views": 58.0, 
    "version_views": 58.0, 
    "unique_downloads": 8.0, 
    "version_unique_views": 51.0, 
    "volume": 1532454831.0, 
    "version_downloads": 9.0, 
    "downloads": 9.0, 
    "version_volume": 1532454831.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.4115919", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4115918", 
    "bucket": "https://zenodo.org/api/files/1109c6e9-0567-4753-b456-49e1cda919e4", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4115918.svg", 
    "html": "https://zenodo.org/record/4115919", 
    "latest_html": "https://zenodo.org/record/4115919", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.4115919.svg", 
    "latest": "https://zenodo.org/api/records/4115919"
  }, 
  "conceptdoi": "10.5281/zenodo.4115918", 
  "created": "2020-10-23T05:42:18.173524+00:00", 
  "updated": "2020-10-27T00:26:56.462426+00:00", 
  "conceptrecid": "4115918", 
  "revision": 2, 
  "id": 4115919, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.4115919", 
    "description": "<p>The artifact contains the latest version (3.0.0) of the imitator software (https://www.imitator.fr) which provides new implementation and heuristics for cycle detection in Parametric Timed Automata.<br>\nThe paper presents the different algorithms at stake, studies their termination and completeness properties, and compares them through experiments. The algorithms cover BFS (Breadth-First Search) and several variants of NDFS (Nested Depth First Search), including an iterative deepening approach, in the parametric setting. It finally tackles properties of the BRP (Bounded Retransmission Protocol) parametric model, synthesising more liberal constraints than previous works.</p>\n\n<p>This artifact contains the means to reproduce the experimental results from the paper. The scripts provided in the artifact allow for obtaining the cycle detection results in tables 1 and 2. An additional script launches the experiments on the BRP case study, in the same order as they are detailed in section 6 of the paper.<br>\nThe artifact also provides the source files as well as the necessary libraries for compilation, and a pre-compiled version of the tool.</p>\n\n<p>Zenodo link: https://doi.org/10.5281/zenodo.4115919<br>\nGitlab link: https://depot.lipn.univ-paris13.fr/imitator/papers/tacas21</p>", 
    "license": {
      "id": "GPL-3.0-only"
    }, 
    "title": "Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4115918"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "4115919"
          }
        }
      ]
    }, 
    "publication_date": "2020-10-21", 
    "creators": [
      {
        "orcid": "0000-0001-8473-9555", 
        "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
        "name": "Andr\u00e9, Etienne"
      }, 
      {
        "orcid": "0000-0003-3019-4902", 
        "affiliation": "LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, France", 
        "name": "Arias, Jaime"
      }, 
      {
        "orcid": "0000-0003-3154-5268", 
        "affiliation": "LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, France", 
        "name": "Petrucci, Laure"
      }, 
      {
        "affiliation": "Computer Science Department, University of Aarhus, Denmark", 
        "name": "van de Pol, Jaco"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4115918", 
        "relation": "isVersionOf"
      }
    ]
  }
}
58
9
views
downloads
All versions This version
Views 5858
Downloads 99
Data volume 1.5 GB1.5 GB
Unique views 5151
Unique downloads 88

Share

Cite as