Usage statistics

Totals for datasets (co-)authored by 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

Co-authors

Co-authors of Marieke Huisman's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Anton Wijs
• Dré van Oorschot
• Ellen Wittingen
• J.C. (Jaco) van de Pol
• Larisa Safina
• Lars B. van den Haak
• Lars van den Haak
• Lukas Armborst
• Mark van den Brand
• Mohsen Safari
• Paula Herber
• Pauline Blohm
• Petra van den Bos
• Philip Tasche
• Pieter Bos
• Raúl E. Monti
• Robert Rubbens
• Simon Bliudze
• Sophie Lathouwers
• Stefanie Eva Drerup
• W.H.M. (Wytse) Oortwijn
• Ömer Şakar