Dr. M. Gerhold | People Pages: Find employees & contact details

As an assistant professor in the Formal Methods and Tools group at the University of Twente I focus on computer science education and research. My expertise lies in the application and theory of in model-based testing for software reliability in critical infrastructures, while my research spans a range of topics, including language version identification and game design.

Teaching is a significant part of my work, and I enjoy delivering courses on programming and artificial intelligence to a diverse group of students. I also enjoy mentoring the many talented PhD, MSc, and BSc students, by guiding them through challenging projects and by coaching them as academic scholars and professionals.

UT Homepage: https://mgerhold.personalweb.utwente.nl/

Expertise

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

Organisations

Publications

2025

Conformance in the railway industry: Single-Input-Change testing a EULYNX controller (2025)International journal on software tools for technology transfer (E-pub ahead of print/First online). Wal, D. v., Gerhold, M., Stoelinga, M. & Rensink, A.https://doi.org/10.1007/s10009-025-00790-5What 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.111973Teaching Assistants as Assessors: An Experience Based Narrative (2024)In Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024 (pp. 115-123) (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol. 1). Science and Technology Publications, Lda. Ahmed, F., Bouali, N. & Gerhold, M.https://doi.org/10.5220/0012624200003693

2023

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (2023)In 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). Wal, D. v. d., Gerhold, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_14

Research profiles

Courses academic year 2025/2026

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Courses academic year 2024/2025

Courses academic year 2023/2024

Address

University of Twente

Zilverling (building no. 11), room 3070
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location