Frits W. Vaandrager

Citat de

	Toate	Din 2020
Referințe bibliografice	12124	2217
h-index	58	27
i10-index	105	45

560

280

140

420

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 58 72 112 121 185 230 262 220 201 233 239 249 252 345 351 361 405 476 419 437 419 458 458 436 467 411 358 380 460 457 420 355 541 410 434 53

Acces public

Afișați-le pe toate

27 de articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Nancy LynchProfessor of EECS, MITAdresă de e-mail confirmată pe csail.mit.edu
Roberto SegalaUniversità di VeronaAdresă de e-mail confirmată pe univr.it
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
Fides AartsASMLAdresă de e-mail confirmată pe asml.com
Rob van GlabbeekUNSWAdresă de e-mail confirmată pe cs.stanford.edu
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
Paul FiterauAssistant Professor at Uppsala University, SwedenAdresă de e-mail confirmată pe it.uu.se
Judi RomijnSabbatical, career switchAdresă de e-mail confirmată pe xs4all.nl
Rocco De NicolaProfessor of Computer Science, IMT LuccaAdresă de e-mail confirmată pe imtlucca.it
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresă de e-mail confirmată pe utwente.nl
Kim G. LarsenDirector, Professor Aalborg UniversityAdresă de e-mail confirmată pe cs.aau.dk
A FehnkerMacquarie UniversityAdresă de e-mail confirmată pe mq.edu.au
Harco KuppensScientific ProgrammerAdresă de e-mail confirmată pe cs.ru.nl
Martijn HendriksEindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
Julien SchmaltzCGIAdresă de e-mail confirmată pe cgi.com
David N. JansenRadboud Universiteit NijmegenAdresă de e-mail confirmată pe cs.ru.nl
Ling Cheung HughesDover MicrosystemsAdresă de e-mail confirmată pe dovermicrosystems.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityAdresă de e-mail confirmată pe mdh.se
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETAdresă de e-mail confirmată pe famaf.unc.edu.ar
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityAdresă de e-mail confirmată pe it.uu.se

Urmăriți

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Adresă de e-mail confirmată pe cs.ru.nl - Pagina de pornire

Formal Methods Concurrency Theory Verification Model Checking Automata Learning


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Forward and backward simulations Part I: Untimed systems N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	686	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	593	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	530	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager LITP Spring School on Theoretical Computer Science, 407-419, 1990	497	1990
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	461	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	427	1987
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1), 225-257, 2001	400	2001
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	381	1995
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	329	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	278	2017
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	211	2002
Proof-checking a data link protocol L Helmink, MPA Sellink, FW Vaandrager Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The …, 1994	209	1994
Encoding information into polymers MGTA Rutten, FW Vaandrager, JAAW Elemans, RJM Nolte Nature Reviews Chemistry 2 (11), 365-381, 2018	205	2018
Forward and backward simulations for timing-based systems N Lynch, F Vaandrager Real-Time: Theory in Practice, 397-446, 1992	205	1992
Forward and backward simulations: II. timing-based systems N Lynch, F Vaandrager Information and Computation 128 (1), 1-25, 1996	203	1996
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	202	1994
Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990	180	1990
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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori