Erik P. de Vink

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 29

Top Venues

CoRR

ISoLA (1)

FORTE

Univ. Amsterdam (PHD)

Education History

Univ. Amsterdam

PHD

Publications

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
. FORTE (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR (2024)
Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS (2023)
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Polyhedral Models and SLCS. FORTE (2023)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. 19 (2) (2023)
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
Minimisation of Spatial Models Using Branching Bisimilarity. FM (2023)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR (2023)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Lowerbounds for Bisimulation by Partition Refinement. CoRR (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR (2021)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR (2021)
Erik P. de Vink, Ana Cavalcanti
Editorial. Formal Aspects Comput. 33 (1) (2021)
Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
Family-Based SPL Model Checking Using Parity Games with Variability. FASE (2020)
Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink
A formal actor-based model for streaming the future. Sci. Comput. Program. 186 (2020)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR (2020)
Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems (2019)
Jan Friso Groote, Erik P. de Vink
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. From Software Engineering to Formal Methods and Tools, and Back (2019)
Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
Modelling and Analysing Software in mCRL2. FACS (2019)
Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
Extending Paradigm with Data. It's All About Coordination (2018)
Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink
Deadlock Detection for Actor-Based Coroutines. FM (2018)
Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink
An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms 11 (9) (2018)
Jan Friso Groote, Erik P. de Vink
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd (2017)
Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse
Family-Based Model Checking of SPL based on mCRL2. SPLC (B) (2017)
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Family-Based Model Checking with mCRL2. FASE (2017)
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE (2016)
L. P. J. Groenewegen, R. Kuiper, Erik P. de Vink
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods (2016)
Matias David Lee, Erik P. de Vink
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. MFCS (2016)
Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) (2016)
Diego Latella, Mieke Massink, Erik P. de Vink
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11 (4) (2015)
Diego Latella, Mieke Massink, Erik P. de Vink
A Definition Scheme for Quantitative Bisimulation. QAPL (2015)
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Coherent branching feature bisimulation. FMSPLE (2015)
Matias David Lee, Erik P. de Vink
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL (2015)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94 (2014)
Tessa E. Pronk, Jochem W. van der Veen, Rob J. Vandebriel, Henk van Loveren, Erik P. de Vink, Jeroen L. A. Pennings
Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1. Biosyst. 124 (2014)
Maurice H. ter Beek, Erik P. de Vink
Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) (2014)
Axel Legay, Erik P. de Vink
SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC (2014)
Maurice H. ter Beek, Erik P. de Vink
Software product line analysis with mCRL2. SPLC Workshops (2014)
Maurice H. ter Beek, Erik P. de Vink
Using mCRL2 for the analysis of software product lines. FormaliSE (2014)
Paola Giannini, Erik P. de Vink
Preface. Electron. Notes Theor. Comput. Sci. 293 (2013)
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS (2013)
Erik P. de Vink, Hans Zantema, Dragan Bosnacki
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comput. Sci. 23 (1) (2013)
Christian Krause, Holger Giese, Erik P. de Vink
Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. 24 (3) (2013)
Natallia Kokash, Christian Krause, Erik P. de Vink
Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24 (2) (2012)
Erik P. de Vink, Hans Zantema, Dragan Bosnacki
Combining Insertion and Deletion in RNA-editing Preserves Regularity MeCBIC (2012)
Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. 24 (4-6) (2012)
Diego Latella, Mieke Massink, Erik P. de Vink
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages ACCAT (2012)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Dreams: a framework for distributed synchronous coordination. SAC (2012)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Towards reduction of Paradigm coordination models PACO (2011)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76 (8) (2011)
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
Decoupled execution of synchronous coordination models via behavioural automata FOCLASA (2011)
Natallia Kokash, Christian Krause, Erik P. de Vink
Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM (2010)
Christian Krause, Carola Krause, Erik P. de Vink
Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB (2010)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Distributed Adaption of Dining Philosophers. FACS (2010)
Natallia Kokash, Christian Krause, Erik P. de Vink
Data-aware design and verification of service compositions with Reo and mCRL2. SAC (2010)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) (2010)
Jasen Markovski, Erik P. de Vink
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Informaticae 95 (1) (2009)
Ana Sokolova, Erik P. de Vink, Harald Woracek
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. 19 (2009)
Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink
Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Comp. Sys. Biology 11 (2009)
Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink
Formalizing Adaptation On-the-Fly. Electron. Notes Theor. Comput. Sci. 255 (2009)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66 (8) (2009)
Natallia Kokash, Christian Krause, Erik P. de Vink
Verification of Context-Dependent Channel-Based Service Models. FMCO (2009)
Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB (2008)
Jasen Markovski, Erik P. de Vink
Extending Timed Process Algebra with Discrete Stochastic Time. AMAST (2008)
Jasen Markovski, Erik P. de Vink
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD (2008)
Luuk Groenewegen, Erik P. de Vink
Dynamic System Adaptation by Constraint Orchestration CoRR (2008)
Jing Pan, J. I. den Hartog, Erik P. de Vink
An Operation-Based Metric for CPA Resistance. SEC (2008)
Christian Koehler, Farhad Arbab, Erik P. de Vink
Reconfiguring Distributed Reo Connectors. WADT (2008)
Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
Architecting Security with Paradigm. WADS (2008)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov Reward Chains with Fast Transitions. EPEW (2007)
Jasen Markovski, Erik P. de Vink
Real-Time Process Algebra with Stochastic Delays. ACSD (2007)
Sjouke Mauw, Jan Verschuren, Erik P. de Vink
Data Anonymity in the FOO Voting Scheme. Electron. Notes Theor. Comput. Sci. 168 (2007)
Hugo L. Jonker, Erik P. de Vink
Formalising Receipt-Freeness. ISC (2006)
Andries W. Stam, Luuk Groenewegen, Erik P. de Vink
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. Electron. Notes Theor. Comput. Sci. 150 (1) (2006)
Jasen Markovski, Erik P. de Vink
Embedding Real Time in Stochastic Process Algebras. EPEW (2006)
Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
Preface. Electron. Notes Theor. Comput. Sci. 157 (4) (2006)
Simona Orzan, Erik P. de Vink
Multiparty Contract Signing Over a Reliable Network. Electron. Notes Theor. Comput. Sci. 157 (3) (2006)
Luuk Groenewegen, Erik P. de Vink
Evolution On-the-Fly with Paradigm. COORDINATION (2006)
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367 (1-2) (2006)
Luuk Groenewegen, Andries W. Stam, Pieter J. Toussaint, Erik P. de Vink
Paradigm as Organization-Oriented Coordination Language. Electron. Notes Theor. Comput. Sci. 150 (3) (2006)
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink
A Syntactic Criterion for Injectivity of Authentication Protocols. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
Toward Reasoning about Security Protocols: A Semantic Approach. Electron. Notes Theor. Comput. Sci. 126 (2005)
Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink
Delegation Modeling with Paradigm. COORDINATION (2005)
Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
Preface. Electron. Notes Theor. Comput. Sci. 126 (2005)
Falk Bartels, Ana Sokolova, Erik P. de Vink
A hierarchy of probabilistic system types. Theor. Comput. Sci. 327 (1-2) (2004)
Jos C. M. Baeten, Erik P. de Vink
Axiomatizing GSOS with termination. J. Log. Algebraic Methods Program. (2004)
Sjouke Mauw, Jan Verschuren, Erik P. de Vink
A Formalization of Anonymity and Onion Routing. ESORICS (2004)
Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge
Preface: Volume 85, Issue 2. Electron. Notes Theor. Comput. Sci. 85 (2) (2004)
Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
Update Semantics of Security Protocols. Synth. 142 (2) (2004)
Jerry den Hartog, Erik P. de Vink
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust (2004)
Ana Sokolova, Erik P. de Vink, Harald Woracek
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS (2004)
Ana Sokolova, Erik P. de Vink
Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems (2004)
Falk Bartels, Ana Sokolova, Erik P. de Vink
A hierarchy of probabilistic system types. CMCS (2003)
Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma
PINPAS: A Tool for Power Analysis of Smartcards. SEC (2003)
Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink
Verification and Improvement of the Sliding Window Protocol. TACAS (2003)
Jos C. M. Baeten, Erik P. de Vink
Axiomatizing GSOS with Termination. STACS (2002)
Luuk Groenewegen, Erik P. de Vink
Operational Semantics for Coordination in Paradigm. COORDINATION (2002)
Jerry den Hartog, Erik P. de Vink
Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. 13 (3) (2002)
Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
On BAN Logics for Industrial Security Protocols. CEEMAS (2001)

Erik P. de Vink.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Erik P. de Vink