Erik de Vink
I am currently interested in formal modelling and analysis in
and in formal methods for
Dynamic System Adaptation.
More specifically I focus at present in Systems Biology on time scale
differentation in discrete-value regulatory networks, biology inspired
rewriting and quantitatve modeling of biological assembly processes. 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 verification techniques.
I mainly use the
modelcheckers for tool support.
19th International Symposium on Formal Methods,
Singapore, May 12-16, 2014.
7th Workshop on Membrane Computing and Biologically Inspired Process Calculi,
Riga, July 7, 2013, a workshop of
7th International Conference on
Rewriting, Deduction, and Programming comprising
RTA Rewriting Techniques and Applications, and
TLCA Typed Lambda Calculi and Applications,
Eindhoven, 24-28 June 2013.
13th International School on Formal Methods for the Design of
Computer, Communication and Software Systems devoted to
Bertinoro, 17-22 June 2013.
4th International Workshop on Computational Models for Cell Processes,
Turku, June 11, 2013, a workshop of
4th International Workshop on Interactions between Computer Science and
Biology, Florence, June 6, 2013, a workshop of
5th International Conference on Fundamentals of Software Engineering,
Tehran, April 24-26, 2013.
FME AGM 2013:
FME Annual General Meeting 2013: A Celebration of Formal Methods,
CWI, Amsterdam, March 8, 2013.
6th Workshop on Membrane Computing and Biologically Inspired Process Calculi,
Newcastle, September 8, 2012,
9th International Workshop on Web Services and Formal Methods,
Tallinn, September 6-7, 2012.
FMSPLE 2012: 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Salvador, Brazil, 2 September, 2012
3rd International ACM Sigsoft Symposium on Architecting Critical Systems
Bertinoro, June 26-28, 2012.
3rd International Workshop on Interactions between Computer Science and
Biology, Stockholm, June 16, 2012, a satelite event of
5th Interaction and Concurrency Experience,
Stockholm, June 16, 2012, a satelite event of
- Transactions on Computational Systems Biology:
special issue on "Computational Models for Cell Processes".
2IF35 Formal Modelling in Cell Biology
2ID90 Artificial Intelligence
2IA05 Functioneel programmeren
2IT70 Automata and process theory
2IT16 Eindige automaten en processen
OOTI System Validation Course
Master Thesis Projects
Roparun 2009 (in Dutch)
TUE Telephone Directory
Erik de Vink
Department of Mathematics and Computer Science, Technische Universiteit
Eindhoven, Den Dolech 2, Eindhoven
Room MF 7.122
postal address: P.O. Box 513, 5600 MB Eindhoven, the Netherlands
PGP Public Key,
fingerprint E047 1940 0FA9 E45C F21D 13B7 671A 58C8 01D5 4069
I am also affiliated with the CWI, Centrum Wiskunde & Informatica
in Amsterdam. See the homepage of