Zilverling

dr. M. Gerhold (Marcus)

Universitair docent
EEMCS-CS-FMT
Zilverling 3070
m.gerhold@utwente.nl
+31534895086
Visitekaartje

Expertises

  • Computer Science

    • model based testing
    • Testing
    • Soundness
    • Finite-State Machine
    • Algorithms
    • Railway Industry
    • Automaton
    • Models

Organisaties

Publicaties

2025

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata (2025)[Working paper › Preprint]. ArXiv.org. Briones, L. B., Gerhold, M., van den Bos, P. & Stoelinga, M.https://doi.org/10.48550/arXiv.2507.18205Conformance in the railway industry: Single-Input-Change testing a EULYNX controller (2025)International journal on software tools for technology transfer, 27(3), 377-395. Wal, D. v., Gerhold, M., Stoelinga, M. & Rensink, A.https://doi.org/10.1007/s10009-025-00790-5Affective Mirroring in Video Game NPCs: A Pilot Study Evaluating Player Engagement (2025)In Proceedings of the 20th International Conference on the Foundations of Digital Games, FDG 2025. Article 60. Association for Computing Machinery. Šinković, H., Gómez-Maureira, M. A. & Gerhold, M.https://doi.org/10.1145/3723498.3723835What is... the point?: Single-input-change testing a EULYNX controller (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. van der Wal, D.https://doi.org/10.3990/1.9789036565042Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version) (2025)[Dataset Types › Dataset]. 4TU.Centre for Research Data. van der Wal, D., Gerhold, M., Rensink, A. & Stoelinga, M.https://doi.org/10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867Reducing Late Night Snacking: Exploring the Potential of Ambient Tangible Interfaces (2025)[Contribution to conference › Poster] 10th Dutch Biomedical Engineering Conference, BME 2025 (Accepted/In press). Jeuring, J., Epa Ranasinghe, C. M. & Gerhold, M.Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants (2025)In Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025 (pp. 158-169) (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol. 2025). Science and Technology Publications, Lda. Bouali, N., Gerhold, M., Ul Rehman, T. & Ahmed, F.https://doi.org/10.5220/0013481900003932

2024

Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design (2024)In MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (pp. 1170-1179) (Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings). Association for Computing Machinery. Gerhold, M., Kouzel, A., Mangal, H., Mehmed, S. A. & Zaytsev, V.https://doi.org/10.1145/3652620.3688348The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning (2024)In Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 (pp. 137-146) (Proceedings IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER); Vol. 2024). IEEE. Gerhold, M., Solovyeva, L. & Zaytsev, V.https://doi.org/10.1109/SANER60148.2024.00022Deriving modernity signatures of codebases with static analysis (2024)The Journal of systems and software, 211. Article 111973. Admiraal, C., van den Brink, W., Gerhold, M., Zaytsev, V. & Zubcu, C.https://doi.org/10.1016/j.jss.2024.111973

Onderzoeksprofielen

Vakken collegejaar 2025/2026

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 2024/2025

Scan de QR-code of
Download vCard