C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sophie Lathouwers
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Adverse Selection
Software Engineers
Hypothesis Formation
Abductive Inference
Top Venues
FormaliSE@ICSE
ICISSP
MoDELS
iFM
</>
Publications
</>
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)