Dataset Open Access

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"

Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.6806915", 
  "language": "eng", 
  "title": "Data for paper \"Efficient Convex Zone Merging in Parametric Timed Automata\"", 
  "issued": {
    "date-parts": [
      [
        2022, 
        7, 
        7
      ]
    ]
  }, 
  "abstract": "<p>This is the experimental data for paper &quot;Efficient Convex Zone Merging in Parametric Timed Automata&quot;</p>\n\n<p>It comes in the form of two archives:</p>\n\n<ol>\n\t<li><strong>merging-artifact.zip</strong>: the whole set of benchmarks with the scripts to run</li>\n\t<li><strong>merging-artifact-FORMATS22-results.zip</strong>: all results executed 5 times</li>\n</ol>", 
  "author": [
    {
      "family": "\u00c9tienne Andr\u00e9"
    }, 
    {
      "family": "Dylan Marinho"
    }, 
    {
      "family": "Laure Petrucci"
    }, 
    {
      "family": "Jaco van de Pol"
    }
  ], 
  "id": "6806915", 
  "event-place": "Warsaw, Poland", 
  "version": "1.0", 
  "type": "dataset", 
  "event": "20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)"
}
31
3
views
downloads
All versions This version
Views 3131
Downloads 33
Data volume 116.2 MB116.2 MB
Unique views 2727
Unique downloads 22
More info on how stats are collected.
Indexed in
Publication date:
July 7, 2022
DOI:
10.5281/zenodo.6806915

Zenodo DOI Badge

DOI 

10.5281/zenodo.6806915

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
timed automata parametric timed automata parametric timed model checking convex merging parameter synthesis formal verification
Grants:
Agence Nationale de la Recherche:
  • ProMiS - Provable Mitigation of Side Channel through Parametric Verification (ANR-19-CE25-0015)
Meeting:
20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Warsaw, Poland, 12-17 September 2022
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0 10.5281/zenodo.6806915 Jul 7, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6806914. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export