Published July 7, 2022
| Version 1.0
Dataset
Open
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
- 1. Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
- 2. LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France
- 3. Aarhus University, Aarhus, Denmark
Contributors
Data manager:
- 1. Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
Description
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
It comes in the form of two archives:
- merging-artifact.zip: the whole set of benchmarks with the scripts to run
- merging-artifact-FORMATS22-results.zip: all results executed 5 times
Files
merging-artifact-FORMATS22-results.zip
Files
(62.4 MB)
Name | Size | Download all |
---|---|---|
md5:8a3a98d39128c111db8aec4b51dc6ed6
|
53.8 MB | Preview Download |
md5:06788564c469ce4342f52bb21e115302
|
8.7 MB | Preview Download |
Additional details
Funding
- ProMiS – Provable Mitigation of Side Channel through Parametric Verification ANR-19-CE25-0015
- Agence Nationale de la Recherche