Back to search results

Person

Dr. E.P. de Vink

Pagina-navigatie:

Update Persondata

Expertise	Logics of Programs; Formal methods; Verification of Security Protocols
Expertise (NL)	Programma Logica's; Formele methods; Verificatie van Security-protocollen
Digital Author ID	info:eu-repo/dai/nl/072171715

Active as

Associate professor
Organisation	Section of Model Driven Software Engineering (TU/e)
Chair (EN)	Applied logic
Chair (NL)	Toegepaste logica
Phone	+31-40-2473146
Email	e. p. d. vink -at- tue. nl
URL	http://www.win.tue.nl/~evink/

Publications

Distributed adaptation of dining philosophers
Reo + mCRL2 : a framework for model-checking dataflow in service compositions
Stochastic models for quality of service of component connectors
Proc. CompMod 2011, proceedings of the third international workshop on Computational Models for Cell Processes (Preface)
Decoupled execution of synchronous coordination models via behavioural automata

All publications..

Completed research projects

(the most recent research is at the top)
Researcher	Transmission Control Protocols for the Internet
Researcher	Processor sharing
Researcher	Protocols for secure infrastructure and e-commerce
Project leader	PINPAS JC, Program INferred Power-Analysis in Software for Java Card
Project leader	SAMASC - Security Analysis for Multi-Applet Smart Cards

Classification

D16200	Software, algorithms, control systems

Go to page top
Go back to contents
Go back to site navigation