Welkom...

dr. A. Fehnker (Ansgar)

Universitair hoofddocent

Expertises

Model Checking
Network Protocols
Static Analysis
Hybrid Systems
Wireless Networks
Topology
Algebra
Semantics

Publicaties

Recent
Fehnker, A., & Chaudhary, K. (2018). Twenty Percent and a Few Days: Optimising a Bitcoin Majority Attack. In A. Dutle, C. Muñoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings (pp. 157-163). (Lecture Notes in Computer Science; Vol. 10811). Cham: Springer International Publishing AG.
Fehnker, A., Chaudhary, K., & Mehta, V. (2018). An Even Better Approach: Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. In A. Dutle, C. Muñoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings (Lecture Notes in Computer Science; Vol. 10811). Cham: Springer International Publishing AG.
Man, R. D., & Fehnker, A. (2018). The Smell of Processing. In Proceedings of the 10th International Conference on Computer Supported Education (Vol. 2, pp. 420-431). DOI: 10.5220/0006701704200431
Blok, T., & Fehnker, A. (2017). Automated Program Analysis for Novice Programmers. In J. Domenech, M. C. Vincent-Vela, E. de la Poza, & D. Blazquez (Eds.), HEAd'17: Proceedings of the 3rd International Conference on Higher Education Advances (pp. 1138-1146). Universitat Politecnica de Valencia. DOI: 10.4995/HEAD17.2017.5533
Chaudhary, K., Fehnker, A., & Mehta, V. (2017). Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. In H. Hermanns, & P. Höfner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017 (pp. 53-65). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 244). EPTCS. DOI: 10.4204/EPTCS.244.3
Saini, S., & Fehnker, A. (2017). Evaluating the Stream Control Transmission Protocol Using Uppaal. In H. Hermanns, & P. Höfner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017 (pp. 1-13). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 244). EPTCS. DOI: 10.4204/EPTCS.244.1
Chaudhary, K., & Fehnker, A. (2016). Model Checking a Client-Side Micro Payment Protocol. In 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE 2016) (pp. 90-97). IEEE. DOI: 10.1109/APWC-on-CSE.2016.026
Höfner, P., Glabbeek, R. J. V., Tan, W. L., Portmann, M., McIver, A., & Fehnker, A. (2015). A Rigorous Analysis of AODV and its Variants. In MSWiM '12: Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems (pp. 203-212). New York, NY. DOI: 10.1145/2387238.2387274
Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M., & Tan, W. L. (2015). A Process Algebra for Wireless Mesh Networks. In H. Seidl (Ed.), 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 (pp. 295-315). (Lecture Notes in Computer Science; Vol. 7211). DOI: 10.1007/978-3-642-28869-2_15
Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M., & Tan, W. L. (2015). Modelling and Analysis of AODV in UPPAAL. Paper presented at 1st International Workshop on Rigorous Protocol Engineering, WRiPE 2011, Vancouver, BC, Canada.

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3120
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3120
Postbus 217
7500 AE Enschede