Research Output 1998 2015

Filter
Conference contribution
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
2007

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