Publications 1996-2013

  • P. Giannini, E.P. de Vink (eds.), Proc. CS2Bio'12, proceedings of the 3rd international workshop on Interactions between Computer Science and Biology, Stockholm, 16 June 2012, ENTCS 293, 2013.
    [abstract] [url] [bibtex]
  • Marco Bernardo, Erik de Vink, Alessandra Di Pierro and Herbert Wiklicky (eds.), Formal Methods for Dynamical Systems, lecture notes of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2013), Bertinoro, Italy, June 2013, LNCS 7938, 2013.
    [abstract] [url] [bibtex]
  • S. Cranen, J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, E.P. de Vink, J.W. Wesselink and T.A.C. Willemse, An Overview of the mCRL2 Toolset and its Recent Advances, Proc. TACAS 2013, Rome, March 18-21, 2013, N. Pitermann and S.A. Smolka (eds)., LNCS 7795, 2013.
    [abstract] [pdf] [bibtex]
  • C. Krause, E.P. de Vink and P.J. de Vink, Towards Dynamic Adaptation of the Majority Rule Scheme, Pre-proc. QAPL 2013, Rome, March 23, 2013, L. Bortolussi and H. Wiklicky (eds.), 2013.
    [abstract] [pdf] [bibtex]
  • I. Petre and E.P. de Vink (eds.), Transactions on Computational Systems Biology XIV, LNBI 7625, 2012.
    [abstract] [url] [bibtex]
  • C. Krause, H. Giese and E. de Vink, Compositional and behavior-preserving reconfiguration of component connectors in Reo, Journal of Visual Languages & Computing 2012, available on-line November 5, 2012, doi 10.1016/j.jvlc.2012.09.002.
    [abstract] [pdf] [bibtex]
  • D. Latella, M. Massink and E.P. de Vink, Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages, Proc. ACCAT 2012, Tallinn, 1 April 2012, U. Golas and T. Soboll (eds.), EPTCS 93, 2012, pages 23-43.
    [abstract] [pdf] [bibtex]
  • J. Markovski, P.R. D'Argenio, J.C.M. Baeten and E.P. de Vink, Reconciling real and stochastic time: the need for probabilistic refinement, Formal Aspects of Computing 24, 2012, pages 497-518.
    [abstract] [pdf] [bibtex]
  • J. Proença, D. Clarke, E.P. de Vink and F. Arbab, Dreams: a framework for distributed synchronous coordination, Proc. SAC 2012, Riva del Garda, S. Ossowski and P. Lecca (eds.), ACM 2012, pages 1510-1515.
    [abstract] [pdf] [bibtex]
  • N. Kokash, C. Krause and E.P. de Vink, Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions, Formal Aspects of Computing 24, SEFM 2010 special issue, 2012, pages 187-216.
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Distributed Adaption of Dining Philosophers, in Proc. FACS 2010, Guimarães, 14-16 October, 2010, L.S. Barbosa & M. Lumpe (eds.), LNCS 6921, 2012, pages 125-144.
    [abstract] [pdf] [bibtex]
  • E.P. de Vink, H. Zantema and D. Bosnacki, Combining insertion and deletion in RNA-editing preserves regularity, in Proc. MeCBIC 2012, Newcastle, 8 September, 2012, G. Ciobanu (ed.), EPTCS 100, 2012, pages 48-62.
    [abstract] [pdf] [bibtex]
  • R.-J. Back, I. Petre and E.P. de Vink (eds.), Transactions on Computational Systems Biology XIII, LNBI 6575, 2011.
    [abstract] [url] [bibtex]
  • I. Petre and E.P. de Vink (eds.), Proc. CompMod 2011, proceedings of the third international workshop on Computational Models for Cell Processes, EPTCS 67, 2011.
    [abstract] [url] [bibtex]
  • D. Bosnacki, P.A.J. Hilbers, R.S. Mans & E.P. de Vink, Modeling and Analysis of Biological Networks with Model Checking, Chapter 39 in Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications, M. Elloumi & A.Y. Zomaya (eds.), Wiley Series in Bioinformatics, volume 1, Wiley 2011, 915-940
    [abstract] [url] [bibtex]
  • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Dynamic Consistency in Process Algebra: From Paradigm to ACP, Science of Computer Programming 76(8), 2011, page 711-735.
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Towards reduction of Paradigm coordination models, in Proc. PACO 2011, Reyjavik, June 9, 2011, L. Aceto & M.R. Mousavi (eds.), EPTCS 60, 2011, pages 1--18
    [abstract] [pdf] [bibtex]
  • J. Proença, D. Clarke, E.P. de Vink and F. Arbab, Decoupled execution of synchronous coordination models via behavioural automata, in Proc. FOCLASA 2011, Aachen, September 10, 2011, M.R. Mousavi & A. Ravara (eds.), EPTCS 58, 2011, pages 65-79
    [abstract] [pdf] [bibtex]
  • N. Kokash, C. Krause and E.P. de Vink, Verification of Context-Dependent Channel-Based Service Models in Proc. FMCO 2009, Eindhoven, 4-6 November, 2009, F. de Boer, M. Bonsangue, S. Hallerstede and M. Leuschel (eds.), LNCS 6286, 21-40.
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Towards Dynamic Adaptation of Probabilistic Systems, in Proc. ISOLA 2010, Heraclion, 18-20 October, 2010, T. Margaria and B. Steffen (eds.), LNCS 6416, 2010, 143-159.
    [abstract] [pdf] [bibtex]
  • C. Krause, C. Krause and E.P. de Vink, Action-Based Analysis of Discrete Regulatory Networks with Short-Term Stimuli in Proc. CMSB 2010, Trento, 29 September-1 October, 2010, P. Quaglia (ed.), ACM 2010, 66-75.
    [abstract] [pdf] [bibtex]
  • N. Kokash, C. Krause and E.P. de Vink, Time and Data-Aware Analysis of Graphical Service Models in Reo in Proc. SEFM 2010, Pisa, September 14-18, 2010, A. Maggiolo-Schettini, J.L. Fiadeiro, and S. Gnesi (eds.), IEEE 2010, 125-134
    [abstract] [pdf] [bibtex]
  • N. Kokash, C. Krause and E.P. de Vink, Data-Aware Design and Verification of Service Compositions with Reo and mCRL2 in Proc. SAC 2010, Sierre, Switzerland, March 21-26, 2010, S.Y. Shin, S. Ossowski, M. Schumacher, M.J. Palakal, Chih-Cheng Hung (eds.), Technical Track on Service-Oriented Architectures and Programming, ACM, 2010, pages 2399-2407.
    [abstract] [pdf] [bibtex]
  • R.-J. Back, I. Petre and E. de Vink (eds.), Proceedings of the Second International Workshop on Computational Models for Cell Processes, Eindhoven, November 3, 2009, EPTCS 6, arXiv:0910.1605v1, 124pp
    [foreword] [pdf] [bibtex]
  • J. Markovski & E.P. de Vink, Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra, Fundamenta Informaticae 95, ACSD 2008 special issue, J. Billington, R. Janicki and M. Koutny (eds.), 2009, page 157-186
    [abstract] [pdf] [bibtex]
  • J. Markovski, A. Sokolova, N. Trcka & E.P. de Vink, Compositionality for Markov Reward Chains with Fast Transitions, Performance Evaluation 66, 2009, pages 435-452, doi:10.1016/j.peva.2009.01.001
    [abstract] [pdf] [bibtex]
  • A. Sokolova, E.P. de Vink and H. Woracek, Coalgebraic Weak Bisimulation for Action-Type Systems, Scientific Annals of Computer Science 19, 2009, page 93-144
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen, J.H.S. Verschuren and E.P. de Vink, Architecting Security with Paradigm in Architecting Dependable Systems VI, R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci and M.H. ter Beek (eds.), Springer, LNCS 5835, pages 255-283, 2009
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen, J. Stafleu and E.P. de Vink, Formalizing Adaptation On-the-Fly in Proc. FOCLASA 2009, Rhodes, Greece, July 11, 2009 G. Salaün and M. Sirjani (eds.), ENTCS 255, page 23-44
    [abstract] [pdf] [bibtex]
  • D. Bosnacki, T.E. Pronk and E.P. de Vink, In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition, Transactions on Computational Systems Biology XI, CompMod 2008 special issue, R.-J. Back, I. Petre and C. Priami (eds.), Lecture Notes in Bioinformatics 5750, pages 69-89, 2009
    [abstract] [pdf] [bibtex]
  • C. Koehler, F. Arbab & E.P. de Vink, Reconfiguration Distributed Reo Connectors, in Recent Trends in Algebraic Development Techniques, revised selected papers of WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini and Ugo Montanari (eds.), Lecture Notes in Computer Science 5486, 2009, pages 221-235.
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Dynamic Consistency in Process Algebra: From Paradigm to ACP, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA'08, Reykjavik, Iceland, July 13, 2008, C. Canal, P. Poizat and M. Sirjani (eds), ENTCS 229(2), 2009, pages 3-20.
    [abstract] [pdf] [bibtex]
  • D. Bosnacki, H.M.M. ten Eikelder, M.N. Steijaert & E.P. de Vink, Stochastic Analysis of Amino Acid Substitution in Protein Synthesis, Proceedings of the 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008, M. Heiner & A.M. Uhrmacher (eds.), Lecture Notes in Computer Science 5307, 2008, pages 367-386.
    [abstract] [pdf] [bibtex]
  • J. Pan, J.I. den Hartog and E.P. de Vink, An Operation-Based Metric for CPA Resistance, Proceedings of the IFIP TC11 23rd International Information Security Conference SEC'08, S. Jajodia, P. Samarati and S. Cimato (eds.), IFIP International Federation for Information Processing 278, 2008, pages 429-443.
    [abstract] [pdf] [bibtex]
  • J. Markovski and E.P. de Vink, Extending Timed Process Algebra with Discrete Stochastic Time, Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology AMAST 2008, Urbana, 28-31 July 2008, J. Meseguer and G. Rosu (eds.), LNCS 5140, 2008, pages 268-283.
    [abstract] [pdf] [bibtex]
  • J. Markovski and E.P. de Vink, Discrete Real-Time and Stochastic Time Process Algebra for Performance Analysis of Distributed Systems, Proceedings of 8th international conference on Application of Concurrency to System Design ACSD 2008, Xi'an, J. Billington, Zhenhua Duan and M. Koutny (eds.), IEEE, 2008, pages 180-189.
    [abstract] [pdf] [bibtex]
  • D. Bosnacki, T.E. Pronk and E.P. de Vink, In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition, Proc. of COMPMOD 2008, Workshop on Computational Models for Cell Processes, satelite event of FM 2008, Turku, Finland, R.-J. Back and I. Petre (eds.), Turku Centre for Computer Science, pages 23-38, 2008.
    [abstract] [pdf] [bibtex]
  • N. Trcka, S. Georgievska, J. Markovski, S. Andova and E.P. de Vink, Performance Analysis of Chi Models using Discrete-Time Probabilistic Reward Graphs, Proc. WODES '08, Goteborg, B. Lennartson, M. Fabian, K. Akesson, A. Giua and R. Kumar (eds.), pages 113-118, IEEE Explorer 2008.
    [abstract] [pdf] [bibtex]
  • S. Andova, L.P.J. Groenewegen and E.P. de Vink, System evolution by migration coordination, Proc. BENEVOL 2008, A. Serebrenik (ed.), Computer Science Report 08-33, pages 18-21. Technische Universiteit Eindhoven.
    [abstract] [pdf] [bibtex]
  • L.P.J. Groenewegen and E.P. de Vink, Dynamic System Adaptation by Constraint Orchestration, Technical Report CSR 08/29, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, 2008, 19 pages. arXiv:0811.3492v1
    [abstract] [pdf] [bibtex]
  • J. Markovski and E.P. de Vink, Real-Time Process Algebra with Stochastic Delays, Proceedings of 7th international conference on Application of Concurrency to System Design, ACSD 2007, Bratislava, T. Basten, G. Juhás and S. Shukla (eds.), IEEE, 2007, pages 177-186.
    [abstract] [pdf] [bibtex]
  • J. Markovski, A. Sokolova, N. Trcka and E.P. de Vink, Compositionality for Markov Reward Chains with Fast Transitions, Proceedings of the 4th European Performance Engineering Workshop EPEW 2007, Berlin, K. Wolter (ed.), Lecture Notes in Computer Science 4748, 2007, pages 18--32.
    [abstract] [pdf] [bibtex]
  • S. Mauw, J. Verschuren and E.P. de Vink, Data Anonymity in the FOO Voting Scheme, Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA 2006, Bertinoro, Italy, M. ter Beek and F. Gadducci (eds.), ENTCS 168, 2007, pages 5-28.
    [abstract] [pdf] [bibtex]
  • T.E. Pronk, E.P. de Vink, D. Bosnacki and T.M. Breit, Stochastic Modeling of Codon Bias with PRISM, Proceedings of the 3rd international workshop on Methods and Tools for Coordinating, Distributed and Mobile Systems MTCoord 2007, Paphos, June 4, 2007, I. Linden and C. Talcott (eds.), Computer Science Department, University of Cyprus, Nicosia, 2007, 15 pages.
    [abstract] [pdf] [bibtex]
  • W. Mostowski, J. Pan, S. Akkiraju, E. de Vink, E. Poll and J. den Hartog, A Comparison of Java Cards: State-of-Affairs 2006, Technical Report CSR 07/06, Technische Universiteit Eindhoven, 2007.
    [abstract] [aor] [bibtex]
  • J. Markovski and E.P. de Vink, Real-Time in Stochastic Process Algebra: Keeping Track of Winners and Losers, Technical Report CSR 07/06, Technische Universiteit Eindhoven, 2007.
    [abstract] [pdf] [bibtex]
  • L.P.J. Groenewegen and E.P. de Vink, Dynamic Evolution by Constraint Orchestration. Position paper presented at the 1st international workshop on Formal Methods and Notations for Business Process Execution, Service Oriented Computing and Computer-Supported Cooperative Work, IT University, Copenhagen, October 20, 2007. 11 pages.
    [abstract] [pdf] [bibtex]
  • L.P.J. Groenewegen and E.P. de Vink (inventors), Method for transferring a computer system from a first to a second phase, Patent EP1703389-A2, International Patent Classification G06F-009/46, 2006.
    [abstract] [bibtex]
  • C.J.F. Cremers, S. Mauw and E.P. de Vink, Injective synchronisation: An extension of the authentication hierarchy, Theoretical Computer Science 367, p139-161, 2006.
    [abstract] [ps] [bibtex]
  • J. Markovski and E.P. de Vink, Embedding Real Time in Stochastic Process Algebras, Proc. of the 3rd European Performance Evaluation Workshop EPEW 2006, Budapest, A. Horvath and M. Telek (eds.), LNCS 4054, p47-62, 2006.
    [abstract] [ps] [bibtex]
  • H.L. Jonker and E.P. de Vink, Formalising Receipt-Freeness, Proc. ISC 2006, Samos Island, Greece, S.K. Katsikas, J. Lopez, M. Backes, S. Gritzalis and B. Preneel (eds.), LNCS 4176, p476-488, 2006.
    [abstract] [ps] [bibtex]
  • LCMAS 2005, Proceedings of the 3rd international workshop on Logic and Communication in Multi-Agent Systems, Edinburgh, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (eds.), ENTCS volume 157, issue 4, Elsevier, 2006
    [preface] [url] [bibtex]
  • L.P.J. Groenewegen and E.P. de Vink, Evolution-On-The-Fly with Paradigm, Proceedings of the 8th conference on Coordination Models and Languages, Coordination 2006, Bologna, P. Ciancarini and H. Wiklicky (eds.), LNCS 4038, 2006, pages 97-122.
    [abstract] [pdf] [bibtex]
  • S. Orzan and E. de Vink, Multiparty Contract Signing Over a Reliable Network, Proc. STM 2005, S. Mauw, V. Issarny and C. Cremers (eds.), ENTCS 157(3), 2006, pages 27-41.
    [abstract] [ps] [bibtex]
  • A.W. Stam, L.P.J. Groenewegen and E.P. de Vink, Restructuring Paradigm models for the ToolBus architecture: a case study, Proc. MTCoord 2005, Namur, L. Brim and I. Linden (eds.), ENTCS 150(1), p127-142, 2006.
    [abstract] [ps] [bibtex]
  • L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint and E.P. de Vink, Paradigm as Organization-Oriented Coordination Language, Proc. CoOrg 2005, Namur, L. van de Torre and G. Boella (eds.), ENTCS 150(3), p93-113, 2006.
    [abstract] [pdf] [bibtex]
  • A. Hommerson, J.-J.Ch. Meyer and E.P. de Vink, Update Semantics of Security Protocols, in W. van der Hoek (ed), Information, Interaction and Agency, Springer, 2005, pages 289 -- 327 Reprinted from Synthese 139:2 and 142:2 (2004), Special Section Knowledge, Rationality and Action
    [abstract] [ps] [bibtex]
  • J.I. den Hartog and E.P. de Vink, Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards, Proc. FAST 2004, Toulouse, T. Dimitrakos and F. Martinelli (eds.), Kluwer, 2005, 14pp.
    [abstract] [ps] [bibtex]
  • C.J.F. Cremers, S. Mauw and E.P. de Vink, A Syntactic Criterion for Injectivity of Authentication Protocols, Proc. ARSPA 2005, proceedings of the 2nd workshop on Automated Reasoning for Security Protocol Analysis, Lisbon, P. Degano and L. Vigano (eds.), ENTCS 135(1), 2005, p23-38.
    [abstract] [ps] [bibtex]
  • L. Groenewegen, N. van Kampenhout and E. de Vink, Delegation Modeling with Paradigm, Proc. Coordination 2005, Namur, J.-M. Jacquet and G.P. Picco (eds.), LNCS 3453, 2005, p94-108.
    [abstract] [pdf] [bibtex]
  • LCMAS 2004, Proceedings of the second international workshop on Logic and Communication in Multi-Agent Systems, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (eds.), ENTCS 126, Elsevier, 2005
    [preface] [url] [bibtex]
  • A. Hommersom, J.-J.Ch. Meyer and E.P. de Vink, Toward reasoning about security protocols: a semantic approach, Proc. LCMAS 2004, W. van der Hoek, A. Lomuscio, E. de Vink, M. Wooldridge (eds.), ENTCS 126, pages 53-75.
    [abstract] [pdf] [bibtex]
  • A. Sokolova, E.P. de Vink and H. Woracek, Weak Bisimulation for Action-Type Coalgebras, Proc. CTCS 2004, L. Birkedal (ed.), ENTCS 122, 2005, 211-228.
    [abstract] [pdf] [bibtex]
    Full version available as Technical Report CSR 04/16, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, 2004, 41pp.
    [abstract] [pdf] [bibtex]
  • A. Hommersom, J.-J.Ch. Meyer and E.P. de Vink, Update Semantics of Security Protocols, in Synthese 142:229-267, Knowledge, Rationality and Action subseries, Kluwer, 2004.
    [abstract] [ps] [bibtex]
  • S. Mauw, J. Verschuren and E.P. de Vink, A Formalization of Anonymity and Onion Routing, Proc. Esorics 2004, Sophia Antipolis, P. Samarati et al. (eds.), LNCS 3193, 2004, p109-124.
    [abstract] [pdf] [bibtex]
  • J.C.M. Baeten and E.P. de Vink, Axiomatizing GSOS with Termination, Journal of Logic and Algebraic Programming 60-61:323-351, 2004
    [abstract] [ps] [bibtex]
  • A. Sokolova and E.P. de Vink, Probabilistic Automata: System Types, Parallel Composition and Comparison, in Validation of Stochastic Systems, C. Baier et al. (eds.), LNCS 2925, Springer 2004, p1-43
    [abstract] [pdf] [bibtex]
  • LCMAS 2003, proceedings of the first international workshop on Logic and Communication in Multi-Agent Systems, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (eds.), ENTCS volume 85, issue 2, Elsevier, 2004
    [preface] [url] [bibtex]
  • F. Bartels, A. Sokolova and E.P. de Vink, A Hierarchy of Probabilistic System Types, Theoretical Computer Science 327, CMCS 2003 Special Issue, H.P. Gumm (ed.), p3-22, 2004.
    [abstract] [postscript] [bibtex]
  • L. Groenewegen, N. van Kampenhout and E. de Vink, Coordination in Networked Organizations: the Paradigm Approach, Technical Report CSR 03/13, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, 2003, 17pp.
    [abstract] [postscript] [bibtex]
  • A. Sokolova and E.P. de Vink, On Relational Properties of Lumpability, Proc. PROGRESS Workshop 2003, STW, Utrecht, 2003, 6pp
    [abstract] [pdf] [bibtex]
  • C.J.F. Cremers, S. Mauw and E.P. de Vink, Defining Authentication in a Trace Model, Proc. FAST 2003, T. Dimitrakis and F. Martinelli (eds.), FME 2003 workshop, Pisa, 2003, p131-145
    [abstract] [pdf] [bibtex]
  • F. Bartels, A. Sokolova and E.P. de Vink, A Hierarchy of Probabilistic System Types, Proc. CMCS 2003, H.P. Gumm (ed.), ETAPS 2003 pre-conference workshop, Warzaw, 2003, ENTCS 82, 19pp
    [abstract] [pdf] [bibtex]
  • C.J.F. Cremers, S. Mauw and E.P. de Vink, Formal Methods for Security Protocols: Three Examples of the Black-Box Approach, NVTI Newsletter 7 (Newsletter of the Dutch Association of Theoretical Computer Science), 2003, p21-32
    [abstract] [postscript] [bibtex]
  • D. Chkliaev, J. Hooman and E. de Vink, Verification and improvement of the sliding window protocol, Proc. TACAS 2003, H. Garavel and J. Hatcliff (eds.), LNCS~2619, 2003, p113-127
    [abstract] [postscript] [bibtex]
  • J. den Hartog, J. Verschuren, E. de Vink, J. de Vos and W. Wiersma, PINPAS: a tool for power analysis of smartcards, Proc. SEC 2003, IFIP WG 11.2 Small Systems Security, D. Gritzalis, P. Samarati and S. Katsikas (eds.), Wolters-Kluwer, 2003, p453-457.
    [abstract] [postscript] [bibtex]
  • J.I. den Hartog and E.P. de Vink, Verifying probabilistic programs using a Hoare-like logic, International Journal of Foundations of Computer Science 13, 315-340, 2002.
    [abstract] [postscript] [bibtex]
  • J.C.M. Baeten and E.P. de Vink, Axiomatizing GSOS with termination, Proc. STACS 2002, H. Alt and A. Ferreira (eds.), LNCS 2285, p583-595.
    [abstract] [pdf] [bibtex] [full version]
  • L. Groenewegen and E.P. de Vink, Operational semantics for Coordination in Paradigm, Proc. Coordination 2002, York, April 2002, F. Arbab and C. Talcott (eds.), LNCS 2315, p191-206.
    [abstract] [postscript] [bibtex]
  • N. Agray, W. van der Hoek and E.P. de Vink, On BAN logics for industrial security protocols, From Theory to Practice in Multi-Agent Systems, B. Dunin-Keplicz and E. Nawarecki (eds.), LNAI 2296, 2002, p29-38.
    [abstract] [postscript] [bibtex]
  • J.I. den Hartog, E.P. de Vink and J.W. de Bakker, Metric semantics and full abstractness for action refinement and probabilistic choice, Proc. MFCSIT'00, T. Hurley, M. Mac an Airchinnigh, M. Schellekens and T. Seda (eds.), ENTCS 40, 2002, 28pp.
    [abstract] [postscript] [bibtex]
  • A. Sokolova and E.P. de Vink, Algebraic representation of bisimulation for the tagh-format, Technical Report CSR-02-02, TU Eindhoven 2002, 17pp.
    [abstract] [postscript] [bibtex]
  • D. Chkliaev, Jozef Hooman and E.P. de Vink, Formal Verification of an Improved Sliding Window Protocol, Proc. PROGRESS Workshop 2002, STW, Utrecht, 2002, 8pp.
    [abstract] [postscript] [bibtex]
  • J.I. den Hartog and E.P. de Vink, Building Metric Strucutres with the Meas-Functor, Liber Americorum Jaco de Bakker, F. de Boer, M. van der Heijden, P. Klint and J. Rutten (eds.), CWI, Amsterdam, 2002, p93-108.
    [abstract] [postscript] [bibtex]
  • J.C.M. Baeten and E.P. de Vink, Axiomatizing GSOS with termination, Technical Report CSR 01-06, Technische Universiteit Eindhoven 2001.
    [abstract] [postscript] [bibtex]
  • N. Agray, W. van der Hoek and E.P. de Vink, On BAN logics for industrial security protocols, Proc. CEEMAS'01, B. Dunin-Keplicz and E. Nawarecki (eds.), p15-24, 2001. Preliminary version presented at BNAIC'01, Amsterdam 2001. Updated version in post-conference proceedings LNAI 2296.
  • E.P. de Vink and P.J. van der Wulp (eds.), Topics in information hiding: discrete cosine transformations, spread spectrum techniques and fingerprinting (preliminary version), KPN Research, 2000.
  • E.P. de Vink (ed.), OSS Interconnection Gateway Validation, Volume 6: Gateway Security, Deliverable EURESCOM Project P908, 2000.
    [abstract] [url] [bibtex]
  • F. Muller, M.R. Oomen and E.P. de Vink, Public Key Infrastructures: mogelijkheden en kansen, KPN Research, 2000.
  • E.P. de Vink, A note on the completeness of M_1(X), unpublished manuscript, 2000.
    [abstract] [postscript] [bibtex]
  • J.I. den Hartog, E.P. de Vink and J.W. de Bakker, Full abstractness of a metric semantics for action refinement, Fundamenta Informaticae 40:335-382, 1999
  • J.J.M.M. Rutten and E.P. de Vink, Bisimulation for probabilistic transition systems: a coalgebraic approach, Theoretical Computer Science 221:271-293, 1999
  • J.W. de Bakker and E.P. de Vink, Denotational models for programming languages: Applications of Banach's fixed point theorem, Topology and its Applications 85:35-52, 1998
  • J.I. den Hartog and E.P. de Vink, Mixing up nondeterminism and probability: A preliminary report, Proc. LICS'98 workshop on Probabilistic Methods in Verification, C. Baier, M. Huth, M. Kwiatkowska and M. Ryan (eds.), ENTCS 22, 1998
    [abstract] [postscript] [bibtex]
  • E.P. de Vink, On a functor for probabilistic bisimulation and preservation of weak pullbacks, Technical report IR-444, Vrije Universiteit, Amsterdam 1998. Paper presented at ETAPS'98 workshop on Coalgebraic Methods in Computer Science, Lisbon, 1998.
    [abstract] [postscript] [bibtex]
  • E. Todoran, J.I. den Hartog and E.P. de Vink, Comparative metric semantics for commit in or-parallel logic programming, Proc. Symposium on Logic Programming, J. Maluszynski (ed.), p101-116, The MIT Press, 1997.
    [abstract] [postscript] [bibtex]
  • E.P. de Vink and J.J.M.M. Rutten, Bisimulation for probabilistic transition systems: a coalgebraic approach (extended abstract), Proc. ICALP'97, P. Degano, R. Gorrieri and A. Marchetti-Spaccamela (eds.), p460-470, LNCS 1256, 1997. Full version invited for special issue in Theoretical Computer Science.
    [abstract] [postscript] [bibtex]
  • J.W. de Bakker and E.P. de Vink, A metric approach to control flow semantics, Annals of the New York Academy of Science 806: 11-27, 1996.
  • J.W. de Bakker and E.P. de Vink, Control Flow Semantics, Foundations of Computing Series, The MIT Press, 1996.
    [description] [bibtex]