January 6, 2022 Dataset Open Access

Johan Arcile; Étienne André

JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/b1475b19-12b3-48f2-a2c4-8d1a25ba3c29/artifact.zip"
      }, 
      "checksum": "md5:0f9ce549ca96f260fe4b0c123f15b2d8", 
      "bucket": "b1475b19-12b3-48f2-a2c4-8d1a25ba3c29", 
      "key": "artifact.zip", 
      "type": "zip", 
      "size": 7714864
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/b1475b19-12b3-48f2-a2c4-8d1a25ba3c29/results.zip"
      }, 
      "checksum": "md5:bf7cf2c5f36204f3d62fa4bb0b4ae601", 
      "bucket": "b1475b19-12b3-48f2-a2c4-8d1a25ba3c29", 
      "key": "results.zip", 
      "type": "zip", 
      "size": 1536600
    }
  ], 
  "owners": [
    70232
  ], 
  "doi": "10.5281/zenodo.5824264", 
  "stats": {
    "version_unique_downloads": 12.0, 
    "unique_views": 70.0, 
    "views": 81.0, 
    "version_views": 81.0, 
    "unique_downloads": 12.0, 
    "version_unique_views": 70.0, 
    "volume": 67833448.0, 
    "version_downloads": 16.0, 
    "downloads": 16.0, 
    "version_volume": 67833448.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.5824264", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.5824263", 
    "bucket": "https://zenodo.org/api/files/b1475b19-12b3-48f2-a2c4-8d1a25ba3c29", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.5824263.svg", 
    "html": "https://zenodo.org/record/5824264", 
    "latest_html": "https://zenodo.org/record/5824264", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.5824264.svg", 
    "latest": "https://zenodo.org/api/records/5824264"
  }, 
  "conceptdoi": "10.5281/zenodo.5824263", 
  "created": "2022-01-18T16:26:18.710410+00:00", 
  "updated": "2022-01-19T01:49:13.973457+00:00", 
  "conceptrecid": "5824263", 
  "revision": 2, 
  "id": 5824264, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.5824264", 
    "description": "<p>Data for paper &quot;<em>Zone extrapolations in parametric timed automata</em>&quot;</p>\n\n<p>This data set comes with two zip files:</p>\n\n<ol>\n\t<li><strong>artifact.zip</strong> contains the current version of IMITATOR, all models and necessary scripts to reproduce all experiments on our benchmarks set. A file named README.md gives all instructions for reproducibility.</li>\n\t<li><strong>results.zip</strong> contains an HTML page with a table summarizing all results, and all raw results (.res) as well.</li>\n</ol>\n\n<p>&nbsp;</p>", 
    "contributors": [
      {
        "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
        "type": "DataManager", 
        "name": "Johan Arcile"
      }, 
      {
        "orcid": "0000-0001-8473-9555", 
        "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
        "type": "ProjectManager", 
        "name": "\u00c9tienne Andr\u00e9"
      }
    ], 
    "title": "Data for paper \"Zone extrapolations in parametric timed automata\"", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "5824263"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "5824264"
          }
        }
      ]
    }, 
    "grants": [
      {
        "code": "ANR-19-CE25-0015", 
        "links": {
          "self": "https://zenodo.org/api/grants/10.13039/501100001665::ANR-19-CE25-0015"
        }, 
        "title": "Provable Mitigation of Side Channel through Parametric Verification", 
        "acronym": "ProMiS", 
        "program": "", 
        "funder": {
          "doi": "10.13039/501100001665", 
          "acronyms": [
            "Not Available"
          ], 
          "name": "Agence Nationale de la Recherche", 
          "links": {
            "self": "https://zenodo.org/api/funders/10.13039/501100001665"
          }
        }
      }
    ], 
    "keywords": [
      "timed automata", 
      "parametric timed automata", 
      "zone extrapolation", 
      "model checking"
    ], 
    "publication_date": "2022-01-06", 
    "creators": [
      {
        "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
        "name": "Johan Arcile"
      }, 
      {
        "orcid": "0000-0001-8473-9555", 
        "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
        "name": "\u00c9tienne Andr\u00e9"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "dataset", 
      "title": "Dataset"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4730980", 
        "relation": "isDerivedFrom", 
        "resource_type": "dataset"
      }, 
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.5824263", 
        "relation": "isVersionOf"
      }
    ]
  }
}