Seguir
Erik P. de Vink
Erik P. de Vink
Dirección de correo verificada de win.tue.nl - Página principal
Título
Citado por
Citado por
Año
Control flow semantics
JW De Bakker, E De Vink
MIT press, 1996
2451996
Bisimulation for probabilistic transition systems: a coalgebraic approach
EP de Vink, JJMM Rutten
Theoretical Computer Science 221 (1-2), 271-293, 1999
2371999
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
2012013
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
1692019
Probabilistic automata: system types, parallel composition and comparison
A Sokolova, EP De Vink
Validation of Stochastic Systems: A Guide to Current Research, 1-43, 2004
1512004
A formalization of anonymity and onion routing
S Mauw, JHS Verschuren, EP de Vink
Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004
1082004
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
1032004
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
922012
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
872002
Verification and improvement of the sliding window protocol
D Chkliaev, J Hooman, E De Vink
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
822003
Injective synchronisation: An extension of the authentication hierarchy
CJF Cremers, S Mauw, EP de Vink
Theoretical Computer Science 367 (1-2), 139-161, 2006
762006
Continuation semantics for Prolog with cut
A de Bruin, EP de Vink
Colloquium on Trees in Algebra and Programming, 178-192, 1989
611989
Formalising receipt-freeness
HL Jonker, EP de Vink
Information Security: 9th International Conference, ISC 2006, Samos Island …, 2006
562006
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
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
502012
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
491998
Control Flow Semantics. Foundations of Computing Series
JW de Bakker, EP de Vink
The MIT Press, 1996
481996
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003
462003
Using mCRL2 for the analysis of software product lines
MH Beek, EP de Vink
Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014
442014
Synchronous coordination of distributed components
J Proença
442011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20