Marcus Gerhold -

Registered user since Thu 20 Jul 2023

Name:Marcus Gerhold

Affiliation:University of Twente, The Netherlands

Contributions

2025

ICTSS

Author of Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-outs in Timed Automata within the General Track-track

2024

STAF

Local Chair in Organizing Committee

SANER

Author of The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning within the Reproducibility Studies and Negative Results (RENE) Track -track

2023

FormaliSE

Committee Member in Program Committee within the FormaliSE 2023-track