Permission-Based Verification of Red-Black Trees and Their Merging. - Lukas Armborst; Marieke Huisman (FormaliSE@ICSE, 2021)

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. - Lukas Armborst; Sophie Lathouwers; Marieke Huisman (iFM, 2023)

The VerCors Verifier: A Progress Report. - Lukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Ömer Sakar; Philip Tasche (CAV (2), 2024)

Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marieke Huisman; Lukas Armborst (Zenodo, 2025)

Reproduction Package for SPIN 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marieke Huisman; Lukas Armborst (Zenodo, 2025)