Scholar
Tim Willemse
Google Scholar ID: URsjU7oAAAAJ
Full Professor, Eindhoven University of Technology
Formal Methods
Verification
Model Checking
Model-Based Testing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,740
H-index
26
i10-index
61
Publications
20
Co-authors
67
list available
Publications
1 items
Verification of Parametric Markov Automata under Time-bounded Reachability
2026
Cited
0
Co-authors
12 total
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Jeroen Keiren
Assistant Professor, Eindhoven University of Technology, The Netherlands
Wieger Wesselink
AI Research Engineer, Eindhoven University of Technology
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Thomas Neele
Assistant Professor, Eindhoven University of Technology
Sjouke Mauw
Professor in Security and Trust of Software Systems, University of Luxembourg
M.A. Reniers
TU/e
