Erik P. de Vink

Orcid: 0000-0001-9514-2260

Affiliations:
  • Eindhoven University of Technology, The Netherlands


According to our database1, Erik P. de Vink authored at least 117 papers between 1987 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version.
CoRR, 2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS<sub>η</sub>.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023
Lowerbounds for Bisimulation by Partition Refinement.
Log. Methods Comput. Sci., 2023

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets.
J. Log. Algebraic Methods Program., 2023

A Cancellation Law for Probabilistic Processes.
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.
CoRR, 2023

On Bisimilarity for Polyhedral Models and SLCS.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Minimisation of Spatial Models Using Branching Bisimilarity.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Editorial.
Formal Aspects Comput., 2021

On Bisimilarities for Closure Spaces - Preliminary Version.
CoRR, 2021

Bisimulation by Partitioning Is Ω((m+n)log n).
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020
A formal actor-based model for streaming the future.
Sci. Comput. Program., 2020

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

Family-Based SPL Model Checking Using Parity Games with Variability.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modelling and Analysing Software in mCRL2.
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.
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).
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.
Algorithms, 2018

Deadlock Detection for Actor-Based Coroutines.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Extending Paradigm with Data.
Proceedings of the It's All About Coordination, 2018

2017
Family-Based Model Checking of SPL based on mCRL2.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Family-Based Model Checking with mCRL2.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Problem Solving Using Process Algebra Considered Insightful.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
Towards a Feature mu-Calculus Targeting SPL Verification.
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.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Supervisory Controller Synthesis for Product Lines Using CIF 3.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Towards a Proof Method for Paradigm.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Rooted branching bisimulation as a congruence for probabilistic transition systems.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.
Log. Methods Comput. Sci., 2015

A Definition Scheme for Quantitative Bisimulation.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Coherent branching feature bisimulation.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

2014
Dynamic adaptation with distributed control in Paradigm.
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.
Biosyst., 2014

SPLat 2014: First International Workshop on Software Product Line Analysis Tools.
Proceedings of the 18th International Software Product Line Conference, 2014

Software product line analysis with mCRL2.
Proceedings of the 18th International Software Product Lines Conference, 2014

Towards Modular Verification of Software Product Lines with mCRL2.
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.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2013
Compositional and behavior-preserving reconfiguration of component connectors in Reo.
J. Vis. Lang. Comput., 2013

RNA-Editing with Combined Insertion and Deletion Preserves Regularity.
Sci. Ann. Comput. Sci., 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.
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.
Formal Aspects Comput., 2012

Reo + mCRL2: A framework for model-checking dataflow in service compositions.
Formal Aspects Comput., 2012

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

Combining Insertion and Deletion in RNA-editing Preserves Regularity
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
Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Dreams: a framework for distributed synchronous coordination.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Towards reduction of Paradigm coordination models
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Decoupled execution of synchronous coordination models via behavioural automata
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.
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.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Towards Dynamic Adaptation of Probabilistic Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Distributed Adaption of Dining Philosophers.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Action-based analysis of discrete regulatory networks with short-term stimuli.
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.
Trans. Comp. Sys. Biology, 2009

Compositionality for Markov reward chains with fast and silent transitions.
Perform. Evaluation, 2009

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

Formalizing Adaptation On-the-Fly.
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Coalgebraic Weak Bisimulation for Action-Type Systems.
Sci. Ann. Comput. Sci., 2009

Verification of Context-Dependent Channel-Based Service Models.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Dynamic Consistency in Process Algebra: From Paradigm to ACP.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Dynamic System Adaptation by Constraint Orchestration
CoRR, 2008

Reconfiguring Distributed Reo Connectors.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

An Operation-Based Metric for CPA Resistance.
Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

Architecting Security with Paradigm.
Proceedings of the Architecting Dependable Systems VI, 2008

Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Extending Timed Process Algebra with Discrete Stochastic Time.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.
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.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Real-Time Process Algebra with Stochastic Delays.
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.
Theor. Comput. Sci., 2006

Data Anonymity in the FOO Voting Scheme.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Formalising Receipt-Freeness.
Proceedings of the Information Security, 9th International Conference, 2006

Embedding Real Time in Stochastic Process Algebras.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Evolution On-the-Fly with Paradigm.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Multiparty Contract Signing Over a Reliable Network.
Proceedings of the First International Workshop on Security and Trust Management, 2005

Paradigm as Organization-Oriented Coordination Language.
Proceedings of the First International Workshop on Coordination and Organisation, 2005

A Syntactic Criterion for Injectivity of Authentication Protocols.
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Delegation Modeling with Paradigm.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
Update Semantics of Security Protocols.
Synth., 2004

Axiomatizing GSOS with termination.
J. Log. Algebraic Methods Program., 2004

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Toward Reasoning about Security Protocols: A Semantic Approach.
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

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

Probabilistic Automata: System Types, Parallel Composition and Comparison.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.
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.
Proceedings of the Computer Security, 2004

2003
Preface: Volume 85, Issue 2.
Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A hierarchy of probabilistic system types.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Verification and Improvement of the Sliding Window Protocol.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

PINPAS: A Tool for Power Analysis of Smartcards.
Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

2002
Verifying Probabilistic Programs Using a Hoare Like Logic.
Int. J. Found. Comput. Sci., 2002

Operational Semantics for Coordination in Paradigm.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
On BAN Logics for Industrial Security Protocols.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.
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.
Theor. Comput. Sci., 1999

Full Abstractness of a Metric Semantics for Action Refinement.
Fundam. Informaticae, 1999

1998
Mixing Up Nondeterminism and Probability: a preliminary report.
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming.
Proceedings of the Logic Programming, 1997

1996
Control flow semantics.
MIT Press, ISBN: 978-0-262-04154-6, 1996

1995
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.
Fundam. Informaticae, 1994

Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.
Proceedings of the STACS 94, 1994

1993
Rendez-Vous with Metric Semantics.
New Gener. Comput., 1993

1992
Asynchronous Rendez-vous in Distributed Logic Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

1991
CCS for OO and LP.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Rendezvous with Metric Semantics.
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990
Retractions in Comparing Prolog Semantics (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Designing stream based semantics for uniform concurrency and logic programming.
PhD thesis, 1990

1989
Comparative Semantics for PROLOG with Cut.
Sci. Comput. Program., 1989

Step Semantics for "True" Concurrency with Recursion.
Distributed Comput., 1989

Continuation Semantics for PROLOG with Cut.
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).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988
Applications of Compactness in the Smyth Powerdomain of Streams.
Theor. Comput. Sci., 1988

1987
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987


  Loading...