Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarErik P. de Vink
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
[j41]Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink:
An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms 11(9): 131 (2018)- [c59]Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Extending Paradigm with Data. It's All About Coordination 2018: 224-244 - [c58]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [e7]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
- [c57]Jan Friso Groote, Erik P. de Vink:
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd 2017: 48-63 - [c56]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking with mCRL2. FASE 2017: 387-405 - [c55]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 - [e6]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
- [c54]L. P. J. Groenewegen, R. Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods 2016: 242-260 - [c53]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 - [c52]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 - [c51]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
- [j40]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Logical Methods in Computer Science 11(4) (2015) - [c50]Tessa Belder, Maurice H. ter Beek, Erik P. de Vink:
Coherent branching feature bisimulation. FMSPLE 2015: 14-30 - [c49]Diego Latella, Mieke Massink, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. QAPL 2015: 63-78 - [c48]Matias David Lee, Erik P. de Vink:
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL 2015: 79-94 - 2014
- [j39]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. Biosystems 124: 75-85 (2014) - [j38]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94: 333-361 (2014) - [c47]Maurice H. ter Beek, Erik P. de Vink:
Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37 - [c46]Maurice H. ter Beek, Erik P. de Vink:
Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385 - [c45]Maurice H. ter Beek, Erik P. de Vink:
Software product line analysis with mCRL2. SPLC Workshops 2014: 78-85 - [c44]Axel Legay, Erik P. de Vink:
SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC 2014: 353 - 2013
- [j37]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comp. Sci. 23(1): 39-73 (2013) - [j36]
- [j35]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:
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
- [j34]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) - [j33]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:
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
- [j32]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]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] - [e2]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
- [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
- [j31]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comp. Sci. 19: 93-144 (2009) - [j30]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) - [j29]Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009) - [j28]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) - [j27]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) - [j26]Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink:
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Computational Systems 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:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents] - 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
- [j25]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
- [j24]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) - [j23]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) - [j22]Simona Orzan, Erik P. de Vink:
Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006) - [j21]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge:
Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) - [j20]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
- [j19]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) - [j18]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge:
Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005) - [j17]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) - [j16]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
- [j15]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) - [j14]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with termination. J. Log. Algebr. Program. 60-61: 323-351 (2004) - [j13]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Update Semantics of Security Protocols. Synthese 142(2): 229-267 (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
maintained by 
, founded at 
, founded at 
last updated on 2019-01-09 01:12 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
