Marcus Gerhold

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 17

Top Topics

Probabilistic Automata

Teaching Assistants

Model Based Testing

Inter Annotator Agreement

Top Venues

Publications

Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev
The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning. SANER (2024)
Faizan Ahmed, Nacir Bouali, Marcus Gerhold
Teaching Assistants as Assessors: An Experience Based Narrative. CSEDU (1) (2024)
Chris Admiraal, Wouter Van den Brink, Marcus Gerhold, Vadim Zaytsev, Cristian Zubcu
Deriving modernity signatures of codebases with static analysis. J. Syst. Softw. 211 (2024)
Marcus Gerhold, Kristian Tijben
Computer Aided Content Generation - A Gloomhaven Case Study. FDG (2023)
Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. FMICS (2023)
Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev
Leveraging deep learning for Python version identification. BENEVOL (2023)
Marcus Gerhold, Arnd Hartmanns
Reproduction Report for SV-COMP 2023. CoRR (2023)
Wouter Van den Brink, Marcus Gerhold, Vadim Zaytsev
Deriving Modernity Signatures for PHP Systems with Static Analysis. SCAM (2022)
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
Model-Based Testing for General Stochastic Time. NFM (2018)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS (2018)
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing of probabilistic systems. Formal Aspects Comput. 30 (1) (2018)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR (2017)
Marcus Gerhold, Mariëlle Stoelinga
Model-Based Testing of Probabilistic Systems with Stochastic Time. TAP@STAF (2017)
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing of stochastic systems with IOCO theory. A-TEST@SIGSOFT FSE (2016)
Marcus Gerhold, Mariëlle Stoelinga
Model-Based Testing of Probabilistic Systems. FASE (2016)
Marcus Gerhold, Mariëlle Stoelinga
Ioco Theory for Probabilistic Automata. MBT (2015)