Items where Author is "Fehnker, Ansgar"

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

Fehnker, Ansgar and Chaudhary, Kaylash C. and Mehta, Vinay P. (2018) An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. In: NASA Formal Methods. Programming and Software Engineering (part of LNC Series), 10811 . Springer, Switzerland, pp. 164-178. ISBN 978-3-319-77934-8

Fehnker, Ansgar and Chaudhary, Kaylash C. (2018) Twenty Percent and a Few Days–Optimising a Bitcoin Majority Attack. In: NASA Formal Methods. Lecture Notes in Computer Science . Springer, Switzerland, pp. 157-163. ISBN 978-3-319-77934-8

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 (2015) Bitcoin Model. UNSPECIFIED. (Unpublished)

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 (2015) Model checking a server - side micro payment protocol. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 9128 . Springer International Publishing, Switzerland, pp. 96-110. ISBN 978-3-319-19457-8

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

Fehnker, Ansgar and Huuck, R. (2013) Model checking driven static analysis for the real world: designing and tuning large scale bug detection. Innovations in Systems and Software Engineering, 9 (1). pp. 45-56. ISSN 1614-5046

Fehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topology-based Mobility Models for Wireless Networks". UNSPECIFIED.

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 van Glabbeek, R.J. and Höfner, P. and McIver, A. and Portmann, M. and Tan, W.L. (2013) A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV. [Professional and Technical Reports]

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]

Bradley, M. and Cassez, F. and Fehnker, Ansgar and Given-Wilson, T. and Huuck, R. (2012) High performance static analysis for industry. Electronic Notes in Theoretical Computer Science, 289 . pp. 3-14. ISSN 1571-0661

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]