Jan Friso Groote
Scholar

Jan Friso Groote

Google Scholar ID: fZ3cdbUAAAAJ
Full Professor (Hoogleraar), Eindhoven University of Technology
Formal MethodsSoftware modelling and verificationEmbedded Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,014
 
H-index
52
 
i10-index
119
 
Publications
20
 
Co-authors
64
list available
Contact
No contact links provided.
Publications
3 items
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
2026
Cited
0
A formal specification of the desired software behaviour of the Princess Marijke lock complex
2025
Cited
0
The Autonomous Data Language -- Concepts, Design and Formal Verification
2025
Cited
0
Resume (English only)
Co-authors
64 total
Tim Willemse
Tim Willemse
Full Professor, Eindhoven University of Technology
Alban Ponse
Alban Ponse
Guest Researcher, Informatics Institute, University of Amsterdam
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Mohammad Reza Mousavi
Mohammad Reza Mousavi
Professor of Software Engineering, King's College London
Jeroen Keiren
Jeroen Keiren
Assistant Professor, Eindhoven University of Technology, The Netherlands
Erik P. de Vink
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Frits W. Vaandrager
Frits W. Vaandrager
Professor of Computer Science, Radboud University
Anton Wijs
Anton Wijs
Associate Professor on Parallel Software Development at Eindhoven University of Technology