Frits W. Vaandrager

Cited by

	All	Since 2020
Citations	12029	2171
h-index	58	27
i10-index	106	43

540

270

135

405

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 57 70 111 120 185 227 272 216 199 233 241 254 242 342 345 366 401 477 418 434 420 458 451 430 462 415 358 378 453 453 422 350 537 418 426 14

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Roberto SegalaUniversità di VeronaVerified email at univr.it
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityVerified email at cmu.edu
Fides AartsASMLVerified email at asml.com
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Judi RomijnSabbatical, career switchVerified email at xs4all.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Paul FiterauAssistant Professor at Uppsala University, SwedenVerified email at it.uu.se
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
A FehnkerMacquarie UniversityVerified email at mq.edu.au
Harco KuppensScientific ProgrammerVerified email at cs.ru.nl
Martijn HendriksEindhoven University of TechnologyVerified email at tue.nl
Julien SchmaltzCGIVerified email at cgi.com
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Ling Cheung HughesDover MicrosystemsVerified email at dovermicrosystems.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerified email at mdh.se
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Verified email at cs.ru.nl - Homepage

Formal Methods Concurrency Theory Verification Model Checking Automata Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Forward and backward simulations Part I: Untimed systems N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	684	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	598	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	520	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager LITP Spring School on Theoretical Computer Science, 407-419, 1990	490	1990
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	458	1992
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001	453	2001
Petri net models for algebraic theories of concurrency R Van Glabbeek, F Vaandrager PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987	426	1987
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1), 225-257, 2001	395	2001
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	384*	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	324	1990
The theory of timed I/O automata DK Kaynar, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010	321	2010
Model learning F Vaandrager Communications of the ACM 60 (2), 86-95, 2017	279	2017
Proof-checking a data link protocol L Helmink, MPA Sellink, FW Vaandrager Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The …, 1994	213	1994
Linear parametric model checking of timed automata T Hune, J Romijn, M Stoelinga, F Vaandrager The Journal of Logic and Algebraic Programming 52, 183-220, 2002	209	2002
Forward and backward simulations: II. timing-based systems N Lynch, F Vaandrager Information and Computation 128 (1), 1-25, 1996	201	1996
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	201	1994
Encoding information into polymers MGTA Rutten, FW Vaandrager, JAAW Elemans, RJM Nolte Nature Reviews Chemistry 2 (11), 365-381, 2018	200	2018
Forward and backward simulations for timing-based systems N Lynch, F Vaandrager Real-Time: Theory in Practice, 397-446, 1992	200	1992
Combining Model Learning and Model Checking to Analyze TCP Implementations P Fiterău-Broştean, R Janssen, F Vaandrager International Conference on Computer Aided Verification, 454-471, 2016	179	2016
Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems DK Kaynar, N Lynch, R Segala, F Vaandrager RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 166-177, 2003	176	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors