Research Output per year
Research Output 1998 2018
- 50 - 55 out of 55 results
- Publication Year, Title (ascending)
2017
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 proceeding › Conference contribution › Academic › peer-review
Open Access
Mobile ad hoc networks
Network protocols
Network routing
Routing protocols
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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review
Wireless networks
Network protocols
Computer simulation
Network routing
Routing protocols
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-431Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Processing
Students
Textbooks
Static analysis
Software design
2
Citations
(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 proceeding › Conference contribution › Academic › peer-review
transaction
miner