Frits W. Vaandrager

Citada per

	Totes	Des de 2020
Citacions	12061	2194
Índex h	58	27
Índex i10	106	44

540

270

135

405

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 57 70 112 119 185 227 271 217 198 231 238 253 248 342 347 365 399 480 418 435 421 459 449 430 464 413 359 380 454 454 421 349 538 416 431 35

Accés públic

Mostra-ho tot

27 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Nancy LynchProfessor of EECS, MITCorreu electrònic verificat a csail.mit.edu
Roberto SegalaUniversità di VeronaCorreu electrònic verificat a univr.it
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
Fides AartsASMLCorreu electrònic verificat a asml.com
Rob van GlabbeekUNSWCorreu electrònic verificat a cs.stanford.edu
Judi RomijnSabbatical, career switchCorreu electrònic verificat a xs4all.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteCorreu electrònic verificat a utwente.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
Paul FiterauAssistant Professor at Uppsala University, SwedenCorreu electrònic verificat a it.uu.se
Rocco De NicolaProfessor of Computer Science, IMT LuccaCorreu electrònic verificat a imtlucca.it
Kim G. LarsenDirector, Professor Aalborg UniversityCorreu electrònic verificat a cs.aau.dk
A FehnkerMacquarie UniversityCorreu electrònic verificat a mq.edu.au
Harco KuppensScientific ProgrammerCorreu electrònic verificat a cs.ru.nl
Martijn HendriksEindhoven University of TechnologyCorreu electrònic verificat a tue.nl
Julien SchmaltzCGICorreu electrònic verificat a cgi.com
David N. JansenRadboud Universiteit NijmegenCorreu electrònic verificat a cs.ru.nl
Ling Cheung HughesDover MicrosystemsCorreu electrònic verificat a dovermicrosystems.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityCorreu electrònic verificat a mdh.se
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETCorreu electrònic verificat a famaf.unc.edu.ar
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityCorreu electrònic verificat a it.uu.se

Segueix

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Correu electrònic verificat a cs.ru.nl - Pàgina d'inici

Formal Methods Concurrency Theory Verification Model Checking Automata Learning


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Forward and backward simulations Part I: Untimed systems N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	687	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	601	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	523	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager LITP Spring School on Theoretical Computer Science, 407-419, 1990	491	1990
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	459	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	454	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	383*	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	325	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	322	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
Encoding information into polymers MGTA Rutten, FW Vaandrager, JAAW Elemans, RJM Nolte Nature Reviews Chemistry 2 (11), 365-381, 2018	204	2018
Forward and backward simulations for timing-based systems N Lynch, F Vaandrager Real-Time: Theory in Practice, 397-446, 1992	202	1992
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
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	180	2016
Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990	177	1990

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors