UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.

Dataset Open Access

Data for paper "Zone extrapolations in parametric timed automata"

Johan Arcile; Étienne André

Data manager(s)
Johan Arcile
Project manager(s)
Étienne André

Data for paper "Zone extrapolations in parametric timed automata"

This data set comes with two zip files:

  1. artifact.zip 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.
  2. results.zip contains an HTML page with a table summarizing all results, and all raw results (.res) as well.

 

Files (9.3 MB)
Name Size
artifact.zip
md5:0f9ce549ca96f260fe4b0c123f15b2d8
7.7 MB Download
results.zip
md5:bf7cf2c5f36204f3d62fa4bb0b4ae601
1.5 MB Download
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

Share

Cite as