Dataset Open Access
Data for paper "Zone extrapolations in parametric timed automata"
Johan Arcile;
Étienne André
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.5824264",
"author": [
{
"family": "Johan Arcile"
},
{
"family": "\u00c9tienne Andr\u00e9"
}
],
"issued": {
"date-parts": [
[
2022,
1,
6
]
]
},
"abstract": "<p>Data for paper "<em>Zone extrapolations in parametric timed automata</em>"</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> </p>",
"title": "Data for paper \"Zone extrapolations in parametric timed automata\"",
"type": "dataset",
"id": "5824264"
}
81
16
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 81 | 81 |
| Downloads | 16 | 16 |
| Data volume | 67.8 MB | 67.8 MB |
| Unique views | 70 | 70 |
| Unique downloads | 12 | 12 |
Indexed in
- Publication date:
- January 6, 2022
- DOI:
-
- 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
- 10.5281/zenodo.4730980 (Dataset)
- License (for files):
- Creative Commons Attribution 4.0 International