About Me
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.
Expertise
Engineering & Materials Science
# Engineers
# Flow Control
# Formal Specification
# Taxonomies
# Transducers
Social Sciences
# Computer Science
# Event
# Role Model
Publications
Recent
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
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
Contact Details
Visiting Address
University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands