Frits W. Vaandrager

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2016
Позовавания	9948	2093
h-индекс	53	26
i10-индекс	96	48

480

240

120

360

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202144 67 88 106 172 234 240 206 200 209 230 237 240 324 316 354 397 451 400 431 407 438 447 430 455 404 368 357 466 437 408 56

Съавтори

Nancy LynchProfessor of EECS, MITПотвърден имейл адрес: csail.mit.edu
Roberto SegalaUniversità di VeronaПотвърден имейл адрес: univr.it
Fides AartsASMLПотвърден имейл адрес: asml.com
Rob van GlabbeekData61, CSIRO and UNSWПотвърден имейл адрес: cs.stanford.edu
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityПотвърден имейл адрес: cmu.edu
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyПотвърден имейл адрес: tue.nl
Judi RomijnSabbatical, career switchПотвърден имейл адрес: xs4all.nl
Rocco De NicolaProfessor of Computer Science, IMT LuccaПотвърден имейл адрес: imtlucca.it
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteПотвърден имейл адрес: utwente.nl
Kim G. LarsenDirector, Professor Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
A FehnkerUniversity of TwenteПотвърден имейл адрес: utwente.nl
Paul FiterauPostdoctoral Researcher at Uppsala University, SwedenПотвърден имейл адрес: it.uu.se
Martijn HendriksEmbedded Systems Innovation by TNOПотвърден имейл адрес: tno.nl
Julien SchmaltzICT GroupПотвърден имейл адрес: ict.nl
Ling Cheung HughesDover MicrosystemsПотвърден имейл адрес: dovermicrosystems.com
Georgeta IgnaIntel Deutschland GmbHПотвърден имейл адрес: intel.com
Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenПотвърден имейл адрес: mdh.se
David N. JansenRadboud Universiteit NijmegenПотвърден имейл адрес: cs.ru.nl
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETПотвърден имейл адрес: famaf.unc.edu.ar
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityПотвърден имейл адрес: it.uu.se

Frits W. Vaandrager

Professor of Computer Science, Radboud University

Потвърден имейл адрес: cs.ru.nl - Начална страница

Formal Methods Concurrency Theory Verification Model Checking Automata Learning


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Forward and backward simulations Part I: Untimed systems N Lynch, F Vaandrager Information and Computation 121 (2), 214-233, 1995	568	1995
Hybrid i/o automata N Lynch, R Segala, F Vaandrager Information and Computation 185 (1), 105-157, 2003	530	2003
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	460	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager LITP Spring School on Theoretical Computer Science, 407-419, 1990	437	1990
Structured operational semantics and bisimulation as a congruence JF Groote, F Vaandrager Information and computation 100 (2), 202-260, 1992	419	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	414	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	390	1987
Testing timed automata J Springintveld, F Vaandrager, PR D'Argenio Theoretical computer science 254 (1), 225-257, 2001	360	2001
Hybrid i/o automata N Lynch, R Segala, F Vaandrager, HB Weinberg International Hybrid Systems Workshop, 496-510, 1995	322	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	295	2010
An efficient algorithm for branching bisimulation and stuttering equivalence JF Groote, F Vaandrager International Colloquium on Automata, Languages, and Programming, 626-638, 1990	279	1990
Forward and backward simulations: II. timing-based systems N Lynch, F Vaandrager Information and Computation 128 (1), 1-25, 1996	215	1996
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	190	1994
Forward and backward simulations for timing-based systems N Lynch, F Vaandrager Real-Time: Theory in Practice, 397-446, 1992	188	1992
Proof-checking a data link protocol L Helmink, MPA Sellink, FW Vaandrager International Workshop on Types for Proofs and Programs, 127-165, 1993	186	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	168	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	155	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	142	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	137*	2015

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Качване на PDF

Следете този автор

Позовавания

Съавтори