Time-sensitive Importance Splitting (experimental reproduction package)

Artifact to reproduce the experimental results presented in the article "Time-Sensitive Importance Splitting" by Gabriel Dengler, Carlos E. Budde, Laura Carnevali, and Arnd Hartmanns,  (submitted to QEST+FORMATS 2025).

The contents include all data and software (formal models, software tools, shell & Python scripts) used in the experimental evaluation presented in section 4 of the article. These contents are offered in two formats:

• The minimal artifact ("experimental reproduction package"), as the time_sensitive_ISPLIT_artifact.tar.xz archive,
  • this requires users to set up their system to be able to reproduce experiments;
• A standalone VM, as the time_sensitive_ISPLIT_artifact.ova appliance,
  • this can be directly loaded into VirtualBox for experimental reproduction.

Detailed instructions on how to reproduce the results of the artifact are available as READMEs here, and also bundled inside the artifact files.