Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 15 Similar Profiles
Model checking Engineering & Materials Science
Static analysis Engineering & Materials Science
Algebra Engineering & Materials Science
Routing protocols Engineering & Materials Science
Wireless networks Engineering & Materials Science
Wireless mesh networks (WMN) Engineering & Materials Science
Semantics Engineering & Materials Science
Transmission control protocol Engineering & Materials Science

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

Research Output 1998 2018

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 International Publishing AG, 15 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Scientific - peer-reviewConference contribution

Wireless networks
Network routing
Routing protocols
Topology

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: Scientific - peer-reviewConference contribution

Students
Textbooks
Static analysis
Software design
Curricula

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 International Publishing AG, p. 157-163 7 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Scientific - peer-reviewConference contribution

transaction
payment transactions
miner
alternative

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: Scientific - peer-reviewConference contribution

Feedback
Teaching
Students
Polarization mode dispersion
Static analysis

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: Scientific - peer-reviewConference contribution

Transmission control protocol
Servers