Scholar
Frits W. Vaandrager
Google Scholar ID: 2bkjlMgAAAAJ
Professor of Computer Science, Radboud University
Formal Methods
Concurrency Theory
Verification
Model Checking
Automata Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,458
H-index
28
i10-index
46
Publications
20
Co-authors
70
list available
Contact
CV
Open ↗
Publications
1 items
Completeness of FSM Test Suites Reconsidered
arXiv.org · 2024
Cited
1
Co-authors
9 total
Nancy Lynch
Professor of EECS, MIT
Rob van Glabbeek
UNSW
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Kim G. Larsen
Director, Professor Aalborg University
Paul Pettersson
Professor of Real-time Systems, Mälardalen University
David N. Jansen
Radboud Universiteit Nijmegen
Pedro R. D'Argenio
FAMAF, Universidad Nacional de Córdoba - CONICET
