Full name: Erik de Vink
Formal name: Dr. E.P. de Vink
Function: Scientific Staff Member, employed by TUE
Email: Erik.de.Vink@cwi.nl
Room: L215
Research groups: Formal Methods
Formal name: Dr. E.P. de Vink
Function: Scientific Staff Member, employed by TUE
Email: Erik.de.Vink@cwi.nl
Room: L215
Research groups: Formal Methods
Career
| 2013 - | Gedetacheerde FM - Formal methods |
| 2012 - 2013 | Gedetacheerde SEN3 - Foundations of Software Engineering |
| 2008 - 2012 | Temporarily assigned INS3 - Visualization and 3D User Interfaces |
| 2007 - 2012 | Scientific staff member SEN3 - Foundations of Software Engineering |
Recent Publications
| E.P. de Vink, H. Zantema, D. Bosnacki. Combining insertion and deletion in RNA-editing preserves regularity. 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012. |
| N. Kokash, C. Krause, E.P. de Vink. Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions. Formal Aspects of Computing 24, 187–216, 2012. |
| D. Latella, M. Massink, E.P. de Vink. Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, Tallinn, 1 April 2012, 2012. |
| I. Petre, E.P. de Vink. Transactions on Computational Systems Biology XIV. , Lecture notes in bioinformatics 7625 Springer., 2012. |
| J. Markovski, P.R. D'Argenio, J.C.M. Baeten, E.P. de Vink. Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects of Computing 24, 497–518, 2012. |
