Erik P. de Vink
Erik P. de Vink
E-mail megerősítve itt: win.tue.nl - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Control flow semantics
JW De Bakker, E De Vink
MIT press, 1996
2271996
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
1722013
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP de Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
1651999
Probabilistic automata: system types, parallel composition and comparison
A Sokolova, EP De Vink
Validation of Stochastic Systems, 1-43, 2004
1312004
A formalization of anonymity and onion routing
S Mauw, JHS Verschuren, EP de Vink
European Symposium on Research in Computer Security, 109-124, 2004
942004
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
822004
Verification and improvement of the sliding window protocol
D Chkliaev, J Hooman, E De Vink
International Conference on Tools and Algorithms for the Construction and …, 2003
762003
Reo + mCRL2 : A framework for model-checking dataflow in service compositions
N Kokash, C Krause, E De Vink
Formal Aspects of Computing 24 (2), 187-216, 2012
712012
Injective synchronisation: an extension of the authentication hierarchy
CJF Cremers, S Mauw, EP de Vink
Theoretical Computer Science 367 (1-2), 139-161, 2006
682006
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP de Vink, JJMM Rutten
International Colloquium on Automata, Languages, and Programming, 460-470, 1997
681997
Verifying probabilistic programs using a Hoare like logic
JI Den Hartog, EP de Vink
International journal of foundations of computer science 13 (03), 315-340, 2002
612002
Continuation semantics for Prolog with cut
A de Bruin, EP de Vink
Colloquium on Trees in Algebra and Programming, 178-192, 1989
611989
Time and data-aware analysis of graphical service models in Reo
N Kokash, C Krause, EP de Vink
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
502010
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003
492003
Denotational models for programming languages: applications of Banach's fixed point theorem
JW De Bakker, EP De Vink
Topology and its Applications 85 (1-3), 35-52, 1998
481998
Formalising receipt-freeness
HL Jonker, EP de Vink
International Conference on Information Security, 476-488, 2006
472006
Dreams: a framework for distributed synchronous coordination
J Proença, D Clarke, E De Vink, F Arbab
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1510-1515, 2012
462012
The mCRL2 toolset for analysing concurrent systems
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
432019
On BAN logics for industrial security protocols
N Agray, W Van Der Hoek, E De Vink
International Workshop of Central and Eastern Europe on Multi-Agent Systems …, 2001
422001
Control Flow Semantics. Foundations of Computing Series
JW de Bakker, EP de Vink
The MIT Press, 1996
421996
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20