Datasets
- 14 results
Search results
-
Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Saaltink, C. (Creator), Nicoletti, S. M. (Creator), Volk, M. (Creator), Hahn, E. M. (Creator) & Stoelinga, M. (Creator), Zenodo, 21 Jul 2023
DOI: 10.5281/zenodo.8172548, https://zenodo.org/record/8172549 and 3 more links, https://zenodo.org/record/10940255, https://doi.org/10.5281/zenodo.8172549, https://doi.org/10.5281/zenodo.10940255 (show fewer)
Dataset
-
FFORT dataset
Soltani, R. (Creator), Peppelman, M. J. W. (Data Manager) & Stoelinga, M. I. A. (Project Director), University of Twente, 12 Jun 2018
http://dftbenchmarks.utwente.nl
Dataset
-
Artifact for "CTMCs with Imprecisely Timed Observations"
Badings, T. (Creator), Volk, M. (Creator), Junges, S. (Creator), Stoelinga, M. (Creator) & Jansen, N. (Creator), Zenodo, 28 Dec 2023
DOI: 10.5281/zenodo.10438984, https://zenodo.org/record/10438985 and one more link, https://doi.org/10.5281/zenodo.10438985 (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
-
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
-
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'
Badings, T. (Creator), Jansen, N. (Creator), Junges, S. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 22 Sept 2022
DOI: 10.5281/zenodo.7104342, https://zenodo.org/record/7104342
Dataset
-
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
Basgöze, D. (Creator), Volk, M. (Creator), Katoen, J.-P. (Creator), Khan, S. (Creator) & Stoelinga, M. (Creator), Zenodo, 28 Mar 2022
DOI: 10.5281/zenodo.5834212, https://zenodo.org/records/5834212 and 4 more links, https://zenodo.org/records/5834213, https://doi.org/10.5281/zenodo.5834213, https://zenodo.org/records/6390998, https://doi.org/10.5281/zenodo.6390998 (show fewer)
Dataset
-
Quantitative Comparisons of MITRE ATT&CK Campaigns
Nicoletti, S. M. (Creator), Lopuhaä - Zwakenberg, M. A. (Creator), Stoelinga, M. (Creator), Massacci, F. (Creator) & Budde, C. (Creator), 4TU.Centre for Research Data, 30 Aug 2024
DOI: 10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d, https://data.4tu.nl/datasets/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d and 2 more links, https://data.4tu.nl/datasets/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d/1, https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d.v1 (show fewer)
Dataset
-
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'
Badings, T. (Creator), Junges, S. (Creator), Jansen, N. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 6 May 2022
DOI: 10.5281/zenodo.6523864, https://zenodo.org/record/6523864
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
-
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
-
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package)
Nicoletti, S. M. (Creator), Lopuhaä-Zwakenberg, M. (Creator), Stoelinga, M. (Creator), Massacci, F. (Creator) & Budde, C. E. (Creator), Zenodo, 20 Nov 2024
DOI: 10.5281/zenodo.14193935, https://zenodo.org/records/14193935 and 2 more links, https://zenodo.org/records/14193936, https://doi.org/10.5281/zenodo.14193936 (show fewer)
Dataset
-
Artefact for "Optimal spare management via statistical model checking: A case study in research reactors"
Soltani, R. (Creator), Volk, M. (Creator), Diamonte, L. A. (Creator), Lopuhaä - Zwakenberg, M. A. (Creator) & Stoelinga, M. I. A. (Creator), Zenodo, 31 Jul 2023
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