My research focuses on the correctness of software. The technique that I'm looking at is called deductive verification which requires the user to write specifications for a program. This requires a lot of time and knowledge and is therefore seen as a bottleneck in the verification process. I am trying to minimise this burden by looking into specification generation to automatically generate the specifications, so that the users don't need to write them.
I am also very interested in the application of formal methods to software security.
Engineering & Materials Science
# Engineers # Flow Control # Formal Specification # Taxonomies # Transducers
# Computer Science # Event # 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).  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
van Huizen, N., Kemper, P. , Stoelinga, M. (Ed.) , Schaafstal, A. (Ed.) , Huisman, M. (Ed.) , & Lathouwers, S. (Ed.) (2020). Alice & Eve: A celebration of women in computing. University of Twente. https://doi.org/10.3990/1.9789036549554
Google Scholar Link
In the press
News on utwente.nl
University of Twente
7522 NB Enschede
University of Twente
P.O. Box 217
7500 AE Enschede