Marieke Huisman

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

• 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

• Artefact of: Verified Parameterized Choreographies

  Rubbens, R. (Creator), van den Bos, P. (Creator) & Huisman, M. (Creator), Zenodo, 20 Feb 2025

  DOI: 10.5281/zenodo.14900264, https://zenodo.org/records/14900264 and 3 more links, https://doi.org/10.5281/zenodo.14900265, https://zenodo.org/records/14900265, https://zenodo.org/records/15223434 (show fewer)

  Dataset

• Artifact for paper (First Steps towards Deductive Verification of LLVM IR)

  Şakar, Ö. F. O. (Creator), van Oorschot, D. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 11 Jan 2024

  DOI: 10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05, https://data.4tu.nl/datasets/9c8c079e-a941-4a66-89d8-3462bf30ff05 and one more link, https://data.4tu.nl/datasets/9c8c079e-a941-4a66-89d8-3462bf30ff05/1 (show fewer)

  Dataset

• Artifact to supplement the paper: The VerCors Verifier: a Progress Report

  Armborst, L. (Creator), Bos, P. (Creator), van den Haak, L. (Creator), Huisman, M. (Creator), Rubbens, R. (Creator), Şakar, Ö. (Creator) & Tasche, P. (Creator), 4TU.Centre for Research Data, 10 Apr 2024

  DOI: 10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba and 3 more links, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/1, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/2, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/3 (show fewer)

  Dataset

• [Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems

  Tasche, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 30 Jun 2024

  DOI: 10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a and 4 more links, https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a/1, https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v1, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a/2 (show fewer)

  Dataset

• Specification Translator: Tool to Translate Specifications for Deductive Verifiers

  Lathouwers, S. (Creator), Armborst, L. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Jun 2023

  DOI: 10.4121/21820458, https://data.4tu.nl/datasets/a85a3b8a-db37-496b-860a-d3cbc988dc9d and one more link, https://data.4tu.nl/datasets/a85a3b8a-db37-496b-860a-d3cbc988dc9d/1 (show fewer)

  Dataset

• Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

  Rubbens, R. (Creator), Huisman, M. (Creator) & van den Bos, P. (Creator), Zenodo, 20 Aug 2024

  DOI: 10.5281/zenodo.13348213, https://zenodo.org/records/13348214 and 2 more links, https://doi.org/10.5281/zenodo.13348214, https://github.com/utwente-fmt/vercors (show fewer)

  Dataset

• Database of Annotations for Deductive Verifiers

  Lathouwers, S. A. M. (Creator) & Huisman, M. (Supervisor), 4TU.Centre for Research Data, 22 Mar 2022

  DOI: 10.4121/16545714.v1, https://data.4tu.nl/articles/_/16545714 and one more link, https://data.4tu.nl/articles/_/16545714/1 (show fewer)

  Dataset

• Evaluation of Specification Inference Tools for Deductive Verification

  Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Jun 2023

  DOI: 10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988, https://data.4tu.nl/datasets/9c83933e-8406-4e49-ac4d-1f8bb55ed988 and one more link, https://data.4tu.nl/datasets/9c83933e-8406-4e49-ac4d-1f8bb55ed988/1 (show fewer)

  Dataset

• Reproduction Package for SPIN 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, 9 Mar 2025

  DOI: 10.5281/zenodo.14883218, https://zenodo.org/records/14883219 and 4 more links, https://doi.org/10.5281/zenodo.14883219, https://zenodo.org/records/14995602, https://doi.org/10.5281/zenodo.14995602, https://zenodo.org/records/14883218 (show fewer)

  Dataset

• Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material

  Armborst, L. (Creator), Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 18 Sept 2023

  DOI: 10.4121/73361fbb-2633-4011-b615-cce19d8ac196, https://data.4tu.nl/datasets/73361fbb-2633-4011-b615-cce19d8ac196 and one more link, https://data.4tu.nl/datasets/73361fbb-2633-4011-b615-cce19d8ac196/1 (show fewer)

  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] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

  Tasche, P. (Creator), Monti, R. E. (Creator), Drerup, S. E. (Creator), Blohm, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Sept 2023

  DOI: 10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53, https://data.4tu.nl/datasets/a7e780c9-87fa-486c-b484-a76a459a9d53

  Dataset

• Card sorting data for Formal methods for GPGPU programming: is the demand met?

  Haak, L. B. V. D. (Creator), Wijs, A. (Creator), Brand, M. V. D. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 2 Nov 2020

  DOI: 10.4121/12988781, https://data.4tu.nl/articles/_/12988781 and one more link, https://data.4tu.nl/articles/_/12988781/1 (show fewer)

  Dataset

• Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

  Armborst, L. (Creator), Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 5 Sept 2023

  DOI: 10.4121/21e79524-40c4-4dc1-8108-94e7b6fc6d9f, https://data.4tu.nl/datasets/21e79524-40c4-4dc1-8108-94e7b6fc6d9f

  Dataset

• Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

  Rubbens, B. (Creator), Huisman, M. (Creator) & Lathouwers, S. (Creator), 4TU.Centre for Research Data, 25 Aug 2021

  DOI: 10.4121/14905251, https://data.4tu.nl/articles/_/14905251 and one more link, https://data.4tu.nl/articles/_/14905251/1 (show fewer)

  Dataset

• Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

  Rubbens, R. (Creator), Safina, L. (Creator), Huisman, M. (Creator), Bliudze, S. (Creator) & van den Bos, P. (Creator), 4TU.Centre for Research Data, 13 Mar 2024

  DOI: 10.4121/21763274, https://data.4tu.nl/datasets/c24f1f76-19f3-456b-b6cd-087eef905e5d and one more link, https://data.4tu.nl/datasets/c24f1f76-19f3-456b-b6cd-087eef905e5d/1 (show fewer)

  Dataset

• Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

  Şakar, Ö. F. O. (Creator), Safari, M. (Creator), Huisman, M. (Creator) & Wijs, A. (Creator), 4TU.Centre for Research Data, 22 Nov 2021

  DOI: 10.4121/16938556.v2, https://data.4tu.nl/articles/_/16938556/2

  Dataset

• [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

  Tasche, P. (Creator), Monti, R. E. (Creator), Drerup, S. E. (Creator), Blohm, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), Zenodo, 14 Sept 2023

  DOI: 10.5281/zenodo.8341170, https://zenodo.org/record/8341170

  Dataset