Datasets
- 1 - 25 out of 44 results
Search results
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Creator) & Larsen, K. G. (Creator), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 3 Dec 2015
DOI: https://doi.org/10.4230/oasics.syncop.2015.77, https://doi.org/10.4230%2Foasics.syncop.2015.77
Dataset
-
Code and data for construction of a network architecture for Multi-Multi-Instance learning
Tibo, A. (Creator), Frasconi, P. (Creator) & Jaeger, M. (Creator), Figshare, 2017
DOI: 10.6084/m9.figshare.5442451, https://figshare.com/articles/Code_and_data_for_construction_of_a_network_architecture_for_Multi-Multi-Instance_learning/5442451
Dataset
-
Code and data for construction of a network architecture for Multi-Multi-Instance learning
Jaeger, M. (Creator), Frasconi, P. (Creator) & Tibo, A. (Creator), Figshare, 7 Mar 2018
DOI: 10.6084/m9.figshare.5442451.v1, https://doi.org/10.6084%2Fm9.figshare.5442451.v1
Dataset
-
Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees"
Hansen, R. R. (Creator), Larsen, K. G. (Creator), Legay, A. (Creator), Jensen, P. G. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2019
DOI: 10.5281/zenodo.3534293, https://zenodo.org/record/3534293
Dataset
-
Generating Instructions at Different Levels of Abstraction
The, 2. I. C. O. C. L. 2. (Creator), Hoffmann, J. (Creator), Höller, D. (Creator), Köhn, A. (Creator), Koller, A. (Creator), Torralba, A. (Creator) & Wichlacz, J. (Creator), Underline Science Inc., 8 Dec 2020
DOI: 10.48448/9ecx-eq63, https://underline.io/lecture/6296-generating-instructions-at-different-levels-of-abstraction
Dataset: Supplementary material
-
MABRAVO: Multicast Algorithm for Broadcast and Routing over AoIs in Voronoi Overlays
Albano, M. (Creator), Code Ocean, 1 Sept 2020
DOI: 10.24433/co.1722184.v1, https://doi.org/10.24433%2Fco.1722184.v1
Dataset
-
Experiments for "It's Time to Play Safe: Shield Synthesis for Timed Systems"
Palmisano, A. (Creator), Lorber, F. (Creator), Könighofer, B. (Creator), Jensen, P. G. (Creator), Bloem, R. (Creator) & Guldstrand, K. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3903227, https://zenodo.org/record/3903227
Dataset
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Contributor), Larsen, K. G. (Contributor) & Srba, J. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Dataset
-
TACAS 21 Artifact Evaluation VM - Ubuntu 20.04 LTS
Hyberts, S. H. (Creator), Jensen, P. G. (Creator) & Neele, T. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4041464, https://zenodo.org/record/4041464
Dataset
-
Artifact for "Partial Order Reduction for Reachability Games"
Bønneland, F. M. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator), Mũniz, M. (Creator) & Srba, J. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4058161, https://zenodo.org/record/4058161
Dataset
-
Experiments for "Automata Theoretic Approach to Verification of MPLS Networks under Link Failures"
Jensen, P. G. (Creator), Jensen, H. T. (Creator), Duijn, I. V. (Creator), Jensen, J. S. (Creator), Krøgh, T. B. (Creator), Madsen, J. S. (Creator), Schmid, S. (Creator), Srba, J. (Creator) & Thorgersen, M. T. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3888242, https://zenodo.org/record/3888242
Dataset
-
Repetability for "Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction"
Jensen, P. G. (Creator), Cassez, F. (Creator) & Larsen, K. G. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3952856, https://zenodo.org/record/3952856
Dataset
-
Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"
Jensen, P. G. (Creator), Kristiansen, D. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator), Schrenk, B. C. (Creator) & Srba, J. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504
Dataset
-
DEIS-Tools/libstrategy: 1.0.8b
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Rendal, R. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499738, https://zenodo.org/record/5499738
Dataset
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Mikucionis, M. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Dataset
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Creator), Massacci, F. (Creator), Lluch-Lafuente, A. (Creator) & Schlichtkrull, A. (Creator), IEEE DataPort, 15 Jul 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Dataset
-
Code, Benchmarks, and Data of Faster Stackelberg Planning via Symbolic Search and Information Sharing
Torralba, A. (Contributor) & Speicher, P. (Contributor), Zenodo, 2021
DOI: 10.5281/zenodo.4320574, https://zenodo.org/record/4320574
Dataset
-
Code and Benchmarks from the paper "Automatic Instance Generation for Classical Planning"'
Torralba, A. (Creator), Seipp, J. (Creator), Sievers, S. (Creator), Torralba, A. (Contributor), Seipp, J. (Contributor) & Sievers, S. (Contributor), Zenodo, 2021
DOI: 10.5281/zenodo.4586397, https://zenodo.org/record/4586397
Dataset
-
Models for "Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Rasmussen, M. R. (Creator) & Srba, J. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4734188, https://zenodo.org/record/4734188
Dataset
-
Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
Jensen, P. G. (Creator), Srba, J. (Creator), Jensen Ulrik, N. (Creator) & Mejlby Virenfeldt, S. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.5704172, https://zenodo.org/record/5704172
Dataset
-
Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Didriksen, M. (Creator), Jensen, P. G. (Creator), Jønler, J. F. (Creator), Katona, A. (Creator), Lama, S. D. L. (Creator), Lottrup, F. B. (Creator), Shajarat, S. (Creator) & Srba, J. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4501982, https://zenodo.org/record/4501982
Dataset
-
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator), Srba, J. (Creator), Vanerio, J. (Creator) & Duijn, I. V. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.5005894, https://zenodo.org/record/5005894
Dataset
-
Repeatability Package for: Improvements in Unfolding of Colored Petri Nets
Bilgram, A. (Contributor), Jensen, P. G. (Contributor), Pedersen, T. (Contributor), Srba, J. (Contributor) & Taankvist, P. H. (Contributor), Zenodo, 2021
DOI: 10.5281/zenodo.5255603, https://zenodo.org/record/5255603
Dataset
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Srba, J. (Contributor), Schou, M. K. (Creator) & Vanerio, J. (Creator), Zenodo, 13 Oct 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Dataset