default search action
Erik P. de Vink
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c86]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. FORTE 2024: 20-38 - [i6]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 abs/2404.06131 (2024) - 2023
- [j29]Yousra Hafidi, Erik P. de Vink:
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. J. Log. Algebraic Methods Program. 130: 100813 (2023) - [j28]Jan Friso Groote, Jan Martens, Erik P. de Vink:
Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. 19(2) (2023) - [c85]Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink:
Minimisation of Spatial Models Using Branching Bisimilarity. FM 2023: 263-281 - [c84]Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Polyhedral Models and SLCS. FORTE 2023: 132-151 - [c83]Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink:
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS 2023: 42-58 - [i5]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR abs/2301.11634 (2023) - 2022
- [c82]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: 98-115 - [i4]Jan Friso Groote, Jan Martens, Erik P. de Vink:
Lowerbounds for Bisimulation by Partition Refinement. CoRR abs/2203.07158 (2022) - 2021
- [j27]Erik P. de Vink, Ana Cavalcanti:
Editorial. Formal Aspects Comput. 33(1): 1-2 (2021) - [c81]Jan Friso Groote, Jan Martens, Erik P. de Vink:
Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR 2021: 31:1-31:16 - [i3]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR abs/2105.06690 (2021) - 2020
- [j26]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) - [c80]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: 245-265 - [i2]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020)
2010 – 2019
- 2019
- [c79]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: 139-162 - [c78]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: 449-463 - [c77]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: 25-48 - [c76]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: 21-39 - 2018
- [j25]Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink:
An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms 11(9): 131 (2018) - [c75]Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Extending Paradigm with Data. It's All About Coordination 2018: 224-244 - [c74]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [e11]Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0 [contents] - 2017
- [c73]Jan Friso Groote, Erik P. de Vink:
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd 2017: 48-63 - [c72]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking with mCRL2. FASE 2017: 387-405 - [c71]Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking of SPL based on mCRL2. SPLC (B) 2017: 13-16 - [e10]Herbert Wiklicky, Erik P. de Vink:
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 250, 2017 [contents] - 2016
- [c70]L. P. J. Groenewegen, Ruurd Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods 2016: 242-260 - [c69]Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink:
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) 2016: 856-873 - [c68]Matias David Lee, Erik P. de Vink:
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. MFCS 2016: 29:1-29:14 - [c67]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE 2016: 61-75 - 2015
- [j24]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11(4) (2015) - [c66]Tessa Belder, Maurice H. ter Beek, Erik P. de Vink:
Coherent branching feature bisimulation. FMSPLE 2015: 14-30 - [c65]Diego Latella, Mieke Massink, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. QAPL 2015: 63-78 - [c64]Matias David Lee, Erik P. de Vink:
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL 2015: 79-94 - 2014
- [j23]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: 75-85 (2014) - [j22]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94: 333-361 (2014) - [c63]Maurice H. ter Beek, Erik P. de Vink:
Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37 - [c62]Maurice H. ter Beek, Erik P. de Vink:
Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385 - [c61]Maurice H. ter Beek, Erik P. de Vink:
Software product line analysis with mCRL2. SPLC Workshops 2014: 78-85 - [c60]Axel Legay, Erik P. de Vink:
SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC 2014: 353 - 2013
- [j21]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comput. Sci. 23(1): 39-73 (2013) - [j20]Christian Krause, Holger Giese, Erik P. de Vink:
Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. 24(3): 153-168 (2013) - [c59]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: 199-213 - [e9]Paola Giannini, Erik P. de Vink:
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012. Electronic Notes in Theoretical Computer Science 293, Elsevier 2013 [contents] - [e8]Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky:
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6 [contents] - 2012
- [j19]Natallia Kokash, Christian Krause, Erik P. de Vink:
Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24(2): 187-216 (2012) - [j18]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): 497-518 (2012) - [c58]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515 - [c57]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43 - [c56]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62 - [c55]Paola Giannini, Erik P. de Vink:
Preface. CS2Bio 2012: 1-2 - [e7]Corrado Priami, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. Lecture Notes in Computer Science 7625, Springer 2012, ISBN 978-3-642-35523-3 [contents] - 2011
- [j17]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011) - [c54]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards reduction of Paradigm coordination models. PACO 2011: 1-18 - [c53]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - [e6]Ion Petre, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents] - [e5]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5 [contents] - 2010
- [c52]Christian Krause, Carola Krause, Erik P. de Vink:
Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB 2010: 66-75 - [c51]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Distributed Adaption of Dining Philosophers. FACS 2010: 125-144 - [c50]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159 - [c49]Natallia Kokash, Christian Krause, Erik P. de Vink:
Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413 - [c48]Natallia Kokash, Christian Krause, Erik P. de Vink:
Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134
2000 – 2009
- 2009
- [j16]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. 19: 93-144 (2009) - [j15]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): 157-186 (2009) - [j14]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66(8): 435-452 (2009) - [j13]Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink:
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Comp. Sys. Biology 11: 69-89 (2009) - [c47]Natallia Kokash, Christian Krause, Erik P. de Vink:
Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40 - [c46]Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
Formalizing Adaptation On-the-Fly. FOCLASA 2009: 23-44 - [e4]Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents] - 2008
- [c45]Jasen Markovski, Erik P. de Vink:
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189 - [c44]Jasen Markovski, Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283 - [c43]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: 367-386 - [c42]Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Architecting Security with Paradigm. WADS 2008: 255-283 - [c41]Jing Pan, J. I. den Hartog, Erik P. de Vink:
An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443 - [c40]Christian Koehler, Farhad Arbab, Erik P. de Vink:
Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235 - [c39]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic Consistency in Process Algebra: From Paradigm to ACP. FOCLASA@ICALP 2008: 3-20 - [i1]Luuk Groenewegen, Erik P. de Vink:
Dynamic System Adaptation by Constraint Orchestration. CoRR abs/0811.3492 (2008) - 2007
- [c38]Jasen Markovski, Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186 - [c37]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 - 2006
- [j12]Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006) - [c36]Luuk Groenewegen, Erik P. de Vink:
Evolution On-the-Fly with Paradigm. COORDINATION 2006: 97-112 - [c35]Jasen Markovski, Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62 - [c34]Hugo L. Jonker, Erik P. de Vink:
Formalising Receipt-Freeness. ISC 2006: 476-488 - [c33]Sjouke Mauw, Jan Verschuren, Erik P. de Vink:
Data Anonymity in the FOO Voting Scheme. VODCA@FOSAD 2006: 5-28 - [e3]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005. Electronic Notes in Theoretical Computer Science 157(4), Elsevier 2006 [contents] - 2005
- [c32]Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink:
Delegation Modeling with Paradigm. COORDINATION 2005: 94-108 - [c31]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2005: 1-2 - [c30]Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols. ARSPA@ICALP 2005: 23-38 - [c29]Simona Orzan, Erik P. de Vink:
Multiparty Contract Signing Over a Reliable Network. STM 2005: 27-41 - [c28]Luuk Groenewegen, Andries W. Stam, Pieter J. Toussaint, Erik P. de Vink:
Paradigm as Organization-Oriented Coordination Language. CoOrg@COORDINATION 2005: 93-113 - [c27]Andries W. Stam, Luuk Groenewegen, Erik P. de Vink:
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. MTCoord@COORDINATION 2005: 127-142 - 2004
- [j11]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with termination. J. Log. Algebraic Methods Program. 60-61: 323-351 (2004) - [j10]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Update Semantics of Security Protocols. Synth. 142(2): 229-267 (2004) - [j9]Falk Bartels, Ana Sokolova, Erik P. de Vink:
A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004) - [c26]Sjouke Mauw, Jan Verschuren, Erik P. de Vink:
A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124 - [c25]Jerry den Hartog, Erik P. de Vink:
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust 2004: 85-98 - [c24]Ana Sokolova, Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43 - [c23]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2004: 1-2 - [c22]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS 2004: 53-75 - [c21]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS 2004: 211-228 - [e2]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 [contents] - [e1]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, LCMAS 2004, Nancy, France, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 126, Elsevier 2004 [contents] - 2003
- [c20]Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma:
PINPAS: A Tool for Power Analysis of Smartcards. SEC 2003: 453-457 - [c19]Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127 - [c18]Falk Bartels, Ana Sokolova, Erik P. de Vink:
A hierarchy of probabilistic system types. CMCS 2003: 57-75 - [c17]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. LCMAS 2003: 81 - 2002
- [j8]Jerry den Hartog, Erik P. de Vink:
Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. 13(3): 315-340 (2002) - [c16]Luuk Groenewegen, Erik P. de Vink:
Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206 - [c15]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with Termination. STACS 2002: 583-595 - 2001
- [c14]Nesria Agray, Wiebe van der Hoek, Erik P. de Vink:
On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36 - 2000
- [c13]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. MFCSIT 2000: 72-99
1990 – 1999
- 1999
- [j7]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Informaticae 40(4): 335-382 (1999) - [j6]Erik P. de Vink, Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. Theor. Comput. Sci. 221(1-2): 271-293 (1999) - 1998
- [c12]Jerry den Hartog, Erik P. de Vink:
Mixing Up Nondeterminism and Probability: a preliminary report. PROBMIV 1998: 88-110 - 1997
- [c11]Erik P. de Vink, Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ICALP 1997: 460-470 - [c10]Eneia Todoran,