Scholar
Erik P. de Vink
Google Scholar ID: 1L7UeyMAAAAJ
Associate Professor, Eindhoven University of Technology
Formal Methods
Probabilistic Processes
Software Product Lines
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,673
H-index
31
i10-index
74
Publications
20
Co-authors
14
list available
Publications
3 items
A Comprehensive History of $μ$CRL and mCRL2
2026
Cited
0
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
2026
Cited
0
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
arXiv.org · 2024
Cited
0
Co-authors
8 total
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Ana Sokolova
Professor at University of Salzburg
Tim Willemse
Full Professor, Eindhoven University of Technology
Mieke Massink
CNR-ISTI
Maurice H. ter Beek
ISTI, CNR
Sjouke Mauw
Professor in Security and Trust of Software Systems, University of Luxembourg
Diego Latella
Senior Researcher - CNR-ISTI Pisa (ret.)
Cas Cremers
CISPA Helmholtz Center for Information Security
