Sophie Lathouwers

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Adverse Selection

Hypothesis Formation

Software Engineers

Abductive Inference

Top Venues

J. Syst. Softw.

Publications

Sophie Lathouwers, Marieke Huisman
Survey of annotation generators for deductive verifiers. J. Syst. Softw. 211 (2024)
Lukas Armborst, Sophie Lathouwers, Marieke Huisman
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. iFM (2023)
Sophie Lathouwers, Vadim Zaytsev
Modelling program verification tools for software engineers. MoDELS (2022)
Sophie Lathouwers, Marieke Huisman
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. FormaliSE@ICSE (2022)
Robert Rubbens, Sophie Lathouwers, Marieke Huisman
Modular Transformation of Java Exceptions Modulo Errors. FMICS (2021)
Sophie Lathouwers, Maarten H. Everts, Marieke Huisman
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. ICISSP (2020)