Marcus Gerhold

According to our database, Marcus Gerhold authored at least 16 papers between 2015 and 2024.

Collaborative distances:

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

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 of probabilistic systems.

Marcus Gerhold, Mariëlle Stoelinga

Formal Aspects Comput., 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

2015

Ioco Theory for Probabilistic Automata.

Marcus Gerhold, Mariëlle Stoelinga

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