Datasets
- 18 results
Search results
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator) & Srba, J. (Creator), Zenodo, 1 Aug 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Dataset
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Creator), Jensen, P. G. (Creator), Pedersen, T. (Creator), Srba, J. (Creator) & Taankvist, P. H. (Creator), Zenodo, 6 Apr 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Dataset
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Srba, J. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
Dataset
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Mikucionis, M. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
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) & Mikučionis, M. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
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.-I. (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
-
Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
Gjøl Jensen, P. (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
-
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
-
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
-
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 "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
-
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
-
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
-
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
-
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
-
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