Expertises
Engineering & Materials Science
# Engineers
# Flow Control
# Formal Specification
# Taxonomies
# Transducers
Social Sciences
# Computer Science
# Event
# Role Model
Publicaties
Recent
Lathouwers, S.
, & Huisman, M. (2024).
Survey of annotation generators for deductive verifiers.
Journal of Systems and Software,
211, Article 111972.
https://doi.org/10.1016/j.jss.2024.111972
Armborst, L.
, Lathouwers, S.
, & Huisman, M. (2024).
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In P. Herber, & A. Wijs (Eds.),
iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture Notes in Computer Science; Vol. 14300). Springer.
https://doi.org/10.1007/978-3-031-47705-8_9
Lathouwers, S. (2023).
Exploring annotations for deductive verification. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente.
https://doi.org/10.3990/1.9789036558464
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). Article 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 de Pers
Nieuws op utwente.nl
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede