77 citations · 242 across the 10 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.SE2017★ 7 cited
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…
cs.LO2017★ 5 cited
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…
cs.LO2017★ 10 cited
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…