Marcus Gerhold
Orcid: 0000-0002-2655-9617
According to our database1,
Marcus Gerhold
authored at least 15 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Syst. Softw., 2024
The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning.
Proceedings of the IEEE International Conference on Software Analysis, 2024
Proceedings of the 16th International Conference on Computer Supported Education, 2024
2023
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
Proceedings of the 18th International Conference on the Foundations of Digital Games, 2023
Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023
2022
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022
2019
2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the Foundations of Software Science and Computation Structures, 2018
2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
2016
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016
2015
Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015