Volgen
Sophie Lathouwers
Sophie Lathouwers
TNO
Geverifieerd e-mailadres voor utwente.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
42022
Modular Transformation of Java Exceptions Modulo Errors
R Rubbens, S Lathouwers, M Huisman
International Conference on Formal Methods for Industrial Critical Systems …, 2021
32021
Modelling program verification tools for software engineers
S Lathouwers, V Zaytsev
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
22022
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
22020
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
22020
Reasoning About the Correctness of Sanitizers
S Lathouwers
Master's thesis, http://purl.utwente.nl/essays/76554, 2018
22018
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation
L Armborst, S Lathouwers, M Huisman
International Conference on Integrated Formal Methods, 153-171, 2023
12023
Survey of annotation generators for deductive verifiers
S Lathouwers, M Huisman
Journal of Systems and Software, 111972, 2024
2024
Exploring Annotations for Deductive Verification
S Lathouwers
University of Twente, 2023
2023
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
2020
4.3 Specification Engineering: Report from Breakout Group 3
W Ahrendt, D Cok, G Ernst, S Lathouwers, G Reger, K Yvonne
Principles of Contract Languages, 21, 0
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11