Sophie Lathouwers

According to our database, Sophie Lathouwers authored at least 8 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Extract, model, refine: improved modelling of program verification tools through data enrichment.

Sophie Lathouwers, Yujie Liu, Vadim Zaytsev

Softw. Syst. Model., August, 2025

2024

Survey of annotation generators for deductive verifiers.

Sophie Lathouwers, Marieke Huisman

J. Syst. Softw., 2024

2023

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.

Lukas Armborst, Sophie Lathouwers, Marieke Huisman

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

ProVerB: Dataset of Tools and Formats for Program Verification.

Sophie Lathouwers, Vadim Zaytsev

Dataset, 2022

Modelling program verification tools for software engineers.

Sophie Lathouwers, Vadim Zaytsev

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers.

Sophie Lathouwers, Marieke Huisman

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Modular Transformation of Java Exceptions Modulo Errors.

Robert Rubbens, Sophie Lathouwers, Marieke Huisman

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach.

Sophie Lathouwers, Maarten H. Everts, Marieke Huisman

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020