Expertises
Computer Science
- model based testing
- Testing
- Soundness
- Algorithms
- Automaton
- Models
- Transitions
- Usage Statistic
Organisaties
Publicaties
2024
Deriving modernity signatures of codebases with static analysis, Article 111973. Admiraal, C., van den Brink, W., Gerhold, M., Zaytsev, V. & Zubcu, C.https://doi.org/10.1016/j.jss.2024.111973
2023
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX ControllerIn Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258). Wal, D. v. d., Gerhold, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_14Computer Aided Content Generation: A Gloomhaven Case StudyIn Proceedings of the 18th International Conference on the Foundations of Digital Games, FDG 2023, Article 61. Association for Computing Machinery. Gerhold, M. & Tijben, K.https://doi.org/10.1145/3582437.3587196Reproduction Report for SV-COMP 2023. ArXiv.org (Submitted). Gerhold, M. & Hartmanns, A.Leveraging deep learning for Python version identification, 33-40. Gerhold, M., Solovyeva, L. & Zaytsev, V.
2022
Deriving Modernity Signatures for PHP Systems with Static AnalysisIn Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 (pp. 181-185). IEEE. van den Brink, W., Gerhold, M. & Zaytsev, V.https://doi.org/10.1109/SCAM55253.2022.00027
2019
Model-based testing of stochastically timed systems, 207-233. Gerhold, M., Hartmanns, A. & Stoelinga, M.https://doi.org/10.1007/s11334-019-00349-z
Onderzoeksprofielen
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.
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201600362 - S6: Capstone project
- 201800496 - S2: Mathematics
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202000973 - Art [&&] Impact
- 202000975 - Algorithms for Creative Technology
- 202000976 - Statistics
- 202000977 - Professional Development M4
- 202000993 - Artificial Intelligence
- 202001024 - Software Systems Core
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200133 - Intro Computer Science & Programming
- 202200201 - Software Engineering Embedded Systems
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300186 - Software Systems Core
- 202300277 - Programming for AI
- 202300286 - M3 Regelsystemen in de mens
Vakken collegejaar 2022/2023
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Masteronderzoek ECB Informatica
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800496 - S2: Mathematics
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202000973 - Art, Impact and Technology
- 202000975 - Algorithms for Creative Technology
- 202000976 - Statistics
- 202000977 - Professional Development M4
- 202000993 - Artificial Intelligence
- 202001024 - Software Systems Core
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200133 - Intro Computer Science & Programming
- 202200201 - Software Engineering Embedded Systems
- 202200251 - Capita Selecta DST
- 202200282 - M3 Regelsystemen in de mens
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3070
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3070
Postbus 217
7500 AE Enschede