Erik 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
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