Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"

Artifact for the paper "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks", accepted at CoNEXT 2020.

This artifact contains a reproducibility-package with experiments and scripts to reproduce the results reported in the paper. 

The source code is available on GitHub:
 - Source code for AalWiNes: https://github.com/DEIS-Tools/AalWiNes
 - Source code for the PDA engine: https://github.com/DEIS-Tools/PDAAAL
 - Source code for the GUI: https://github.com/DEIS-Tools/VisuAalWiNes

A demo of the GUI is available at: https://demo.aalwines.cs.aau.dk

Reproducibility

The reproducibility-package is only available for Linux.

The package contains:
 - bin (programs binaries)
 - operator-network (for the table in the paper)
 - synthetic-networks (for the plot in the paper)
 - results (pre-populated)
 - Scripts to run tests and create plot and table.

Please see the README.txt file for further information.