Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Research profile

Erik de Vink is an Associate Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). His areas of expertise include software, algorithms, control systems, software product lines, formal methods and dynamic system adaptation. Erik also has an ongoing interest in qualitative process algebras, in particular regarding bisimulation for probabilistic systems.

Currently, he is interested in formal modeling and analysis of Software Product Lines and in formal methods for Dynamic System Adaptation. More specifically, Erik seeks to deploy model checkers for the analysis of feature-behavior interaction and family-oriented verification in the area of Software Product Lines. With regard to Dynamic System Adaptation, he is particularly interested in the languages Paradigm and Reo. He aims to develop methods for the modeling dynamic migration trajectories and related validation techniques. He mainly uses the mCRL2 and Prism model checkers for tool support.

Academic background

Erik de Vink obtained his PhD in Computer Science from VU Amsterdam. Here, he worked in the Theoretical Computer Science group as an Assistant Professor with a focus on denotational semantics. Following this, he worked as a Senior Researcher at KPN and as an Associate Professor at Leiden University.

Erik is an Associated Research Fellow at CWI, the Dutch National Research Institute for Mathematics and Computer Science in Amsterdam. He is Treasurer of Formal Methods Europe and is, or has been, chair and co-organizer of a significant number of symposia, workshops and other events, such as the International symposium on Formal Methods, Oxford (2018). Among others, Erik has been co-chair for QAPL 2017 and workshop chair for ETAPS 2016. He is a member of the Program Committee for various international workshops, e.g. for Foundations of Coordination Languages and Self-Adaptive Systems, Toulouse (2018) and for the workshop on Structural Operational Semantics, Beijing (2018). Erik is a member of the Advisory Board of the Springer LNCS subline on Formal Methods and frequent reviewer for a number international journals in the field. He has been co-promoter for 9 PhD students defending on topics in Denotational Semantics, Security, Probabilistic Process Algebra, and Coordination from 1994.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Erik P. de Vink actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

A formal actor-based model for streaming the future

Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 feb 2020, In : Science of Computer Programming. 186, 22 blz., 102341.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (redactie). Cham: Springer, blz. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

    Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Modelling and analysing software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer Science Reports; vol. 19-05)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
  • The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
  • 9 Citaten (Scopus)
    21 Downloads (Pure)

    Activiteiten

    • 1 Aangemelde presentatie

    IPA Herfstdagen on Security (November 21-25,2005), Zwartsluis, The Netherlands

    Erik de Vink (Spreker)
    22 nov 2005

    Activiteit: Types gesprekken of presentatiesAangemelde presentatieWetenschappelijk

    Cursussen

    Artificial intelligence

    1/09/1331/08/21

    Cursus

    Scriptie

    Acoustical physical uncloneable functions

    Auteur: Vrijaldenhoven, S., 30 nov 2004

    Begeleider: Aarts, R. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & de Vink, E. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    Analyzing ribosome processivity using EPT

    Auteur: Blewanus, R., 31 aug 2011

    Begeleider: de Vink, E. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    Context aware security policy enforcement CASPEr

    Auteur: Han, Y., 30 nov 2005

    Begeleider: de Vink, E. (Afstudeerdocent 1) & Fransen, F. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    Context sensitive interpolation for timed process algebra

    Auteur: van Niftrik, W., 31 aug 2008

    Begeleider: Markovski, J. (Afstudeerdocent 1) & de Vink, E. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    Fault attacks on Java Card: an overview of the vulnerabilities of Java Card enabled Smart Cards against fault attacks

    Auteur: Gadellaa, K., 31 aug 2005

    Begeleider: de Vink, E. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand