Marcus Gerhold

23 papers A 1B 2C 5Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 C conf
Affective Mirroring in Video Game NPCs: A Pilot Study Evaluating Player Engagement.
FDG
Hana Sinkovic, Marcello A. Gómez Maureira, Marcus Gerhold
2025 J jnl
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller.
Int. J. Softw. Tools Technol. Transf.
Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga, Arend Rensink
2025 C conf
Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata.
ICTSS
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025 J jnl
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata.
CoRR
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025 — conf
Toward Automated UML Diagram Assessment: Comparing LLM-Generated Scores with Teaching Assistants.
CSEDU (1)
Nacir Bouali, Marcus Gerhold, Tosif Ul Rehman, Faizan Ahmed
2024 J jnl
Deriving modernity signatures of codebases with static analysis.
J. Syst. Softw.
Chris Admiraal, Wouter Van den Brink, Marcus Gerhold, Vadim Zaytsev, Cristian Zubcu
2024 — conf
Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design.
MoDELS (Companion)
Marcus Gerhold, Aliaksei Kouzel, Haroun Mangal, Selin Mehmed, Vadim Zaytsev
2024 — conf
Teaching Assistants as Assessors: An Experience Based Narrative.
CSEDU (1)
Faizan Ahmed, Nacir Bouali, Marcus Gerhold
2024 A conf
The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning.
SANER
Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev
2023 C conf
Computer Aided Content Generation - A Gloomhaven Case Study.
FDG
Marcus Gerhold, Kristian Tijben
2023 C conf
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller.
FMICS
Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga
2023 — conf
Leveraging deep learning for Python version identification.
BENEVOL
Marcus Gerhold, Lola Solovyeva, Vadim Zaytsev
2023 J jnl
Reproduction Report for SV-COMP 2023.
CoRR
Marcus Gerhold, Arnd Hartmanns
2022 C conf
Deriving Modernity Signatures for PHP Systems with Static Analysis.
SCAM
Wouter Van den Brink, Marcus Gerhold, Vadim Zaytsev
2019 J jnl
Model-based testing of stochastically timed systems.
Innov. Syst. Softw. Eng.
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
2018 B conf
A Hierarchy of Scheduler Classes for Stochastic Automata.
FoSSaCS
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2018 — conf
Model-Based Testing for General Stochastic Time.
NFM
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
2018 J jnl
Model-based testing of probabilistic systems.
Formal Aspects Comput.
Marcus Gerhold, Mariëlle Stoelinga
2017 J jnl
A Hierarchy of Scheduler Classes for Stochastic Automata.
CoRR
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2017 — conf
Model-Based Testing of Probabilistic Systems with Stochastic Time.
TAP@STAF
Marcus Gerhold, Mariëlle Stoelinga
2016 B conf
Model-Based Testing of Probabilistic Systems.
FASE
Marcus Gerhold, Mariëlle Stoelinga
2016 — conf
Model-based testing of stochastic systems with IOCO theory.
A-TEST@SIGSOFT FSE
Marcus Gerhold, Mariëlle Stoelinga
2015 — conf
Ioco Theory for Probabilistic Automata.
MBT
Marcus Gerhold, Mariëlle Stoelinga