Datasets
- 1 - 25 out of 84 results
Search results
-
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator) & van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020
DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
Dataset
-
A Modest Markov Automata Tutorial (Artifact)
Hartmanns, A. (Creator) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 24 Sept 2019
DOI: 10.4121/uuid:5a73169e-b494-411b-b3a8-051e62efba9e
Dataset
-
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Butkova, Y. (Creator), Hartmanns, A. (Contributor) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 5 Sept 2019
DOI: 10.4121/uuid:98d571be-cdd4-4e5a-a589-7c5b1320e569, https://doi.org/10.1007/978-3-030-30281-8_4
Dataset
-
Generated Petri Net Markup Language (PNML) models and log traces (in XES)
Bloemen, V. (Creator), University of Twente, 9 Apr 2018
DOI: 10.4121/uuid:a6709ee4-2aa3-49a3-92db-247e8b5bf340
Dataset
-
PhD Thesis Artifact: Correct Optimized GPU Programs
Safari, M. (Creator), 4TU.Centre for Research Data, 31 Jan 2022
DOI: 10.4121/19055453
Dataset
-
Attack time analysis in dynamic attack trees via integer linear programming: code and data
Lopuhaä - Zwakenberg, M. A. (Creator), Zenodo, 30 Sept 2021
DOI: 10.5281/zenodo.5541760, https://zenodo.org/records/5541760/
Dataset
-
Generated and industrial PNML models with generated log traces (in XES)
Bloemen, V. (Creator), University of Twente, 19 Sept 2018
DOI: 10.4121/uuid:5f168a76-cc26-42d6-a67d-48be9c978309
Dataset
-
Software artefact for FIG: the Finite Improbability Generator
Budde, C. (Creator), 4TU.Centre for Research Data, 12 May 2020
DOI: 10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e, https://data.4tu.nl/articles/_/12666818/1
Dataset
-
Reproduction Package for FMICS 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'
Lingsch-Rosenfeld, M. (Creator), Beyer, D. (Creator), Huisman, M. (Creator) & Armborst, L. (Creator), Zenodo, 11 Apr 2025
DOI: 10.5281/zenodo.15199589, https://zenodo.org/records/15199589 and one more link, https://doi.org/10.5281/zenodo.14883218 (show fewer)
Dataset
-
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Hartmanns, A. (Creator), Kohlen, B. (Creator) & Lammich, P. (Creator), 4TU.Centre for Research Data, 31 Oct 2023
DOI: 10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862, https://data.4tu.nl/datasets/aff9f553-0e9e-4ec2-90e0-20c5b6152862 and 2 more links, https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v1, https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2 (show fewer)
Dataset
-
Requirements for an Automated Assesment Tool for Learning Programming by Doing
Mader, A. (Creator), Rump, A. (Creator) & Zaytsev, V. (Creator), Zenodo, 25 Oct 2024
DOI: 10.5281/zenodo.13992349, https://zenodo.org/records/13992349 and 4 more links, https://zenodo.org/records/13992350, https://doi.org/10.5281/zenodo.13992350, https://zenodo.org/records/14627201, https://doi.org/10.5281/zenodo.14627201 (show fewer)
Dataset
-
Artifact of Knor: reactive synthesis using Oink
van Dijk, T. (Creator), 4TU.Centre for Research Data, 9 Nov 2023
DOI: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7, https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7 and one more link, https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7/1 (show fewer)
Dataset
-
Artifact for "Modular criticality analysis for dynamic fault trees"
Sher, F. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 7 Nov 2024
DOI: 10.5281/zenodo.13338380, https://doi.org/10.5281/zenodo.13338380 and 2 more links, https://doi.org/10.5281/zenodo.13338381, https://zenodo.org/records/13338381 (show fewer)
Dataset
-
Fuzzy quantitative attack tree analysis
Dang, T. K. N. (Creator), Lopuhaä - Zwakenberg, M. A. (Creator) & Stoelinga, M. I. A. (Creator), Zenodo, 23 Jan 2024
DOI: 10.5281/zenodo.10554727, https://doi.org/10.5281/zenodo.10554728
Dataset
-
webANIMO front end source code
Siers, W. (Creator), Bakker, M. (Creator), Rubbens, B. (Creator), Haasjes, R. (Creator), Brandt, J. (Creator) & Schivo, S. (Creator), Zenodo, 6 Jul 2016
DOI: 10.5281/zenodo.57206, https://zenodo.org/record/57206
Dataset
-
Coverage-Driven SLAM Testing
Tasche, P. (Creator) & Herber, P. (Creator), 4TU.Centre for Research Data, 25 Jan 2023
DOI: 10.4121/21946514, https://data.4tu.nl/articles/_/21946514 and one more link, https://data.4tu.nl/articles/_/21946514/1 (show fewer)
Dataset
-
QuestionMark
Zandbergen, N. (Creator), van Keulen, M. (Creator), van Dijk, T. (Creator) & Flokstra, J. (Creator), Zenodo, 25 Jun 2023
DOI: 10.5281/zenodo.8146101, https://zenodo.org/record/8146101
Dataset
-
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
van der Wal, D. (Creator), Gerhold, M. (Creator) & Stoelinga, M. (Creator), 4TU.Centre for Research Data, 26 Jul 2023
DOI: 10.4121/237905e5-54cc-4a98-abf3-38324d516bf3, https://data.4tu.nl/datasets/237905e5-54cc-4a98-abf3-38324d516bf3 and one more link, https://data.4tu.nl/datasets/237905e5-54cc-4a98-abf3-38324d516bf3/1 (show fewer)
Dataset
-
Executable BDD Scenario Models for RobotframeworkMBT
Zameni, T. (Creator) & Foederer, J. (Contributor), Zenodo, 19 Feb 2025
DOI: 10.5281/zenodo.14892704, https://zenodo.org/records/14892705 and 3 more links, https://doi.org/10.5281/zenodo.14892705, https://zenodo.org/records/15017205, https://doi.org/10.5281/zenodo.15017205 (show fewer)
Dataset
-
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)
van der Wal, D. (Creator), Gerhold, M. (Creator), Rensink, A. (Creator) & Stoelinga, M. (Creator), 4TU.Centre for Research Data, 12 Feb 2025
DOI: 10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867, https://data.4tu.nl/datasets/49fe4e0a-a92a-4fd6-b567-9dd408ff9867 and 2 more links, https://data.4tu.nl/datasets/49fe4e0a-a92a-4fd6-b567-9dd408ff9867/1, https://doi.org/10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1 (show fewer)
Dataset
-
moves-rwth/pycarl: v2.1.0
Volk, M. (Creator), Junges, S. (Creator), Janson, T. (Creator), Kremer, G. (Creator), Basgöze, D. (Creator) & Klinkeberg, L. (Creator), Zenodo, 31 Jul 2022
DOI: 10.5281/zenodo.7763174, https://zenodo.org/record/7763174 and 2 more links, https://github.com/moves-rwth/pycarl/tree/2.1.0, https://doi.org/10.5281/zenodo.7763174 (show fewer)
Dataset
-
Data for paper "Parametric analyses of attack-fault trees"
André, É. (Creator), Lime, D. (Creator), Ramparison, M. (Creator), Stoelinga, M. (Creator), Ramparison, M. (Contributor), André, É. (Contributor), Lime, D. (Contributor) & Stoelinga, M. (Contributor), Zenodo, 14 Apr 2020
DOI: 10.5281/zenodo.5062314, https://zenodo.org/record/5062314
Dataset
-
Sampling Distributed Schedulers for Resilient Space Communication (Artifact)
Hartmanns, A. (Creator), 4TU.Centre for Research Data, 3 Nov 2020
DOI: 10.4121/uuid:6aa24e1a-3551-4073-b533-4ba6e408212d, https://data.4tu.nl/articles/_/12764687/1
Dataset
-
Artifact for Paper: (Deductive verification of SYCL in VerCors)
Şakar, Ö. (Creator), Wittingen, E. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 5 Jul 2024
DOI: 10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028, https://data.4tu.nl/datasets/45d37292-cce5-4fb7-8d4e-a1b32cfa3028 and 2 more links, https://data.4tu.nl/datasets/45d37292-cce5-4fb7-8d4e-a1b32cfa3028/1, https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028.v1 (show fewer)
Dataset
-
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Kohlen, B. (Creator), Maximilian, S. (Creator), Abdulaziz, M. (Creator), Hartmanns, A. (Creator) & Lammich, P. (Creator), 4TU.Centre for Research Data, 11 Apr 2025
DOI: 10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804, https://data.4tu.nl/datasets/bf0fef24-4f0f-4de6-a58d-07b9ba601804 and 4 more links, https://doi.org/10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804.v1, https://data.4tu.nl/datasets/bf0fef24-4f0f-4de6-a58d-07b9ba601804/1, https://doi.org/10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804.v2, https://data.4tu.nl/datasets/bf0fef24-4f0f-4de6-a58d-07b9ba601804/2 (show fewer)
Dataset