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.

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

Research Output 1987 2019

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

Bisimulation
Axiomatization
Semantics
Operator
Equational Theory
4 Citations (Scopus)

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
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages
2 Citations (Scopus)

An efficient algorithm to determine probabilistic bisimulation

Groote, J. F., Rivera Verduzco, H. J. & de Vink, E. P., 5 Sep 2018, In : Algorithms. 11, 9, 22 p., 131

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Bisimulation
Efficient Algorithms
Labeled Transition System
Systems science
Transition Systems
2 Citations (Scopus)

Deadlock detection for actor-based coroutines

Azadbakht, K., de Boer, F. S. & de Vink, E., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, p. 39-54 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS)

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

Computability and decidability
Deadlock
Scheduling
Transition Systems
Decidability

Extending paradigm with data

Groenewegen, L. P. J., Verschuren, J. H. S. & de Vink, E. P., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Dordrecht: Springer, p. 224-244 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Bakeries
Paradigm
Dependent Data
Modeling Language
Interaction

Activities 2005 2005

  • 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/13 → …

Course

Automotive software engineering

1/09/13 → …

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