January 6, 2022 Dataset Open Access

Johan Arcile; Étienne André

JSON-LD (schema.org) Export

{
  "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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
      "@type": "Person", 
      "name": "Johan Arcile"
    }, 
    {
      "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
      "@id": "https://orcid.org/0000-0001-8473-9555", 
      "@type": "Person", 
      "name": "\u00c9tienne Andr\u00e9"
    }
  ], 
  "url": "https://zenodo.org/record/5824264", 
  "datePublished": "2022-01-06", 
  "keywords": [
    "timed automata", 
    "parametric timed automata", 
    "zone extrapolation", 
    "model checking"
  ], 
  "contributor": [
    {
      "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
      "@type": "Person", 
      "name": "Johan Arcile"
    }, 
    {
      "affiliation": "Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France", 
      "@id": "https://orcid.org/0000-0001-8473-9555", 
      "@type": "Person", 
      "name": "\u00c9tienne Andr\u00e9"
    }
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/b1475b19-12b3-48f2-a2c4-8d1a25ba3c29/artifact.zip", 
      "encodingFormat": "zip", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/b1475b19-12b3-48f2-a2c4-8d1a25ba3c29/results.zip", 
      "encodingFormat": "zip", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.5824264", 
  "@id": "https://doi.org/10.5281/zenodo.5824264", 
  "@type": "Dataset", 
  "name": "Data for paper \"Zone extrapolations in parametric timed automata\""
}