Erik P. de Vink
Title
Cited by
Cited by
Year
Control flow semantics
JW De Bakker, E De Vink
MIT press, 1996
2331996
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
1742013
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP de Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
1671999
Probabilistic automata: system types, parallel composition and comparison
A Sokolova, EP De Vink
Validation of Stochastic Systems, 1-43, 2004
1342004
A formalization of anonymity and onion routing
S Mauw, JHS Verschuren, EP de Vink
European Symposium on Research in Computer Security, 109-124, 2004
1002004
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
862004
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
772003
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
742012
Injective synchronisation: an extension of the authentication hierarchy
CJF Cremers, S Mauw, EP de Vink
Theoretical Computer Science 367 (1-2), 139-161, 2006
702006
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
662002
Continuation semantics for Prolog with cut
A de Bruin, EP de Vink
Colloquium on Trees in Algebra and Programming, 178-192, 1989
601989
Formalising receipt-freeness
HL Jonker, EP de Vink
International Conference on Information Security, 476-488, 2006
552006
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
532010
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
502019
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
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
472012
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
442001
Control Flow Semantics. Foundations of Computing Series
JW de Bakker, EP de Vink
The MIT Press, 1996
431996
The system can't perform the operation now. Try again later.
Articles 1–20