`Travelled to:`

2 × Estonia

`Collaborated with:`

A.Fehnker R.J.v.Glabbeek P.Höfner A.McIver W.L.Tan

`Talks about:`

wireless (1) process (1) network (1) analysi (1) algebra (1) uppaal (1) autom (1) mesh (1) aodv (1) use (1)

## Person: Marius Portmann

### DBLP: Portmann:Marius

### Contributed to:

### Wrote 2 papers:

- ESOP-2012-FehnkerGHMPT #algebra #network #process
- A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
- TACAS-2012-FehnkerGHMPT #analysis #automation #using
- Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.