Sophie Lathouwers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IFM | Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
| 2022 | MODELS | Modelling program verification tools for software engineers. | Sophie Lathouwers, Vadim Zaytsev |
| 2021 | FMICS | Modular Transformation of Java Exceptions Modulo Errors. | Robert Rubbens, Sophie Lathouwers, Marieke Huisman |
| 2020 | ICISSP | Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. | Sophie Lathouwers, Maarten H. Everts, Marieke Huisman |