Marcus Gerhold

According to our database, Marcus Gerhold authored at least 20 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 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

Proceedings of the Testing Software and Systems, 2025

Affective Mirroring in Video Game NPCs: A Pilot Study Evaluating Player Engagement.

Hana Sinkovic, Marcello A. Gómez Maureira, Marcus Gerhold

Proceedings of the 20th International Conference on the Foundations of Digital Games, 2025

Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants.

Nacir Bouali, Marcus Gerhold, Tosif Ul Rehman, Faizan Ahmed

Proceedings of the 17th International Conference on Computer Supported Education, 2025

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

The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning.

Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev

Proceedings of the IEEE International Conference on Software Analysis, 2024

Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design.

Marcus Gerhold, Aliaksei Kouzel, Haroun Mangal, Selin Mehmed, Vadim Zaytsev

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Teaching Assistants as Assessors: An Experience Based Narrative.

Faizan Ahmed, Nacir Bouali, Marcus Gerhold

Proceedings of the 16th International Conference on Computer Supported Education, 2024

2023

Reproduction Report for SV-COMP 2023.

Marcus Gerhold, Arnd Hartmanns

CoRR, 2023

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller.

Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Computer Aided Content Generation - A Gloomhaven Case Study.

Marcus Gerhold, Kristian Tijben

Proceedings of the 18th International Conference on the Foundations of Digital Games, 2023

Leveraging deep learning for Python version identification.

Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev

Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023

2022

Deriving Modernity Signatures for PHP Systems with Static Analysis.

Wouter Van den Brink, Marcus Gerhold, Vadim Zaytsev

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

2019

Model-based testing of stochastically timed systems.

Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga

Innov. Syst. Softw. Eng., 2019

2018

Model-Based Testing for General Stochastic Time.

Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

A Hierarchy of Scheduler Classes for Stochastic Automata.

Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Model-Based Testing of Probabilistic Systems with Stochastic Time.

Marcus Gerhold, Mariëlle Stoelinga

Proceedings of the Tests and Proofs - 11th International Conference, 2017

2016

Model-based testing of stochastic systems with IOCO theory.

Marcus Gerhold, Mariëlle Stoelinga

Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Model-Based Testing of Probabilistic Systems.

Marcus Gerhold, Mariëlle Stoelinga

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Ioco Theory for Probabilistic Automata.

Marcus Gerhold, Mariëlle Stoelinga

Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015