Data for Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions

DOI

The reproducibility package of the HSCC 2023 version is in "hscc_ptre-main.zip". The pdf version of the HSCC 2023 paper can also be found in the same zip file.

The new examples that use polytopes are in "polytope_examples.zip". Inside the zip file see "runscript.sh" for the commands to reproduce the experiments. The instructions for compiling and building the tool "ptre" is the same as given in the "README.md" of "hscc_ptre-main.zip".

The new examples that use zone-boxes and interval-boxes are in "unifyzone.zip". Inside the zip file see "runscript.sh" for the commands to reproduce the experiments. The instructions for compiling and building the tools "eitre" and "mptre" are given in "README.md" of "unifyzone.zip". Running the "make" command will generate the binaries "eitre" and "mptre".

Identifier
DOI https://doi.org/10.57745/EXO0JY
Related Identifier IsCitedBy https://doi.org/10.1145/3575870.35871
Metadata Access https://entrepot.recherche.data.gouv.fr/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.57745/EXO0JY
Provenance
Creator Dang, Thao ORCID logo; Mambakam, Akshay ORCID logo; Basset, Nicolas ORCID logo; Eugene Asarin ORCID logo
Publisher Recherche Data Gouv
Contributor Dang, Thao; Verimag; Entrepôt-Catalogue Recherche Data Gouv
Publication Year 2024
Rights etalab 2.0; info:eu-repo/semantics/openAccess; https://spdx.org/licenses/etalab-2.0.html
OpenAccess true
Contact Dang, Thao (Verimag ; UGA, CNRS, Grenoble INP ; France)
Representation
Resource Type Dataset
Format application/zip
Size 180304638
Version 1.0
Discipline Computer Science; Computer Science, Electrical and System Engineering; Engineering Sciences