Erik P. de Vink

According to our database, Erik P. de Vink authored at least 115 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lowerbounds for Bisimulation by Partition Refinement.

Jan Friso Groote, Jan Martens, Erik P. de Vink

Log. Methods Comput. Sci., 2023

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets.

Yousra Hafidi, Erik P. de Vink

J. Log. Algebraic Methods Program., 2023

A Cancellation Law for Probabilistic Processes.

Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

On Bisimilarity for Quasi-discrete Closure Spaces.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2023

On Bisimilarity for Polyhedral Models and SLCS.

Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Minimisation of Spatial Models Using Branching Bisimilarity.

Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Editorial.

Erik P. de Vink, Ana Cavalcanti

Formal Aspects Comput., 2021

On Bisimilarities for Closure Spaces - Preliminary Version.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2021

Bisimulation by Partitioning Is Ω((m+n)log n).

Jan Friso Groote, Jan Martens, Erik P. de Vink

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

A formal actor-based model for streaming the future.

Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink

Sci. Comput. Program., 2020

Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2020

Family-Based SPL Model Checking Using Parity Games with Variability.

Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modelling and Analysing Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice.

Jan Friso Groote, Erik P. de Vink

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

An Efficient Algorithm to Determine Probabilistic Bisimulation.

Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink

Algorithms, 2018

Deadlock Detection for Actor-Based Coroutines.

Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Extending Paradigm with Data.

Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink

Proceedings of the It's All About Coordination, 2018

2017

Family-Based Model Checking of SPL based on mCRL2.

Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Family-Based Model Checking with mCRL2.

Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Problem Solving Using Process Algebra Considered Insightful.

Jan Friso Groote, Erik P. de Vink

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Towards a Feature mu-Calculus Targeting SPL Verification.

Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions.

Matias David Lee, Erik P. de Vink

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Supervisory Controller Synthesis for Product Lines Using CIF 3.

Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Towards a Proof Method for Paradigm.

L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Rooted branching bisimulation as a congruence for probabilistic transition systems.

Matias David Lee, Erik P. de Vink

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.

Diego Latella, Mieke Massink, Erik P. de Vink

Log. Methods Comput. Sci., 2015

A Definition Scheme for Quantitative Bisimulation.

Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Coherent branching feature bisimulation.

Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

2014

Dynamic adaptation with distributed control in Paradigm.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Sci. Comput. Program., 2014

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1.

Tessa E. Pronk, Jochem W. van der Veen, Rob J. Vandebriel, Henk van Loveren, Erik P. de Vink, Jeroen L. A. Pennings

Biosyst., 2014

SPLat 2014: First International Workshop on Software Product Line Analysis Tools.

Axel Legay, Erik P. de Vink

Proceedings of the 18th International Software Product Line Conference, 2014

Software product line analysis with mCRL2.

Maurice H. ter Beek, Erik P. de Vink

Proceedings of the 18th International Software Product Lines Conference, 2014

Towards Modular Verification of Software Product Lines with mCRL2.

Maurice H. ter Beek, Erik P. de Vink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Using mCRL2 for the analysis of software product lines.

Maurice H. ter Beek, Erik P. de Vink

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2013

Compositional and behavior-preserving reconfiguration of component connectors in Reo.

Christian Krause, Holger Giese, Erik P. de Vink

J. Vis. Lang. Comput., 2013

RNA-Editing with Combined Insertion and Deletion Preserves Regularity.

Erik P. de Vink, Hans Zantema, Dragan Bosnacki

Sci. Ann. Comput. Sci., 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Reconciling real and stochastic time: the need for probabilistic refinement.

Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink

Formal Aspects Comput., 2012

Reo + mCRL2: A framework for model-checking dataflow in service compositions.

Natallia Kokash, Christian Krause, Erik P. de Vink

Formal Aspects Comput., 2012

Preface.

Paola Giannini, Erik P. de Vink

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

Combining Insertion and Deletion in RNA-editing Preserves Regularity

Erik P. de Vink, Hans Zantema, Dragan Bosnacki

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Dreams: a framework for distributed synchronous coordination.

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Towards reduction of Paradigm coordination models

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Decoupled execution of synchronous coordination models via behavioural automata

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

2010

Time and Data-Aware Analysis of Graphical Service Models in Reo.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Data-aware design and verification of service compositions with Reo and mCRL2.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Towards Dynamic Adaptation of Probabilistic Systems.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Distributed Adaption of Dining Philosophers.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Action-based analysis of discrete regulatory networks with short-term stimuli.

Christian Krause, Carola Krause, Erik P. de Vink

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

<i>In Silico</i> Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.

Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink

Trans. Comp. Sys. Biology, 2009

Compositionality for Markov reward chains with fast and silent transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Perform. Evaluation, 2009

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra.

Jasen Markovski, Erik P. de Vink

Fundam. Informaticae, 2009

Formalizing Adaptation On-the-Fly.

Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Coalgebraic Weak Bisimulation for Action-Type Systems.

Ana Sokolova, Erik P. de Vink, Harald Woracek

Sci. Ann. Comput. Sci., 2009

Verification of Context-Dependent Channel-Based Service Models.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Dynamic Consistency in Process Algebra: From Paradigm to ACP.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Dynamic System Adaptation by Constraint Orchestration

Luuk Groenewegen, Erik P. de Vink

CoRR, 2008

Reconfiguring Distributed Reo Connectors.

Christian Koehler, Farhad Arbab, Erik P. de Vink

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

An Operation-Based Metric for CPA Resistance.

Jing Pan, J. I. den Hartog, Erik P. de Vink

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

