Datasets
- 14 results
Search results
-
PhD Thesis Artifact: Correct Optimized GPU Programs
Safari, M. (Creator), 4TU.Centre for Research Data, 31 Jan 2022
DOI: 10.4121/19055453
Dataset
-
PhD Thesis Artifact: Correct Optimized GPU Programs
Safari, M. (Creator), 4TU.Centre for Research Data, 31 Jan 2022
DOI: 10.4121/19055453.v1
Dataset
-
Attack time analysis in dynamic attack trees via integer linear programming
Lopuhaä - Zwakenberg, M. A. (Creator), Zenodo, 30 Sep 2021
Dataset
-
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
-
Software artefact for FIG: the Finite Improbability Generator
Budde, C. E. (Creator), 4TU.Centre for Research Data, 12 May 2020
DOI: 10.1007/978-3-030-45190-5_27
Dataset
-
A Modest Markov Automata Tutorial (Artifact)
Hartmanns, A. (Creator) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 24 Sep 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 Sep 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, 2018
DOI: 10.4121/uuid:a6709ee4-2aa3-49a3-92db-247e8b5bf340
Dataset
-
Generated and industrial PNML models with generated log traces (in XES)
Bloemen, V. (Creator), University of Twente, 19 Sep 2018
DOI: 10.4121/uuid:5f168a76-cc26-42d6-a67d-48be9c978309
Dataset
-
The Dynamic Fault Tree Rare Event Simulator: experimental replication package.
Budde, C. E. (Creator) & Ruijters, E. J. J. (Research team member), figshare, 17 Nov 2020
DOI: 10.6084/m9.figshare.12235889.v2, https://figshare.com/articles/software/The_Dynamic_Fault_Tree_Rare_Event_Simulator/12235889
Dataset
-
Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)
Hartmanns, A. (Creator), D'Argenio, P. R. (Contributor) & Sedwards, S. (Contributor), 4TU.Centre for Research Data, 2018
DOI: 10.4121/uuid:1453a13b-10ae-418f-a1ae-4acf96028118
Dataset
-
Database of Annotations for Deductive Verifiers
Lathouwers, S. A. M. (Creator) & Huisman, M. (Supervisor), 4TU.Centre for Research Data, 2022
DOI: https://doi.org/10.4121/16545714.v1
Dataset
-
DFTRES tool demo (video)
Budde, C. E. (Creator), figshare, 17 Aug 2020
DOI: 10.6084/m9.figshare.12792437.v2, https://figshare.com/articles/media/DFTRES_tool_demo_video_/12792437
Dataset
-
A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)
Hartmanns, A. (Creator), Budde, C. E. (Contributor), D'Argenio, P. R. (Contributor) & Sedwards, S. (Distributor), 4TU.Centre for Research Data, 2018
DOI: 10.4121/uuid:64cd25f4-4192-46d1-a951-9f99b452b48f
Dataset