Back to search results

Person

Prof.dr. W.J. Fokkink

Pagina-navigatie:

Update Persondata

Expertise	Distributed algorithms, safety critical systems, gossiping protocols, biological systems, protocol verification, process algebra, model checking, structural operational semantics
Expertise (NL)	Distributed algorithms, safety critical systems, gossiping protocols, biological systems, protocol verification, process algebra, model checking, structural operational semantics
Digital Author ID	info:eu-repo/dai/nl/298062992

Active as

Professor
Organisation	Section Theoretical Computer Science (VU)
Chair (EN)	Theoretical computer science
Chair (NL)	Theoretische informatica
Phone	+31-20-5987736
Email	wanf -at- cs. vu. nl
URL	http://www.cs.vu.nl/~wanf

Publications

Partial order reduction for branching security protocols
Clocks, Dice and Processes
Automated translation and analysis of a ToolBus script for auctions
Automated translation and analysis of a ToolBus script for auctions
On finite bases for weak semantics: failures versus impossible futures

All publications..

Enhanced publications

Doctoral Thesis: What to do next? Analysing and optimising system behaviour in time

Current research

(the most recent research is at the top)
Project leader	Design and Analysis of Secure Distributed Protocols
Project leader	Formal Methods

Completed research projects

(the most recent research is at the top)
Researcher	Transmission Control Protocols for the Internet
Researcher	Processor sharing
Project leader	Protocols for secure infrastructure and e-commerce
Project leader	Security, identification and authentication
Project leader	Tools and techniques for integrating performance analysis and system verification

All completed research..

Classification

D16300	Theoretical computer science

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