| Modelling program verification tools for software engineers S Lathouwers, V Zaytsev Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 2 | 2022 |
| 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 | 2 | 2022 |
| Modular Transformation of Java Exceptions Modulo Errors R Rubbens, S Lathouwers, M Huisman International Conference on Formal Methods for Industrial Critical Systems …, 2021 | 2 | 2021 |
| 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 | 2 | 2020 |
| Reasoning About the Correctness of Sanitizers S Lathouwers Master's thesis, http://purl.utwente.nl/essays/76554, 2018 | 2 | 2018 |
| 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 | 1 | 2020 |
| 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 | | 2023 |
| Exploring Annotations for Deductive Verification S Lathouwers University of Twente, 2023 | | 2023 |
| 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 | | 2020 |
Marieke HuismanGeverifieerd e-mailadres voor ewi.utwente.nl
