Ioco Theory for Probabilistic Automata. - Marcus Gerhold; Mariëlle Stoelinga (MBT, 2015)

Model-based testing of stochastic systems with IOCO theory. - Marcus Gerhold; Mariëlle Stoelinga (A-TEST@SIGSOFT FSE, 2016)

Model-Based Testing of Probabilistic Systems with Stochastic Time. - Marcus Gerhold; Mariëlle Stoelinga (TAP@STAF, 2017)

A Hierarchy of Scheduler Classes for Stochastic Automata. - Pedro R. D'Argenio; Marcus Gerhold; Arnd Hartmanns; Sean Sedwards (FoSSaCS, 2018)

Model-Based Testing for General Stochastic Time. - Marcus Gerhold; Arnd Hartmanns; Mariëlle Stoelinga (NFM, 2018)

Model-based testing of probabilistic systems. - Marcus Gerhold; Mariëlle Stoelinga (Formal Aspects Comput., 2018)

Model-based testing of stochastically timed systems. - Marcus Gerhold; Arnd Hartmanns; Mariëlle Stoelinga (Innov. Syst. Softw. Eng., 2019)

Deriving Modernity Signatures for PHP Systems with Static Analysis. - Wouter Van den Brink; Marcus Gerhold; Vadim Zaytsev (SCAM, 2022)

Leveraging deep learning for Python version identification. - Marcus Gerhold; Lola Solovyeva; Vadim Zaytsev (BENEVOL, 2023)

Computer Aided Content Generation - A Gloomhaven Case Study. - Marcus Gerhold; Kristian Tijben (FDG, 2023)

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. - Djurre van der Wal; Marcus Gerhold; Mariëlle Stoelinga (FMICS, 2023)

Reproduction Report for SV-COMP 2023. - Marcus Gerhold; Arnd Hartmanns (CoRR, 2023)

Teaching Assistants as Assessors: An Experience Based Narrative. - Faizan Ahmed; Nacir Bouali; Marcus Gerhold (CSEDU (1), 2024)

Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design. - Marcus Gerhold; Aliaksei Kouzel; Haroun Mangal; Selin Mehmed; Vadim Zaytsev (MoDELS (Companion), 2024)

The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning. - Marcus Gerhold; Lola Solovyeva; Vadim Zaytsev (SANER, 2024)

Deriving modernity signatures of codebases with static analysis. - Chris Admiraal; Wouter Van den Brink; Marcus Gerhold; Vadim Zaytsev; Cristian Zubcu (J. Syst. Softw., 2024)

Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants. - Nacir Bouali; Marcus Gerhold; Tosif Ul Rehman; Faizan Ahmed (CSEDU (1), 2025)

Affective Mirroring in Video Game NPCs: A Pilot Study Evaluating Player Engagement. - Hana Sinkovic; Marcello A. Gómez Maureira; Marcus Gerhold (FDG, 2025)

Conformance in the railway industry: Single-Input-Change testing a EULYNX controller. - Djurre van der Wal; Marcus Gerhold; Mariëlle Stoelinga; Arend Rensink (Int. J. Softw. Tools Technol. Transf., 2025)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata. - Laura Brandán Briones; Marcus Gerhold; Petra van den Bos; Mariëlle Stoelinga (CoRR, 2025)