Mariëlle I.A. Stoelinga

Search results

• 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

• 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

  DOI: 10.5281/zenodo.8199172

  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

• 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

• 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

• 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

• 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

• 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), 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