S.A.M. Lathouwers MSc (Sophie)


Engineering & Materials Science
Flow Control
Formal Specification
Social Sciences
Computer Science
Role Model


Lathouwers, S. , & Zaytsev, V. (2022). Modelling Program Verification Tools for Software Engineers. In MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (pp. 98–108). Association for Computing Machinery. https://doi.org/10.1145/3550355.3552426
Lathouwers, S. , & Huisman, M. (2022). Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. In Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022 (pp. 69-79). [9796417] IEEE. https://doi.org/10.1145/3524482.3527652
Rubbens, R. , Lathouwers, S. , & Huisman, M. (2021). Modular Transformation of Java Exceptions Modulo Errors. In A. Lluch Lafuente, & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84). (Lecture notes in computer science; Vol. 12863). Springer. https://doi.org/10.1007/978-3-030-85248-1_5
van Huizen, J. C. , Huisman, M. , Lathouwers, S. A. M. , Schaafstal, A. M. , & Stoelinga, M. I. A. (2020). Alice and Eve: a celebration of women in computer science. In J. van der Veen, N. van Hattum-Janssen, H-M. Järvinen, T. de Laet, & I. ten Dam (Eds.), Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020 University of Twente.
Lathouwers, S. , Everts, M. , & Huisman, M. (2020). Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. In S. Furnell, P. Mori, E. Weippl, & O. Camp (Eds.), Proceedings of the 6th International Conference on Information Systems Security and Privacy: Volume 1: ForSE (pp. 784-795). SCITEPRESS. https://doi.org/10.5220/0009371207840795

Google Scholar Link



Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie


Universiteit Twente
Postbus 217
7500 AE Enschede