Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2019
  • 2018
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012

Author

  • Ansgar Fehnker
2019

A Distributed Blockchain Model of Selfish Mining

Eijkel, D. & Fehnker, A., 11 Oct 2019, p. 48-59.

Research output: Contribution to conferencePaper

Open Access
File
17 Downloads (Pure)

Detecting and Addressing Design Smells in Novice Processing Programs

Fehnker, A. & de Man, R., 20 Jun 2019, Computer Supported Education: 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15–17, 2018, Revised Selected Papers. McLaren, B. M., Reilly, R., Zvacek, S. & Uhomoibhi, J. (eds.). Cham: Springer, p. 507-531 25 p. (Communications in Computer and Information Science; vol. 1022).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2018

Adaptive Formal Framework for WMN Routing Protocols

Kamali, M. & Fehnker, A., 10 Oct 2018, Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. p. 175-195 21 p. (Lecture notes in computer science; vol. 11222).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

An Even Better Approach: Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

Fehnker, A., Chaudhary, K. & Mehta, V., 2018, NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer, 15 p. (Lecture Notes in Computer Science; vol. 10811).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The Smell of Processing

Man, R. D. & Fehnker, A., 23 Mar 2018, Proceedings of the 10th International Conference on Computer Supported Education. Vol. 2. p. 420-431

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Twenty Percent and a Few Days: Optimising a Bitcoin Majority Attack

Fehnker, A. & Chaudhary, K., 2018, NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer, p. 157-163 7 p. (Lecture Notes in Computer Science; vol. 10811).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)
2016

Model Checking a Client-Side Micro Payment Protocol

Chaudhary, K. & Fehnker, A., 1 Dec 2016, 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE 2016). IEEE, p. 90-97 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2015

A Process Algebra for Wireless Mesh Networks

Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 2015, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Seidl, H. (ed.). p. 295-315 (Lecture Notes in Computer Science; vol. 7211).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
46 Citations (Scopus)
6 Downloads (Pure)

A Rigorous Analysis of AODV and its Variants

Höfner, P., Glabbeek, R. J. V., Tan, W. L., Portmann, M., McIver, A. & Fehnker, A., 2015, MSWiM '12: Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems . New York, NY, p. 203-212

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
14 Citations (Scopus)
39 Downloads (Pure)

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Davis, M. (ed.), Fehnker, A. (ed.), McIver, A. & Voronkov, A., 2015, Springer. 640 p. (Lecture Notes in Computer Science; vol. 9450)

Research output: Book/ReportBook editingAcademic

Open Access
File
21 Downloads (Pure)

LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Fehnker, A. (ed.), McIver, A. (ed.), Sutcliffe, G. (ed.) & Voronkov, A. (ed.), 2015, EasyChair. (EPiC Series in Computing; vol. 35)

Research output: Book/ReportBook editingAcademic

Open Access

Model Checking a Server-Side Micro Payment Protocol

Chaudhary, K. & Fehnker, A., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (eds.). Berlin: Springer, p. 96-110 15 p. (Lecture Notes in Computer Science; vol. 9128).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., 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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Citations (Scopus)
350 Downloads (Pure)

Modelling and Analysis of AODV in UPPAAL

Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 23 Dec 2015. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
2 Downloads (Pure)
2013

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

Fehnker, A. & Huuck, R., 2013, In : Innovations in systems and software engineering. 9, 1, p. 45-56 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis

Mund, J., Huuck, R., Fehnker, A. & Artho, C., 2013, Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Hung, D. V. & Ogawa, M. (eds.). Springer, p. 516-525 10 p. (Lecture Notes in Computer Science; vol. 8172).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Topology-Based Mobility Models for Wireless Networks

Fehnker, A., Höfner, P., Kamali, M. & Mehta, V., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K. R., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Berlin: Springer, p. 389-404 16 p. (Lecture Notes in Computer Science; vol. 8054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
2012

High Performance Static Analysis for Industry

Bradley, M., Cassez, F., Fehnker, A., Given-Wilson, T. & Huuck, R., 2012, In : Electronic proceedings in theoretical computer science. 289, p. 3-14 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
8 Citations (Scopus)
10 Downloads (Pure)

SMT-Based False Positive Elimination in Static Program Analysis

Junker, M., Huuck, R., Fehnker, A. & Knapp, A., 2012, Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Aoki, T. & Taguchi, K. (eds.). Berlin: Springer, p. 316-331 16 p. (Lecture Notes in Computer Science; vol. 7635).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)