Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Erik P. de Vink
2010 – today
- 2013
[j35]- [j34]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)
- [c43]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
- [e5]Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky (Eds.): 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
- 2012
- [j33]Natallia Kokash, Christian Krause, Erik P. de Vink: Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Asp. Comput. 24(2): 187-216 (2012)
- [j32]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 Asp. Comput. 24(4-6): 497-518 (2012)
- [c42]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515
- [c41]Diego Latella, Mieke Massink, Erik P. de Vink: Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43
- [c40]Erik P. de Vink, Hans Zantema, Dragan Bosnacki: Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62
- [e4]Corrado Priami, Ion Petre, Erik P. de Vink (Eds.): 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
- 2011
- [j31]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)
- [c39]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards reduction of Paradigm coordination models. PACO 2011: 1-18
- [c38]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79
- [e3]
- [e2]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5
- 2010
- [c37]Christian Krause, Carola Krause, Erik P. de Vink: Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB 2010: 66-75
- [c36]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Distributed Adaption of Dining Philosophers. FACS 2010: 125-144
- [c35]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159
- [c34]Natallia Kokash, Christian Krause, Erik P. de Vink: Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413
- [c33]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
- [j30]Ana Sokolova, Erik P. de Vink, Harald Woracek: Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comp. Sci. 19: 93-144 (2009)
- [j29]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electr. Notes Theor. Comput. Sci. 229(2): 3-20 (2009)
- [j28]Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink: Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009)
- [j27]Jasen Markovski, Erik P. de Vink: Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Inform. 95(1): 157-186 (2009)
- [j26]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov reward chains with fast and silent transitions. Perform. Eval. 66(8): 435-452 (2009)
- [j25]Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink: In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. T. Comp. Sys. Biology 11: 69-89 (2009)
- [c32]Natallia Kokash, Christian Krause, Erik P. de Vink: Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40
- [e1]Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Proceedings Second International Workshop on Computational Models for Cell Processes. EPTCS 6, 2009
- 2008
- [c31]Jasen Markovski, Erik P. de Vink: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189
- [c30]Jasen Markovski, Erik P. de Vink: Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283
- [c29]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
- [c28]Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283
- [c27]Jing Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443
- [c26]Christian Koehler, Farhad Arbab, Erik P. de Vink: Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235
- [i1]Luuk Groenewegen, Erik P. de Vink: Dynamic System Adaptation by Constraint Orchestration. CoRR abs/0811.3492 (2008)
- 2007
- [j24]Sjouke Mauw, Jan Verschuren, Erik P. de Vink: Data Anonymity in the FOO Voting Scheme. Electr. Notes Theor. Comput. Sci. 168: 5-28 (2007)
- [c25]Jasen Markovski, Erik P. de Vink: Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186
- [c24]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
- 2006
- [j23]A. W. Stam, Luuk Groenewegen, Erik P. de Vink: Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. Electr. Notes Theor. Comput. Sci. 150(1): 127-142 (2006)
- [j22]Luuk Groenewegen, A. W. Stam, Pieter J. Toussaint, Erik P. de Vink: Paradigm as Organization-Oriented Coordination Language. Electr. Notes Theor. Comput. Sci. 150(3): 93-113 (2006)
- [j21]Simona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006)
- [j20]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)
- [j19]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)
- [c23]
- [c22]Jasen Markovski, Erik P. de Vink: Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62
- [c21]
- 2005
- [j18]Ana Sokolova, Erik P. de Vink, Harald Woracek: Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005)
- [j17]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)
- [j16]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink: Toward Reasoning about Security Protocols: A Semantic Approach. Electr. Notes Theor. Comput. Sci. 126: 53-75 (2005)
- [j15]Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 135(1): 23-38 (2005)
- [c20]Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink: Delegation Modeling with Paradigm. COORDINATION 2005: 94-108
- 2004
- [j14]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface: Volume 85, Issue 2. Electr. Notes Theor. Comput. Sci. 85(2): 81 (2004)
- [j13]Jos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with termination. J. Log. Algebr. Program. 60-61: 323-351 (2004)
- [j12]Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)
- [c19]Sjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124
- [c18]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
- [c17]Ana Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43
- 2003
- [j11]Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): 57-75 (2003)
- [c16]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
- [c15]Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127
- 2002
- [j10]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)
- [c14]Luuk Groenewegen, Erik P. de Vink: Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206
- [c13]
- 2001
- [c12]Nesria Agray, Wiebe van der Hoek, Erik P. de Vink: On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36
- 2000
- [j9]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electr. Notes Theor. Comput. Sci. 40: 72-99 (2000)
1990 – 1999
- 1999
- [j8]Jerry den Hartog, Erik P. de Vink: Mixing Up Nondeterminism and Probability: a preliminary report. Electr. Notes Theor. Comput. Sci. 22: 88-110 (1999)
- [j7]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker: Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Inform. 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)
- 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, Jerry den Hartog, Erik P. de Vink: Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115
- 1996
- [b2]Jacobus W. de Bakker, Erik P. de Vink: Control flow semantics. MIT Press 1996, ISBN 978-0-262-04154-6, pp. I-XVII, 1-564
- 1995
- [c9]Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink: Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377
- 1994
- [j5]J. W. de Bakker, Erik P. de Vink: Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Inform. 20(1/2/3): 3-34 (1994)
- [c8]Vincent van Oostrom, Erik P. de Vink: Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. STACS 1994: 569-580
- 1993
- [j4]J. W. de Bakker, Erik P. de Vink: Rendez-Vous with Metric Semantics. New Generation Comput. 12(1): 53-90 (1993)
- 1992
- [c7]Anton Eliëns, Erik P. de Vink: Asynchronous Rendez-vous in Distributed Logic Programming. REX Workshop 1992: 174-203
- 1991
- [c6]
- [c5]
- 1990
- [b1]Erik P. de Vink: Designing stream based semantics for uniform concurrency and logic programming. Univ. Amsterdam 1990, pp. 1-167
- [c4]Arie de Bruin, Erik P. de Vink: Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186
1980 – 1989
- 1989
- [j3]John-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3(3): 130-145 (1989)
- [j2]Erik P. de Vink: Comparative Semantics for PROLOG with Cut. Sci. Comput. Program. 13(1): 237-264 (1989)
- [c3]John-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369
- [c2]Arie de Bruin, Erik P. de Vink: Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 1989: 178-192
- 1988
- [j1]John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988)
- 1987
- [c1]John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:10 CEST by the dblp team