Marcus Gerhold
Scholar

Marcus Gerhold

Google Scholar ID: 80QbLlQAAAAJ
University of Twente
Formal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
130
 
H-index
6
 
i10-index
3
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
2 items
Crash-free Deductive Verifiers
2026
Cited
0
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
2025
Cited
0
Resume (English only)
Co-authors
11 total
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Arnd Hartmanns
Arnd Hartmanns
University of Twente
Vadim Zaytsev
Vadim Zaytsev
Associate Professor, University of Twente
Sean Sedwards
Sean Sedwards
University of Waterloo
Pedro R. D'Argenio
Pedro R. D'Argenio
FAMAF, Universidad Nacional de Córdoba - CONICET
Lola Solovyeva
Lola Solovyeva
University of Twente
Faizan Ahmed
Faizan Ahmed
University of Twente/ Saxion University of Applied Sciences, the Netherlands
Nacir Bouali
Nacir Bouali
University of Eastern Finland