No photo of Ansgar Fehnker

Ansgar Fehnker

dr.

19982018
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ansgar Fehnker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 19 Similar Profiles
Model checking Engineering & Materials Science
Static analysis Engineering & Materials Science
Network protocols Engineering & Materials Science
Wireless networks Engineering & Materials Science
Routing protocols Engineering & Materials Science
Algebra Engineering & Materials Science
Topology Engineering & Materials Science
Syntactics Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1998 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

Wireless networks
Network protocols
Computer simulation
Network routing
Routing protocols
1 Citation (Scopus)
1 Downloads (Pure)

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

Processing
Students
Textbooks
Static analysis
Software design

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

transaction
miner
28 Downloads (Pure)

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
Feedback
Teaching
Students
Polarization mode dispersion
Static analysis

Prizes

2018 Best Practices in Education Award

Angelika H. Mader (Recipient), Ansgar Fehnker (Recipient) & Alma M. Schaafstal (Recipient), 9 Oct 2018

Prize

best practice
computer science
Sweden
education
news