Scholar

Frits W. Vaandrager

Google Scholar ID: 2bkjlMgAAAAJ

Professor of Computer Science, Radboud University

Formal MethodsConcurrency TheoryVerificationModel CheckingAutomata Learning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,458

H-index

28

i10-index

46

Publications

20

Co-authors

70

list available

Contact

Publications

1 items

Completeness of FSM Test Suites Reconsidered

arXiv.org · 2024

Cited

1

Resume (English only)

Co-authors

70 total

Professor of EECS, MIT

Rob van Glabbeek

Jan Friso Groote

Full Professor (Hoogleraar), Eindhoven University of Technology