Wee Lum Tan

Identifiers

• name variant Wee Lum Tan 0.60 · backfill

Papers (7)

1. Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops cs.NI · 2015 · author #3
2. A Rigorous Analysis of AODV and its Variants cs.NI · 2015 · author #3
3. Modelling and Verifying the AODV Routing Protocol cs.NI · 2015 · author #4
4. Automated Analysis of AODV using UPPAAL cs.NI · 2015 · author #6
5. A Process Algebra for Wireless Mesh Networks cs.LO · 2015 · author #6
6. Modelling and Analysis of AODV in UPPAAL cs.NI · 2015 · author #6
7. A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV cs.NI · 2013 · author #6

Mentions

• 1312.7645 #6 · backfill · confidence 0.70 Wee Lum Tan

Frequent Coauthors

• Marius Portmann 7 shared papers
• Peter H\"ofner 7 shared papers
• Rob van Glabbeek 7 shared papers
• Annabelle McIver 5 shared papers
• Ansgar Fehnker 5 shared papers