Items where Author is "Fehnker, Ansgar"

Conference Proceedings

Chaudhary, Kaylash C. and Chand, Vishal and Fehnker, Ansgar (2020) Double - spending analysis of Bitcoin. [Conference Proceedings]

Chaudhary, Kaylash C. and Fehnker, Ansgar and Mehta, Vinay P. (2017) Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. [Conference Proceedings]

Chaudhary, Kaylash C. and Fehnker, Ansgar (2016) Model Checking a Client-Side Micro Payment Protocol. [Conference Proceedings]

Chaudhary, Kaylash C. and Fehnker, Ansgar and van de Pol, Jaco and Stoelinga, Marielle (2015) Modeling and verification of the Bitcoin protocol. [Conference Proceedings]

Chaudhary, Kaylash C. and Fehnker, Ansgar and Dai, Xiaoling (2014) Modeling and verification for the server-side Netpay protocol. [Conference Proceedings]

Mund, Jakob and Huuck, R. and Fehnker, Ansgar and Artho, Cyrylle (2013) The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. [Conference Proceedings]

Fehnker, Ansgar and Höfner, P. and Kamali, M. and Mehta, Vinay P. (2013) Topology - based mobility models for wireless networks. [Conference Proceedings]

Fehnker, Ansgar and Chaudhary, Kaylash C. (2012) Modeling and verification for the micropayment protocol netpay. [Conference Proceedings]

Fehnker, Ansgar and van Glabbeek, R.J. and Hoefner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2012) Automated analysis of AODV using UPPAAL. [Conference Proceedings]

Junker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) SMT - based false positive elimination in static program analysis. [Conference Proceedings]

Fehnker, Ansgar and van Glabbeek, R.J. and Hofner, P. and Mclver, A. and Portmann, M. and Tan, W.L. (2012) A process algebra for wireless mesh networks. [Conference Proceedings]

Hofner, P. and van Glabbeek, R.J. and Tan, W.L. and Portmann, M. and McIver, A. and Fehnker, Ansgar (2012) A rigorous analysis of AODV and its variants. [Conference Proceedings]