Frits W. Vaandrager

Citado por

	Total	Desde 2019
Citas	11984	2581
Índice h	58	31
Índice i10	106	50

540

270

135

405

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 57 70 111 120 185 227 272 216 199 233 241 252 242 342 345 363 402 477 418 436 417 458 451 432 462 415 358 380 452 451 423 350 537 422 391

Acceso público

Ver todo

26 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Nancy LynchProfessor of EECS, MITDirección de correo verificada de csail.mit.edu
Roberto SegalaUniversità di VeronaDirección de correo verificada de univr.it
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
Fides AartsASMLDirección de correo verificada de asml.com
Rob van GlabbeekUNSWDirección de correo verificada de cs.stanford.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaDirección de correo verificada de imtlucca.it
Judi RomijnSabbatical, career switchDirección de correo verificada de xs4all.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Paul FiterauAssistant Professor at Uppsala University, SwedenDirección de correo verificada de it.uu.se
Kim G. LarsenDirector, Professor Aalborg UniversityDirección de correo verificada de cs.aau.dk
A FehnkerMacquarie UniversityDirección de correo verificada de mq.edu.au
Harco KuppensScientific ProgrammerDirección de correo verificada de cs.ru.nl
Martijn HendriksEindhoven University of TechnologyDirección de correo verificada de tue.nl
Julien SchmaltzCGIDirección de correo verificada de cgi.com
David N. JansenRadboud Universiteit NijmegenDirección de correo verificada de cs.ru.nl
Ling Cheung HughesDover MicrosystemsDirección de correo verificada de dovermicrosystems.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityDirección de correo verificada de mdh.se
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETDirección de correo verificada de famaf.unc.edu.ar
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityDirección de correo verificada de it.uu.se

Seguir

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Dirección de correo verificada de cs.ru.nl - Página principal

Formal Methods Concurrency Theory Verification Model Checking Automata Learning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Forward and backward simulations Part I: Untimed systems N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	680	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	594	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	519	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	450	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	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	319	2010
Model learning F Vaandrager Communications of the ACM 60 (2), 86-95, 2017	276	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
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	201	1994
Forward and backward simulations: II. timing-based systems N Lynch, F Vaandrager Information and Computation 128 (1), 1-25, 1996	200	1996
Forward and backward simulations for timing-based systems N Lynch, F Vaandrager Real-Time: Theory in Practice, 397-446, 1992	199	1992
Encoding information into polymers MGTA Rutten, FW Vaandrager, JAAW Elemans, RJM Nolte Nature Reviews Chemistry 2 (11), 365-381, 2018	196	2018
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	178	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores