Ansgar Fehnker

Identifiers

• name variant Ansgar Fehnker 0.60 · backfill

Papers (6)

1. Automated Program Analysis for Novice Programmers cs.SE · 2017 · author #2
2. A Rigorous Analysis of AODV and its Variants cs.NI · 2015 · author #6
3. Automated Analysis of AODV using UPPAAL cs.NI · 2015 · author #1
4. A Process Algebra for Wireless Mesh Networks cs.LO · 2015 · author #1
5. Modelling and Analysis of AODV in UPPAAL cs.NI · 2015 · author #1
6. A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV cs.NI · 2013 · author #1

Mentions

• 1312.7645 #1 · backfill · confidence 0.70 Ansgar Fehnker

Frequent Coauthors

• Annabelle McIver 5 shared papers
• Marius Portmann 5 shared papers
• Peter H\"ofner 5 shared papers
• Rob van Glabbeek 5 shared papers
• Wee Lum Tan 5 shared papers
• Tim Blok 1 shared papers