Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

Dataset Open Access

Data for paper "Zone extrapolations in parametric timed automata"

Johan Arcile; Étienne André

DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.5824264">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Dataset"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.5824264</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.5824264"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Johan Arcile</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université de Lorraine, CNRS, Inria, LORIA, Nancy, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-8473-9555">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-8473-9555</dct:identifier>
        <foaf:name>Étienne André</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université de Lorraine, CNRS, Inria, LORIA, Nancy, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>Data for paper "Zone extrapolations in parametric timed automata"</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2022</dct:issued>
    <dcat:keyword>timed automata</dcat:keyword>
    <dcat:keyword>parametric timed automata</dcat:keyword>
    <dcat:keyword>zone extrapolation</dcat:keyword>
    <dcat:keyword>model checking</dcat:keyword>
    <frapo:isFundedBy rdf:resource="info:eu-repo/grantAgreement/ANR//ANR-19-CE25-0015/"/>
    <schema:funder>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/501100001665</dct:identifier>
        <foaf:name>Agence Nationale de la Recherche</foaf:name>
      </foaf:Organization>
    </schema:funder>
    <dct:contributor>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Johan Arcile</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université de Lorraine, CNRS, Inria, LORIA, Nancy, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:contributor>
    <dct:contributor>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-8473-9555">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-8473-9555</dct:identifier>
        <foaf:name>Étienne André</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université de Lorraine, CNRS, Inria, LORIA, Nancy, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:contributor>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2022-01-06</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/5824264"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/5824264</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:source rdf:resource="https://doi.org/10.5281/zenodo.4730980"/>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.5824263"/>
    <dct:description>&lt;p&gt;Data for paper &amp;quot;&lt;em&gt;Zone extrapolations in parametric timed automata&lt;/em&gt;&amp;quot;&lt;/p&gt; &lt;p&gt;This data set comes with two zip files:&lt;/p&gt; &lt;ol&gt; &lt;li&gt;&lt;strong&gt;artifact.zip&lt;/strong&gt; 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.&lt;/li&gt; &lt;li&gt;&lt;strong&gt;results.zip&lt;/strong&gt; contains an HTML page with a table summarizing all results, and all raw results (.res) as well.&lt;/li&gt; &lt;/ol&gt; &lt;p&gt;&amp;nbsp;&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.5824264"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.5824264"/>
        <dcat:byteSize>7714864</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/5824264/files/artifact.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.5824264"/>
        <dcat:byteSize>1536600</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/5824264/files/results.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
  <foaf:Project rdf:about="info:eu-repo/grantAgreement/ANR//ANR-19-CE25-0015/">
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ANR-19-CE25-0015</dct:identifier>
    <dct:title>Provable Mitigation of Side Channel through Parametric Verification</dct:title>
    <frapo:isAwardedBy>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/501100001665</dct:identifier>
        <foaf:name>Agence Nationale de la Recherche</foaf:name>
      </foaf:Organization>
    </frapo:isAwardedBy>
  </foaf:Project>
</rdf:RDF>
81
16
views
downloads
All versions This version
Views 8181
Downloads 1616
Data volume 67.8 MB67.8 MB
Unique views 7070
Unique downloads 1212
More info on how stats are collected.
Indexed in
Publication date:
January 6, 2022
DOI:
10.5281/zenodo.5824264

Zenodo DOI Badge

DOI 

10.5281/zenodo.5824264

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5824264.svg)](https://doi.org/10.5281/zenodo.5824264)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5824264.svg
   :target: https://doi.org/10.5281/zenodo.5824264

HTML 

<a href="https://doi.org/10.5281/zenodo.5824264"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5824264.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5824264.svg

Target URL 

https://doi.org/10.5281/zenodo.5824264

Keyword(s):
timed automata parametric timed automata zone extrapolation model checking
Grants:
Agence Nationale de la Recherche:
  • ProMiS - Provable Mitigation of Side Channel through Parametric Verification (ANR-19-CE25-0015)
Related identifiers:
Derived from
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.5824264 Jan 6, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5824263. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export