Expertises
Engineering & Materials Science
# Engineers
# Flow Control
# Formal Specification
# Taxonomies
# Transducers
Social Sciences
# Computer Science
# Event
# Role Model
Verbonden aan
Publicaties
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 (ACM).
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/EUCA.
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 Digital Library.
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
Pure Link
Google Scholar Link
In de Pers
Nieuws op utwente.nl
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3082
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3082
Postbus 217
7500 AE Enschede