Forskningsdatasæt
- 25 - 44 ud af 44 resultater
Søgeresultater
-
Models for "Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.4734188, https://zenodo.org/record/4734188
Datasæt
-
Repeatability Package for: Improvements in Unfolding of Colored Petri Nets
Bilgram, A. (Bidrager), Jensen, P. G. (Bidrager), Pedersen, T. (Bidrager), Srba, J. (Bidrager) & Taankvist, P. H. (Bidrager), Zenodo, 2021
DOI: 10.5281/zenodo.5255603, https://zenodo.org/record/5255603
Datasæt
-
Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Didriksen, M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Jønler, J. F. (Ophavsperson), Katona, A. (Ophavsperson), Lama, S. D. L. (Ophavsperson), Lottrup, F. B. (Ophavsperson), Shajarat, S. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.4501982, https://zenodo.org/record/4501982
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
-
Code, Benchmarks, and Data of Faster Stackelberg Planning via Symbolic Search and Information Sharing
Torralba, A. (Bidrager) & Speicher, P. (Bidrager), Zenodo, 2021
DOI: 10.5281/zenodo.4320574, https://zenodo.org/record/4320574
Datasæt
-
Generating Instructions at Different Levels of Abstraction
The, 2. I. C. O. C. L. 2. (Ophavsperson), Hoffmann, J. (Ophavsperson), Höller, D. (Ophavsperson), Köhn, A. (Ophavsperson), Koller, A. (Ophavsperson), Torralba, A. (Ophavsperson) & Wichlacz, J. (Ophavsperson), Underline Science Inc., 8 dec. 2020
DOI: 10.48448/9ecx-eq63, https://underline.io/lecture/6296-generating-instructions-at-different-levels-of-abstraction
Datasæt: Supplerende materiale
-
MABRAVO: Multicast Algorithm for Broadcast and Routing over AoIs in Voronoi Overlays
Albano, M. (Ophavsperson), Code Ocean, 1 sep. 2020
DOI: 10.24433/co.1722184.v1, https://doi.org/10.24433%2Fco.1722184.v1
Datasæt
-
Artifact for "Partial Order Reduction for Reachability Games"
Bønneland, F. M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson), Mũniz, M. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4058161, https://zenodo.org/record/4058161
Datasæt
-
Experiments for "It's Time to Play Safe: Shield Synthesis for Timed Systems"
Palmisano, A. (Ophavsperson), Lorber, F. (Ophavsperson), Könighofer, B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Bloem, R. (Ophavsperson) & Guldstrand, K. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.3903227, https://zenodo.org/record/3903227
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
-
Repetability for "Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction"
Jensen, P. G. (Ophavsperson), Cassez, F. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.3952856, https://zenodo.org/record/3952856
Datasæt
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Bidrager), Larsen, K. G. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Datasæt
-
TACAS 21 Artifact Evaluation VM - Ubuntu 20.04 LTS
Hyberts, S. H. (Ophavsperson), Jensen, P. G. (Ophavsperson) & Neele, T. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4041464, https://zenodo.org/record/4041464
Datasæt
-
Experiments for "Automata Theoretic Approach to Verification of MPLS Networks under Link Failures"
Jensen, P. G. (Ophavsperson), Jensen, H. T. (Ophavsperson), Duijn, I. V. (Ophavsperson), Jensen, J. S. (Ophavsperson), Krøgh, T. B. (Ophavsperson), Madsen, J. S. (Ophavsperson), Schmid, S. (Ophavsperson), Srba, J. (Ophavsperson) & Thorgersen, M. T. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.3888242, https://zenodo.org/record/3888242
Datasæt
-
Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees"
Hansen, R. R. (Ophavsperson), Larsen, K. G. (Ophavsperson), Legay, A. (Ophavsperson), Jensen, P. G. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2019
DOI: 10.5281/zenodo.3534293, https://zenodo.org/record/3534293
Datasæt
-
Artifact for "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs"
Jensen, P. G. (Ophavsperson), Zenodo, 2019
DOI: 10.5281/zenodo.3268381, https://zenodo.org/record/3268381
Datasæt
-
Code and data for construction of a network architecture for Multi-Multi-Instance learning
Jaeger, M. (Ophavsperson), Frasconi, P. (Ophavsperson) & Tibo, A. (Ophavsperson), Figshare, 7 mar. 2018
DOI: 10.6084/m9.figshare.5442451.v1, https://doi.org/10.6084%2Fm9.figshare.5442451.v1
Datasæt
-
Code and data for construction of a network architecture for Multi-Multi-Instance learning
Tibo, A. (Ophavsperson), Frasconi, P. (Ophavsperson) & Jaeger, M. (Ophavsperson), 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
Datasæt
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Ophavsperson) & Larsen, K. G. (Ophavsperson), 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
Datasæt