Sophie Lathouwers
Sophie Lathouwers
PhD Candidate at Formal Methods and Tools group, University of Twente
Geverifieerd e-mailadres voor utwente.nl
Geciteerd door
Geciteerd door
Modular Transformation of Java Exceptions Modulo Errors
R Rubbens, S Lathouwers, M Huisman
International Conference on Formal Methods for Industrial Critical Systems …, 2021
Reasoning About the Correctness of Sanitizers
S Lathouwers
Master's thesis, http://purl.utwente.nl/essays/76554, 2018
Modelling program verification tools for software engineers
S Lathouwers, V Zaytsev
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
Alice and Eve: a celebration of women in computer science
JC van Huizen, M Huisman, SAM Lathouwers, AM Schaafstal, ...
SEFI 48th Annual Conference, 1324-1328, 2020
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach
S Lathouwers, M Everts, M Huisman
4th International Workshop on FORmal methods for Security Engineering (FORSE …, 2020
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
S Lathouwers, M Huisman
2022 IEEE/ACM 10th International Conference on Formal Methods in Software …, 2022
Alice & Eve: A celebration of women in computing
N van Huizen, P Kemper, M Huisman, S Lathouwers, A Schaafstal, ...
ISBN 978 90 365 4955 4, 2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7