If you made any changes in Pure these will be visible here soon.

Personal profile

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.

Fingerprint Dive into the research topics where Erik P. de Vink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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 p., 102341.

Research output: Contribution to journalArticleAcademicpeer-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. (eds.). Cham: Springer, p. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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. (eds.). Cham: Springer, p. 449-463 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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 p. (Computer Science Reports; vol. 19-05)

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • 49 Downloads (Pure)

    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. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 16 Citations (Scopus)
    23 Downloads (Pure)

    Activities

    • 1 Contributed talk

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

    Erik de Vink (Speaker)
    22 Nov 2005

    Activity: Talk or presentation typesContributed talkScientific

    Courses

    Artificial intelligence

    1/09/1331/08/21

    Course

    Student theses

    Acoustical physical uncloneable functions

    Author: Vrijaldenhoven, S., 30 Nov 2004

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

    Student thesis: Master

    File

    Analyzing ribosome processivity using EPT

    Author: Blewanus, R., 31 Aug 2011

    Supervisor: de Vink, E. (Supervisor 1)

    Student thesis: Master

    File

    Context aware security policy enforcement CASPEr

    Author: Han, Y., 30 Nov 2005

    Supervisor: de Vink, E. (Supervisor 1) & Fransen, F. (External person) (Supervisor 2)

    Student thesis: Master

    File

    Context sensitive interpolation for timed process algebra

    Author: van Niftrik, W., 31 Aug 2008

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

    Student thesis: Master

    File
    File