Architecting Security with Paradigm.

Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink

Proceedings of the Architecting Dependable Systems VI, 2008

Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.

Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Extending Timed Process Algebra with Discrete Stochastic Time.

Jasen Markovski, Erik P. de Vink

Proceedings of the Algebraic Methodology and Software Technology, 2008

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.

Jasen Markovski, Erik P. de Vink

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Compositionality for Markov Reward Chains with Fast Transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Real-Time Process Algebra with Stochastic Delays.

Jasen Markovski, Erik P. de Vink

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Injective synchronisation: An extension of the authentication hierarchy.

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink

Theor. Comput. Sci., 2006

Data Anonymity in the FOO Voting Scheme.

Sjouke Mauw, Jan Verschuren, Erik P. de Vink

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Formalising Receipt-Freeness.

Hugo L. Jonker, Erik P. de Vink

Proceedings of the Information Security, 9th International Conference, 2006

Embedding Real Time in Stochastic Process Algebras.

Jasen Markovski, Erik P. de Vink

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Evolution On-the-Fly with Paradigm.

Luuk Groenewegen, Erik P. de Vink

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Restructuring Paradigm Models for the ToolBus Architecture: A Case Study.

Andries W. Stam, Luuk Groenewegen, Erik P. de Vink

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Multiparty Contract Signing Over a Reliable Network.

Simona Orzan, Erik P. de Vink

Proceedings of the First International Workshop on Security and Trust Management, 2005

Paradigm as Organization-Oriented Coordination Language.

Luuk Groenewegen, Andries W. Stam, Pieter J. Toussaint, Erik P. de Vink

Proceedings of the First International Workshop on Coordination and Organisation, 2005

A Syntactic Criterion for Injectivity of Authentication Protocols.

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Delegation Modeling with Paradigm.

Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

Update Semantics of Security Protocols.

Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink

Synth., 2004

Axiomatizing GSOS with termination.

Jos C. M. Baeten, Erik P. de Vink

J. Log. Algebraic Methods Program., 2004

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).

Ana Sokolova, Erik P. de Vink, Harald Woracek

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Toward Reasoning about Security Protocols: A Semantic Approach.

Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Preface.

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Probabilistic Automata: System Types, Parallel Composition and Comparison.

Ana Sokolova, Erik P. de Vink

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.

Jerry den Hartog, Erik P. de Vink

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

A Formalization of Anonymity and Onion Routing.

Sjouke Mauw, Jan Verschuren, Erik P. de Vink

Proceedings of the Computer Security, 2004

2003

Preface: Volume 85, Issue 2.

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A hierarchy of probabilistic system types.

Falk Bartels, Ana Sokolova, Erik P. de Vink

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Verification and Improvement of the Sliding Window Protocol.

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

PINPAS: A Tool for Power Analysis of Smartcards.

Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

2002

Verifying Probabilistic Programs Using a Hoare Like Logic.

Jerry den Hartog, Erik P. de Vink

Int. J. Found. Comput. Sci., 2002

Operational Semantics for Coordination in Paradigm.

Luuk Groenewegen, Erik P. de Vink

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

On BAN Logics for Industrial Security Protocols.

Nesria Agray, Wiebe van der Hoek, Erik P. de Vink

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.

Erik P. de Vink, Jan J. M. M. Rutten

Theor. Comput. Sci., 1999

Full Abstractness of a Metric Semantics for Action Refinement.

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker

Fundam. Informaticae, 1999

1998

Mixing Up Nondeterminism and Probability: a preliminary report.

Jerry den Hartog, Erik P. de Vink

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Comparative Metric Semantics for Commit in OR-Parallel Logic Programming.

Eneia Todoran, Jerry den Hartog, Erik P. de Vink

Proceedings of the Logic Programming, 1997

1996

Control flow semantics.

Jacobus W. de Bakker, Erik P. de Vink

MIT Press, ISBN: 978-0-262-04154-6, 1996

1995

Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.

Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.

J. W. de Bakker, Erik P. de Vink

Fundam. Informaticae, 1994

Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.

Vincent van Oostrom, Erik P. de Vink

Proceedings of the STACS 94, 1994

1993

Rendez-Vous with Metric Semantics.

J. W. de Bakker, Erik P. de Vink

New Gener. Comput., 1993

1992

Asynchronous Rendez-vous in Distributed Logic Programming.

Anton Eliëns, Erik P. de Vink

Proceedings of the Sematics: Foundations and Applications, 1992

1991

CCS for OO and LP.

J. W. de Bakker, Erik P. de Vink

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Rendezvous with Metric Semantics.

J. W. de Bakker, Erik P. de Vink

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990

Retractions in Comparing Prolog Semantics (Extended Abstract).

Arie de Bruin, Erik P. de Vink

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Designing stream based semantics for uniform concurrency and logic programming.

Erik P. de Vink

PhD thesis, 1990

1989

Comparative Semantics for PROLOG with Cut.

Erik P. de Vink

Sci. Comput. Program., 1989

Step Semantics for "True" Concurrency with Recursion.

John-Jules Ch. Meyer, Erik P. de Vink

Distributed Comput., 1989

Continuation Semantics for PROLOG with Cut.

Arie de Bruin, Erik P. de Vink

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).

John-Jules Ch. Meyer, Erik P. de Vink

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

Applications of Compactness in the Smyth Powerdomain of Streams.

John-Jules Ch. Meyer, Erik P. de Vink

Theor. Comput. Sci., 1988

1987

Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).

John-Jules Ch. Meyer, Erik P. de Vink

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987