Erik de Vink
Currently, I am interested in formal modelling and analysis of
Software Product Lines
and in formal methods for
Dynamic System Adaptation.
More specifically I focus at present in Software Product Lines on the use of
model checkers for the analysis of feature-behaviour interaction and
family-oriented verification. As to Dynamic System Adaptation, Paradigm and
Reo are two languages that have my interest. I aim to develop methods for the
modelling dynamic migration trajectories and related validation techniques.
I mainly use the
modelcheckers for tool support.
My research is conducted in the broader context of the research group on
Formal System Analysis
of Eindhoven University of Technology.
- QAVS 2021
Second Workshop on Quantitative Aspects of Variant-rich Systems
on-line, March 28, 2021.
Journal of Logical and Algebraic Methods in Programming
Formal Methods subline of the Lecture Notes in Computer Science
I am teaching the course
2IT90 Automata, Formal Languages and Complexity
A list of
Master Thesis projects
Erik de Vink
Department of Mathematics and Computer Science,
Eindhoven University of Technology
MetaForum, Groene Loper 5, room MF 6.075
postal address: P.O. Box 513, 5600 MB Eindhoven, the Netherlands
I was also affiliated with the CWI, Centrum Wiskunde & Informatica
in Amsterdam. See the homepage of CWI's
Formal Methods research group.