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
    • Algorithms
    • Automaton
    • Models
    • Transitions
    • Usage Statistic

Organisaties

Publicaties

2024

Deriving 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_14Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. van der Wal, D., Gerhold, M. & Stoelinga, M.https://doi.org/10.4121/237905e5-54cc-4a98-abf3-38324d516bf3Computer Aided Content Generation: A Gloomhaven Case Study (2023)In 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. Gerhold, M. & Tijben, K.https://doi.org/10.1145/3582437.3587196Reproduction Report for SV-COMP 2023 (2023)[Working paper › Working paper]. ArXiv.org (Submitted). Gerhold, M. & Hartmanns, A.Leveraging deep learning for Python version identification (2023)CEUR workshop proceedings, 3567, 33-40. Gerhold, M., Solovyeva, L. & Zaytsev, V.

2022

Deriving Modernity Signatures for PHP Systems with Static Analysis (2022)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). IEEE. van den Brink, W., Gerhold, M. & Zaytsev, V.https://doi.org/10.1109/SCAM55253.2022.00027

Onderzoeksprofielen

Vakken collegejaar 2024/2025

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

Scan de QR-code of
Download vCard