Marcus Gerhold

According to our database, Marcus Gerhold authored at least 12 papers between 2015 and 2023.

Collaborative distances:

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

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