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
75
14
views
downloads
All versions This version
Views 7575
Downloads 1414
Data volume 58.6 MB58.6 MB
Unique views 6464
Unique downloads 1111

Share

Cite as