Frits W. Vaandrager

Cited by

	All	Since 2016
Citations	10059	2174
h-index	53	27
i10-index	96	50

480

240

120

360

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202146 67 88 108 172 238 244 208 202 209 231 238 237 325 317 354 397 452 398 432 406 439 454 429 456 405 369 358 464 430 430 121

Public access

View all

23 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
Fides AartsASMLVerified email at asml.com
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityVerified email at cmu.edu
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Judi RomijnSabbatical, career switchVerified email at xs4all.nl
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
A FehnkerUniversity of TwenteVerified email at utwente.nl
Paul FiterauPostdoctoral Researcher at Uppsala University, SwedenVerified email at it.uu.se
Martijn HendriksEmbedded Systems Innovation by TNOVerified email at tno.nl
Julien SchmaltzICT GroupVerified email at ict.nl
Ling Cheung HughesDover MicrosystemsVerified email at dovermicrosystems.com
Georgeta IgnaIntel Deutschland GmbHVerified email at intel.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
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	572	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	537	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	464	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager LITP Spring School on Theoretical Computer Science, 407-419, 1990	440	1990
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	422	1992
Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... International workshop on hybrid systems: computation and control, 147-161, 2001	418	2001
Petri net models for algebraic theories of concurrency R Van Glabbeek, F Vaandrager International Conference on Parallel Architectures and Languages Europe, 224-242, 1987	396	1987
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1), 225-257, 2001	363	2001
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	324	1995
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	296	2010
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	282	1990
Forward and backward simulations: II. timing-based systems N Lynch, F Vaandrager Information and Computation 128 (1), 1-25, 1996	219	1996
Forward and backward simulations for timing-based systems N Lynch, F Vaandrager Real-Time: Theory in Practice, 397-446, 1992	191	1992
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	190	1994
Proof-checking a data link protocol L Helmink, MPA Sellink, FW Vaandrager International Workshop on Types for Proofs and Programs, 127-165, 1993	187	1993
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	173	2002
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	158	2003
Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990	146	1990
Verification of an audio control protocol D Bosscher, I Polak, F Vaandrager Formal Techniques in Real-Time and Fault-Tolerant Systems, 170-192, 1994	143	1994
Generating models of infinite-state communication protocols using regular inference with abstraction F Aarts, B Jonsson, J Uijen, F Vaandrager Formal Methods in System Design 46 (1), 1-41, 2015	139*	2015

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

Upload PDF

Follow this author

Cited by

Co-authors