Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2014
  • 2012

Author

  • Ansgar Fehnker
2020

Atelier for Creative Programming

Fehnker, A. & Mader, A., 2 May 2020. 1 p.

Research output: Contribution to conferenceAbstract

Open Access
File
7 Downloads (Pure)

Tinkering in Informatics as Teaching Method

Mader, A. H., Fehnker, A. & Dertien, E. C., 2 May 2020, p. 450-457. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
31 Downloads (Pure)
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
20 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)
2017

Automated Program Analysis for Novice Programmers

Blok, T. & Fehnker, A., 2017, HEAd'17: Proceedings of the 3rd International Conference on Higher Education Advances. Domenech, J., Vincent-Vela, M. C., de la Poza, E. & Blazquez, D. (eds.). Universitat Politecnica de Valencia, p. 1138-1146

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

Open Access
File
49 Downloads (Pure)

Evaluating the Stream Control Transmission Protocol Using Uppaal

Saini, S. & Fehnker, A., 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). EPTCS, p. 1-13 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

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

Open Access
File
2 Citations (Scopus)
96 Downloads (Pure)

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol

Chaudhary, K., Fehnker, A. & Mehta, V., 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). EPTCS, p. 53-65 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

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

Open Access
3 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)