Get started
Author

E.P. de Vink

Observed names: E. P. DE VINK, E. P. De Vink, E. P. Vink, E. P. de VINK, E. P. de Vink, E. Vink, E.P de Vink, E.P. DE VINK, Erik De vink, Erik P De Vink, Erik P. De Vink, Erik P. de Vink, Erik Peter de Vink, Erik Vink, Erik de Vink, Erik. P. de Vink, Vink, E, Vink, E., Vink, EP Erik de, Vink, Erik, Vink, de, E.P., de Vink, Erik, de Vink, Erik P.
Observed institutions: Leiden University, Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Centrum Wiskunde & Informatica, Radboud University Nijmegen, UNSW Sydney, KPN (Netherlands), Eindhoven University of Technology, Vrije Universiteit Amsterdam, University of Edinburgh
ORCID: 0000-0001-9514-2260
Observed ORCID: 0000-0001-9514-2260
OpenAlex ID: A5018760156
Bisimulation for probabilistic transition systems: a coalgebraic approach
1999 · E.P. de Vink, J.J.M.M. Rutten · Theoretical Computer Science · 146
PDF
The mCRL2 Toolset for Analysing Concurrent Systems
2019 · Olav Bunte, Jan Friso Groote, et al. · Lecture notes in computer science · 136
PDF
Control Flow Semantics
1996 · Jaco de Bakker, E.P. de Vink · Data Archiving and Networked Services (DANS) · 128
An Overview of the mCRL2 Toolset and Its Recent Advances
2013 · Sjoerd Cranen, Jan Friso Groote, et al. · Lecture notes in computer science · 126
Probabilistic Automata: System Types, Parallel Composition and Comparison
2004 · Ana Sokolova, Erik P. de Vink · Lecture notes in computer science · 103
A hierarchy of probabilistic system types
2004 · Falk Bartels, Ana Sokolova, et al. · Theoretical Computer Science · 94
PDF
Verifying Probabilistic Programs Using a Hoare Like Logic
2002 · J. I. DEN HARTOG, E. P. DE VINK · International Journal of Foundations of Computer Science · 68
Reo + mCRL2 : A framework for model-checking dataflow in service compositions
2011 · Natallia Kokash, Christian Krause, et al. · Formal Aspects of Computing · 66
PDF
Injective synchronisation: An extension of the authentication hierarchy
2006 · C.J.F. Cremers, S. Mauw, et al. · Theoretical Computer Science · 60
PDF
Verification and Improvement of the Sliding Window Protocol
2003 · Dmitri Chkliaev, Jozef Hooman, et al. · Lecture notes in computer science · 51
Bisimulation for probabilistic transition systems: A coalgebraic approach
1997 · E. P. Vink, J. J. M. M. Rutten · Lecture notes in computer science · 47
PDF
Time and Data-Aware Analysis of Graphical Service Models in Reo
2010 · N. Kokash, C. Krause, et al. · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 44
Dreams
2012 · José Proença, Dave Clarke, et al. · ACM Symposium on Applied Computing · 43
Continuation semantics for PROLOG with cut
1989 · A. Bruin, E. P. Vink · Lecture notes in computer science · 38
PDF
Family-Based Model Checking with mCRL2
2017 · Maurice H. ter Beek, Erik P. de Vink, et al. · Lecture notes in computer science · 35
Formalising Receipt-Freeness
2006 · H. L. Jonker, E. P. de Vink · Lecture notes in computer science · 34
Denotational models for programming languages: applications of Banach's Fixed Point Theorem
1998 · J.W. de Bakker, E.P. de Vink · Topology and its Applications · 34
PDF
Using mCRL2 for the analysis of software product lines
2014 · Maurice H. ter Beek, Erik P. de Vink · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 30
Data-aware design and verification of service compositions with Reo and mCRL2
2010 · N. Kokash, C. Krause, et al. · ACM Symposium on Applied Computing · 29
Axiomatizing GSOS with termination
2004 · J.C.M Baeten, E.P de Vink · The Journal of Logic and Algebraic Programming · 28
PDF
A hierarchy of probabilistic system types
2003 · Falk Bartels, Ana Sokolova, et al. · Electronic Notes in Theoretical Computer Science · 28
PDF
Supervisory Controller Synthesis for Product Lines Using CIF 3
2016 · Maurice H. ter Beek, Michel A. Reniers, et al. · Lecture notes in computer science · 26
PDF
PINPAS: a Tool for Power Analysis of Smartcards
2003 · J. Hartog, J. Verschuren, et al. · Springer eBooks · 26
Towards Modular Verification of Software Product Lines with mCRL2
2014 · Maurice H. ter Beek, Erik P. de Vink · Lecture notes in computer science · 25
Mixing Up Nondeterminism and Probability: a preliminary report
1999 · J.I. den Hartog, E.P. de Vink · Electronic Notes in Theoretical Computer Science · 24
Works count: 160
Citation count: 2,201
H-index: 24
I10-index: 52
Year
Topic
Type