77 citations · 242 across the 10 of their papers we have counts for
10 papers
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
Ansgar Fehnker, Hubert Garavel
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on T…
Automated Program Analysis for Novice Programmers
Tim Blok, Ansgar Fehnker
This paper describes how to adapt a static code analyzer to help novice programmers. Current analyzers have been built to give feedback to experienced programmers who build new app…
Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol
Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta
This paper considers on a network routing protocol known as Better Approach to Mobile Ad hoc Networks (B.A.T.M.A.N.). The protocol serves two aims: first, to discover all bidirecti…
Evaluating the Stream Control Transmission Protocol Using Uppaal
Shruti Saini, Ansgar Fehnker
The Stream Control Transmission Protocol (SCTP) is a Transport Layer protocol that has been proposed as an alternative to the Transmission Control Protocol (TCP) for the Internet o…
A Rigorous Analysis of AODV and its Variants
Peter Höfner, Rob van Glabbeek, Wee Lum Tan +3
In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a…
Automated Analysis of AODV using UPPAAL
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.…
A Process Algebra for Wireless Mesh Networks
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the…
Modelling and Analysis of AODV in UPPAAL
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
This paper describes work in progress towards an automated formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in…
Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol +1
Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority…
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines…