Usage statistics

Totals for datasets (co-)authored by Sophie Lathouwers

Datasets

• 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
• ProVerB: Dataset of Tools and Formats for Program Verification
• 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"

Co-authors

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

• Lukas Armborst
• Marieke Huisman
• Robert Rubbens
• Vadim Zaytsev