Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. - Sophie Lathouwers; Maarten H. Everts; Marieke Huisman (ICISSP, 2020)

Modular Transformation of Java Exceptions Modulo Errors. - Robert Rubbens; Sophie Lathouwers; Marieke Huisman (FMICS, 2021)

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. - Sophie Lathouwers; Marieke Huisman (FormaliSE@ICSE, 2022)

Modelling program verification tools for software engineers. - Sophie Lathouwers; Vadim Zaytsev (MoDELS, 2022)

ProVerB: Dataset of Tools and Formats for Program Verification. - Sophie Lathouwers; Vadim Zaytsev (4TU.Federation, 2022)

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

Survey of annotation generators for deductive verifiers. - Sophie Lathouwers; Marieke Huisman (J. Syst. Softw., 2024)

Extract, model, refine: improved modelling of program verification tools through data enrichment. - Sophie Lathouwers; Yujie Liu; Vadim Zaytsev (Softw. Syst. Model., 2025)