Scholar
Jeroen Keiren
Google Scholar ID: _nrYKCoAAAAJ
Assistant Professor, Eindhoven University of Technology, The Netherlands
Formal Methods
Verification
Testing
Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
578
H-index
10
i10-index
11
Publications
20
Co-authors
41
list available
Co-authors
11 total
Tim Willemse
Full Professor, Eindhoven University of Technology
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Wieger Wesselink
AI Research Engineer, Eindhoven University of Technology
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Anton Wijs
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Thomas Neele
Assistant Professor, Eindhoven University of Technology
David N. Jansen
Radboud Universiteit Nijmegen
M.A. Reniers
TU/e
