Expertises
Engineering & Materials Science
# Computer Programming Languages
# Flow Control
# Learning Algorithms
# Semantics
# Transducers
Social Sciences
# Computer Science
# Event
# Role Model
Verbonden aan
Publicaties
Recent
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