usage stats
Totals for datasets (co-)authored by Marieke Huisman
5525
downloads
8944
views
6
cites
Marieke Huisman
Datasets
- Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
- Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
- Artifact for Paper: (Deductive verification of SYCL in VerCors)
- Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
- Artifact for paper (First Steps towards Deductive Verification of LLVM IR)
- Artifact to supplement the paper: The VerCors Verifier: a Progress Report
- Card sorting data for Formal methods for GPGPU programming: is the demand met?
- Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
- Database of Annotations for Deductive Verifiers
- Evaluation of Specification Inference Tools for Deductive Verification
- Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
- Specification Translator: Tool to Translate Specifications for Deductive Verifiers
- Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
- [Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems
- [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
