| 2008 | ||
|---|---|---|
| 3 | EE | Mayank Saksena, Oskar Wibling, Bengt Jonsson: Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. TACAS 2008: 18-32 |
| 2005 | ||
| 2 | EE | Oskar Wibling, Joachim Parrow, Arnold Neville Pears: Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. FORTE 2005: 128-142 |
| 2004 | ||
| 1 | EE | Oskar Wibling, Joachim Parrow, Arnold Neville Pears: Automatized Verification of Ad Hoc Routing Protocols. FORTE 2004: 343-358 |
| 1 | Bengt Jonsson | [3] |
| 2 | Joachim Parrow | [1] [2] |
| 3 | Arnold Neville Pears | [1] [2] |
| 4 | Mayank Saksena | [3] |