Welcome...

dr. A. Fehnker (Ansgar)

Associate Professor

Expertise

Model Checking
Programmable Logic Controllers
Semantics
Topology
Controllers
Electronic Money
Hybrid Systems
Process Control
Chemical Plants
Costs
Scheduling

Publications

Recent Articles
Chaudhary, K., Fehnker, A., Fehnker, A., van de Pol, J. C., & Stoelinga, M. I. A. (2015). Modeling and Verification of the Bitcoin Protocol. In R. J. van Glabbeek, J. F. Groote, & P. Höfner (Eds.), Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015) (pp. 46-60). (Electronic Proceedings in Theoretical Computer Science; Vol. 196). Australia: Open Publishing Association. DOI: 10.4204/EPTCS.196.5

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3120
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3120
P.O. Box 217
7500 AE Enschede
The Netherlands