Forskningsdatasæt
- 5 resultater
Søgeresultater
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Jiri, S. (Bidrager), Schou, M. K. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 13 okt. 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Datasæt
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Datasæt
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Datasæt
-
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson), Vanerio, J. (Ophavsperson) & Duijn, I. V. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.5005894, https://zenodo.org/record/5005894
Datasæt
-
Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"
Jensen, P. G. (Ophavsperson), Kristiansen, D. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504
Datasæt