Tim Willemse
Scholar

Tim Willemse

Google Scholar ID: URsjU7oAAAAJ
Full Professor, Eindhoven University of Technology
Formal MethodsVerificationModel CheckingModel-Based Testing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,740
 
H-index
26
 
i10-index
61
 
Publications
20
 
Co-authors
67
list available
Contact
No contact links provided.
Publications
1 items
Verification of Parametric Markov Automata under Time-bounded Reachability
2026
Cited
0
Resume (English only)
Co-authors
67 total
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Jeroen Keiren
Jeroen Keiren
Assistant Professor, Eindhoven University of Technology, The Netherlands
Wieger Wesselink
Wieger Wesselink
AI Research Engineer, Eindhoven University of Technology
Erik P. de Vink
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Co-author 5
Co-author 5
Bas Luttik
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Co-author 7
Co-author 7
Thomas Neele
Thomas Neele
Assistant Professor, Eindhoven University of Technology