Expertises
Engineering & Materials Science
# Bluetooth
# Network Protocols
# Real Time Systems
# Specifications
# Statistical Methods
# Testing
Mathematics
# Framework
# Model-Based Testing
Verbonden aan
Publicaties
Recent
Admiraal, C., van den Brink, W.
, Gerhold, M.
, Zaytsev, V., & Zubcu, C. (2024).
Deriving modernity signatures of codebases with static analysis.
The Journal of systems and software,
211, Article 111973.
https://doi.org/10.1016/j.jss.2024.111973
Gerhold, M., & Tijben, K. (2023).
Computer Aided Content Generation: A Gloomhaven Case Study. In P. Lopes, F. Luz, A. Liapis, & H. Engstrom (Eds.),
Proceedings of the 18th International Conference on the Foundations of Digital Games, FDG 2023 Article 61 (ACM International Conference Proceeding Series). Association for Computing Machinery.
https://doi.org/10.1145/3582437.3587196
Gerhold, M., Solovyeva, L.
, & Zaytsev, V. (2023).
Leveraging deep learning for Python version identification.
CEUR workshop proceedings,
3567, 33-40.
Wal, D. V. D.
, Gerhold, M.
, & Stoelinga, M. (2023).
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. In A. Cimatti, & L. Titolo (Eds.),
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258). (Lecture Notes in Computer Science book series; Vol. 14290).
https://doi.org/10.1007/978-3-031-43681-9_14
van den Brink, W.
, Gerhold, M.
, & Zaytsev, V. (2022).
Deriving Modernity Signatures for PHP Systems with Static Analysis. In
Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185). (Proceedings IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM); Vol. 2022, No. 22). IEEE.
https://doi.org/10.1109/SCAM55253.2022.00027
Gerhold, M., Hartmanns, A.
, & Stoelinga, M. (2019).
Model-based testing of stochastically timed systems.
Innovations in systems and software engineering,
15(3-4), 207-233.
https://doi.org/10.1007/s11334-019-00349-z
Pure Link
Vakken Collegejaar 2023/2024
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Vakken Collegejaar 2022/2023
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3070
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3070
Postbus 217
7500 AE Enschede