Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Electronic money Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1998 2015

1 Citations

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., Fehnker, A., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A. 13 Nov 2015 Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196)

Research output: Scientific - peer-reviewConference contribution

Electronic money

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Fehnker, A., Fehnker, A., van Hoesel, L. F. W. & Mader, A. H. 6 Feb 2007 Enschede: Distributed and Embedded Security (DIES). 20 p. (CTIT Technical Report Series; no. TR-CTIT-07-09)

Research output: ProfessionalReport

Model checking
Topology
Medium access control
Explosions
Wireless sensor networks

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Fehnker, A., Fehnker, A., van Hoesel, L. F. W. & Mader, A. H. Jun 2007 Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007. Davis, J. & Gibbons, J. (eds.). Berlin / Heidelberg: Springer Verlag, p. 253-272 20 p. 10.1007/978-3-540-73210-5_14. (Lecture Notes in Computer Science; vol. 4591, no. 7)

Research output: Scientific - peer-reviewConference contribution

Model checking
Topology
Medium access control
Explosions
Wireless sensor networks
20 Citations

Verification and Optimization of a PLC Control Schedule

Brinksma, H., Mader, A. H., Fehnker, A. & Fehnker, A. 2002 4, 1, p. 21-33 13 p.

Research output: Scientific - peer-reviewArticle

Model checking
Programmable logic controllers
Controllers
Chemical plants
Hybrid systems
78 Citations

As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P., Romijn, J. M. T. & Romijn, J. 2001 Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102, p. 493-505 13 p. (Lecture Notes in Computer Science; no. 2102)

Research output: Scientific - peer-reviewChapter

Costs
Machinery
Experiments