10 citations · 22 across the 4 of their papers we have counts for
4 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…