Formal Methods and Tools

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

  DOI: 10.5281/zenodo.5541760

  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